This website requires JavaScript.
6e5d2d6a36
fix bugs in PausedPrologStream (#661 )
Mark Thom
2020-08-08 13:11:09 -06:00
4b610b6293
Merge pull request #656 from notoria/try_from_number
Mark Thom
2020-08-08 12:24:29 -03:00
2bd998e82f
Merge pull request #660 from triska/shorter_crypto
Mark Thom
2020-08-08 12:23:40 -03:00
c55cc3c472
ensure proper lengths of key and initialization vector
Markus Triska
2020-08-06 23:27:49 +02:00
674483a4c6
remove entailed constraint
Markus Triska
2020-08-06 23:17:08 +02:00
a16f84560d
use self.deref(...) (see #653 )
Markus Triska
2020-08-06 20:12:57 +02:00
1b4500339e
use atom_argument_to_string
Markus Triska
2020-08-06 20:12:23 +02:00
3143468751
Fixed some conversion issues
notoria
2020-08-06 11:39:55 +02:00
10ba6fb773
Merge pull request #654 from triska/aad
Mark Thom
2020-08-06 02:40:51 -03:00
f627b32355
fix crash in CryptoPasswordHash (#653 ), conversion of Rational integers in number_chars/2 (#655 )
Mark Thom
2020-08-06 00:17:55 -06:00
2d3f1e51ec
shorten, and increase readability
Markus Triska
2020-08-05 20:31:56 +02:00
1c23336cff
use "octet" as a string literal, reducing the number of arguments
Markus Triska
2020-08-05 20:10:58 +02:00
a622ffddfe
ADDED: library(crypto): Support for additional authenticated data (AAD).
Markus Triska
2020-08-05 20:09:07 +02:00
79cf0c63c4
update prolog_parser to 0.8.67 (#648 )
Mark Thom
2020-08-04 23:35:10 -06:00
d57a592273
unify '[]' with proper [] in atom_chars/2 (#569 )
Mark Thom
2020-08-03 19:29:53 -06:00
4f15802fbc
reconcile '[]' and [] (#644 ), solve remaining conformity issues (#648 ), move (-->) from dcgs.pl to builtins.pl (#649 )
Mark Thom
2020-08-02 23:35:53 -06:00
3fc5be0d03
reconcile '[]' and [] (#644 ), solve remaining conformity issues (#648 ), move (-->) from dcgs.pl to builtins.pl (#649 )
Mark Thom
2020-08-02 23:33:37 -06:00
357ae7a8aa
Merge pull request #647 from notoria/newline
Mark Thom
2020-07-31 18:19:12 -03:00
ac00ae4daf
Improved readline
notoria
2020-07-31 18:12:38 +02:00
249f034a38
Merge pull request #645 from triska/curve25519
Mark Thom
2020-07-30 10:29:20 -03:00
32c612b747
ADDED: library(crypto): ECDH key exchange over Curve25519 (X25519)
Markus Triska
2020-07-29 23:14:16 +02:00
386f7cf65d
the indexer now categorizes partial strings only as lists (#623 , #642 )
Mark Thom
2020-07-27 16:43:43 -06:00
8dc07882b6
try to build strings from list as potential matches in SwitchOnConstant (#623 )
Mark Thom
2020-07-26 19:16:05 -06:00
320802633f
Merge pull request #639 from triska/flush_output
Mark Thom
2020-07-25 13:20:45 -03:00
dcc4b91b35
ENHANCED: flush output for impure I/O (format/[2,3], portray_clause/1 etc.)
Markus Triska
2020-07-25 09:47:59 +02:00
e7c27ed999
Merge pull request #638 from triska/base64
Mark Thom
2020-07-23 19:49:12 -03:00
928c9c9aad
throw an error if a character cannot be encoded
Markus Triska
2020-07-23 00:35:23 +02:00
4a90f13dee
better error handling for options
Markus Triska
2020-07-23 00:27:31 +02:00
61dddcee3f
use newly available chars_base64/3
Markus Triska
2020-07-22 20:19:56 +02:00
4c510001ce
ADDED: chars_base64/3 for efficient bidirectional Base64 conversion.
Markus Triska
2020-07-22 20:17:46 +02:00
82dfa690d2
Merge pull request #636 from triska/path_segments
Mark Thom
2020-07-19 13:16:27 -03:00
2768beec4c
ADDED: path_segments/2 for portable reasoning about path components.
Markus Triska
2020-07-19 11:07:03 +02:00
bd0aa16322
Merge pull request #633 from triska/file_time
Mark Thom
2020-07-18 12:40:53 -03:00
a1746a5bf1
Merge pull request #631 from cduret/lib_csv
Mark Thom
2020-07-18 12:40:28 -03:00
fb502fb66b
Merge pull request #635 from triska/more_links
Mark Thom
2020-07-18 12:40:09 -03:00
c9a69263b6
DOC: add more links to libraries, and include iso_ext in the enumeration
Markus Triska
2020-07-18 08:09:52 +02:00
17dd9239b6
ADDED: file_creation_time/2 and file_access_time/2.
Markus Triska
2020-07-17 18:48:39 +02:00
f0c8056334
look up operator precedence when arity does not match what the atom records, don't print brackets around outermost '+' (#629 )
Mark Thom
2020-07-17 11:02:58 -06:00
6c691d9223
Merge pull request #632 from triska/path_canonical
Mark Thom
2020-07-16 21:03:13 -03:00
920644afaf
set domain_error exception & use format/3 with setup_call_cleanup/3 for stream writing
Cyrille Duret
2020-07-17 01:21:40 +02:00
8668aee7fd
ENHANCED: Reorder fields in time stamps so that (@<)/2 is meaningful.
Markus Triska
2020-07-16 23:33:52 +02:00
4f386b3e5e
ADDED: file_modification_time/2, obtaining a time stamp.
Markus Triska
2020-07-16 22:56:10 +02:00
0f4667d942
ADDED: path_canonical/2, obtaining the canonical absolute path.
Markus Triska
2020-07-15 20:24:26 +02:00
5705c42820
set throw() to follow ISO recommendations
Cyrille Duret
2020-07-15 18:26:57 +02:00
f5f0d00a75
add write_csv & change skip_header to with_header option
794404
2020-07-15 13:02:30 +02:00
ec75e21898
Merge pull request #630 from triska/delete_file
Mark Thom
2020-07-14 20:26:51 -03:00
94e9e17c79
ADDED: working_directory/2, addressing a remaining aspect of #511
Markus Triska
2020-07-14 22:37:05 +02:00
5134e64cae
ADDED: delete_file/1, addressing a remaining aspect of #511
Markus Triska
2020-07-14 22:16:15 +02:00
53d39ccb4b
Merge pull request #626 from triska/compact_crypto
Mark Thom
2020-07-12 12:17:58 -03:00
b227e160f0
mention symmetric encryption and ChaCha20-Poly1305
Markus Triska
2020-07-12 11:58:39 +02:00
88a2b82f7e
ENHANCED: library(crypto): Retain the compact representation of strings.
Markus Triska
2020-07-12 10:07:56 +02:00
0016365446
Merge pull request #625 from triska/os
Mark Thom
2020-07-11 23:50:01 -03:00
0fa8feb475
use newly available character type in must_be/2
Markus Triska
2020-07-11 19:52:01 +02:00
eb872f8fca
ADDED: library(os), reasoning about environment variables.
Markus Triska
2020-07-11 18:41:18 +02:00
5fd78320dd
slight update to the BiMetaTrans README
Mark Thom
2020-07-10 15:22:15 -06:00
3195042c7d
update bimetatrans tests
Mark Thom
2020-07-10 10:26:48 -06:00
b0234fa8b7
add bimetatrans README
Mark Thom
2020-07-09 20:53:13 -06:00
2a629fee37
Merge pull request #621 from notoria/tabling
Mark Thom
2020-07-03 14:40:52 -03:00
bf13700a95
Enhanced the implementation
notoria
2020-07-01 13:14:12 +02:00
83268f5ff6
Allowing paths in use_module(library(..)) (#604 )
notoria
2020-07-01 10:22:17 +02:00
1eb42654e0
Revert "allow paths in use_module(library(..)) (#604 )"
notoria
2020-07-01 10:07:26 +02:00
e05c34d1ee
Revert "build.rs recursively delves into directories during library bake stage, correct misnamed file at machine/mod.rs:455 (#617 )"
notoria
2020-07-01 10:06:20 +02:00
8325bb11e2
Merge pull request #606 from triska/files
Mark Thom
2020-06-30 13:34:39 -03:00
c1b577f2c7
build.rs recursively delves into directories during library bake stage, correct misnamed file at machine/mod.rs:455 (#617 )
Mark Thom
2020-06-29 00:58:10 -06:00
29a61db275
Merge pull request #613 from cduret/csv_lib
Mark Thom
2020-06-27 16:28:10 -03:00
e2c61485a1
add csv library
Cyrille Duret
2020-06-25 21:13:29 +02:00
65f200e02c
directory_files/2: throw representation error if into_string() fails
Markus Triska
2020-06-20 10:12:14 +02:00
aa9432e24f
comment on indexing, addressing a comment by @pmoura in #606
Markus Triska
2020-06-24 22:29:22 +02:00
30d1585468
ADDED: library(files), for reasoning about files and directories.
Markus Triska
2020-06-19 18:20:31 +02:00
376c5263f0
Merge pull request #608 from triska/xml
Mark Thom
2020-06-22 12:21:35 -03:00
bcd6d4e8a7
library(format) is not used in this example
Markus Triska
2020-06-21 09:44:57 +02:00
32eb896c56
ADDED: load_xml/3 to load XML files from streams, files and strings.
Markus Triska
2020-06-21 08:35:08 +02:00
4603163e88
Merge pull request #607 from triska/xpath
Mark Thom
2020-06-20 14:46:52 -03:00
b3c9fb2fea
import member/2 from library(lists)
Markus Triska
2020-06-20 19:07:43 +02:00
d66ea07ba4
ADDED: library(xpath) for convenient analysis of HTML and XML documents.
Markus Triska
2020-06-20 12:25:13 +02:00
496279c92d
Merge pull request #596 from triska/sgml
Mark Thom
2020-06-19 12:59:06 -03:00
e0ae925ca3
Merge pull request #605 from notoria/debug
Mark Thom
2020-06-19 12:58:26 -03:00
1799c19933
Added an entry in README
notoria
2020-06-19 17:48:55 +02:00
94eddd3b42
Added library(debug)
notoria
2020-06-19 17:18:59 +02:00
79829cb6d2
ADDED: library(sgml), providing load_html/3 to parse HTML documents
Markus Triska
2020-06-14 16:52:46 +02:00
0d20ca0bf2
Merge pull request #592 from triska/http_open
Mark Thom
2020-06-19 11:30:23 -03:00
3ede5ea28f
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom
2020-06-19 00:58:43 -06:00
cfd15f4e02
allow paths in use_module(library(..)) (#604 )
Mark Thom
2020-06-19 00:57:56 -06:00
1f9ff2dd88
clarify meaning of AssertItems and QueryItems in BiMetaTrans source-level documentation
Mark Thom
2020-06-18 23:47:54 -06:00
7740a39a4d
Merge pull request #602 from triska/put_char
Mark Thom
2020-06-18 12:16:47 -03:00
5eda2dfe0e
put_char/[1,2]: throw type errors for atoms that are not characters
Markus Triska
2020-06-18 00:09:33 +02:00
1509c6a471
Merge pull request #597 from triska/faster_format
Mark Thom
2020-06-17 18:48:49 -03:00
19acd608a5
ADDED: library(http/http_open), opening HTTP and HTTPS streams for reading
Markus Triska
2020-06-13 09:32:08 +02:00
bc81ff28d8
cover Addr::Fixnum when not referenced as an Addr::Con, undefine dynamic predicate definitions from within modules too (#588 )
Mark Thom
2020-06-16 19:03:07 -06:00
ba867e95c3
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom
2020-06-16 18:47:53 -06:00
53f99ca434
fix copy_partial_string bug (#572 )
Mark Thom
2020-06-16 18:47:39 -06:00
8958ea036e
ENHANCED: much faster format/3 for text streams
Markus Triska
2020-06-16 21:13:03 +02:00
d3563c30e7
Merge pull request #590 from triska/read_line_to_chars
Mark Thom
2020-06-16 00:06:01 -03:00
0f017339b7
change the plurality of AssertItem(s), QueryItem(s) in bimetatrans.pl
Mark Thom
2020-06-15 16:38:27 -06:00
4d3a3d806f
Merge pull request #595 from triska/faster_format
Mark Thom
2020-06-14 12:37:06 -03:00
10a0f708b9
use format/3 to benefit from efficiency improvements
Markus Triska
2020-06-14 10:50:21 +02:00
409d3c168d
ENHANCED: faster format/3 when writing to binary streams
Markus Triska
2020-06-14 10:06:27 +02:00
005220b6d4
Merge pull request #589 from triska/lazy_pio
Mark Thom
2020-06-13 21:09:19 -03:00
8462b039d3
Merge pull request #593 from triska/portray_clause
Mark Thom
2020-06-13 21:08:54 -03:00
2e3cabce6b
Merge pull request #594 from triska/scryerrc
Mark Thom
2020-06-13 17:55:32 -03:00
Mark Thom