rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 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) v0.8.127 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