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

Commit Graph

  • 0da9d1c036 ENHANCED: more specific warning when initialization/1 fails (#1149) Markus Triska 2022-01-19 23:31:55 +01:00
  • 88436b8627 Merge pull request #1234 from aarroyoc/ctrld Mark Thom 2022-01-18 21:34:30 -07:00
  • f6116510a1 print -0.0 as 0.0 (#1164) Mark Thom 2022-01-18 21:31:14 -07:00
  • 5a132aaff4 throw error instead of overwriting builtin export (#1225) Mark Thom 2022-01-18 19:16:14 -07:00
  • 59992c8af2 remove number/3 from arithmetic.pl (#1170) Mark Thom 2022-01-18 17:38:45 -07:00
  • ff3ec78df9 Fix Ctrl-D (#1168) Adrián Arroyo Calle 2022-01-18 19:27:27 +01:00
  • b980ae1e8c fix floor for f64 (#1223) Mark Thom 2022-01-17 22:04:10 -07:00
  • 97b9d488d4 include library(error) in toplevel.pl (#1226) Mark Thom 2022-01-17 21:53:52 -07:00
  • 3ebf8d5db9 clear alias in close before resetting the stream to null (#1231) Mark Thom 2022-01-17 17:58:09 -07:00
  • 89e33903b2 Merge pull request #1232 from triska/toplevel_read_from_chars Mark Thom 2022-01-17 17:44:58 -07:00
  • 6a610ac57d FIXED: toplevel to use (newly renamed) read_from_chars/2 Markus Triska 2022-01-18 01:12:47 +01:00
  • 413f797155 Merge pull request #1228 from triska/charsio-read-renames Mark Thom 2022-01-17 17:03:46 -07:00
  • 6c8dc49216 Merge pull request #1229 from triska/faster_decryption Mark Thom 2022-01-17 17:03:29 -07:00
  • 9ded1447ec Merge pull request #1230 from josd/patch-1 Mark Thom 2022-01-17 17:03:03 -07:00
  • 516ed1fd5b ENHANCED: library(crypto): Retain a compact internal representation of the ciphertext throughout decryption. Markus Triska 2022-01-17 22:00:50 +01:00
  • 1a4f8f992b Update clpz.pl Jos De Roo 2022-01-17 22:35:31 +01:00
  • 23adfef281 MODIFIED: library(charsio): read_n_chars/3 is now called get_n_chars/3 Markus Triska 2022-01-17 20:36:51 +01:00
  • 20b6816562 MODIFIED: library(charsio): read_term_from_chars/2 is now called read_from_chars/2 Markus Triska 2022-01-17 20:09:50 +01:00
  • c6400550e1 dereference second argument of '/2 Mark Thom 2022-01-17 00:00:23 -07:00
  • f26749ad79 Merge pull request #1224 from triska/working_directory Mark Thom 2022-01-16 15:46:11 -07:00
  • 177c98fa95 correct reference to '$working_directory'/2 Markus Triska 2022-01-16 23:20:43 +01:00
  • 7baa187863 Merge pull request #1222 from triska/retain_string_of_nil Mark Thom 2022-01-16 11:58:15 -07:00
  • 11d504e8f4 retain the string "[]" as is, instead of converting it to '[]' (i.e., "") Markus Triska 2022-01-16 17:49:13 +01:00
  • 83378e4373 deduplicate but do not sort anonymous variables in toplevel (#1196) Mark Thom 2022-01-15 11:03:41 -07:00
  • 06abe2302b add missing cases to retract_clause (#1214) Mark Thom 2022-01-15 00:51:38 -07:00
  • f3e5f7879d allow late dynamic declaration for predicates (#1205) Mark Thom 2022-01-13 20:30:29 -07:00
  • bc5125b719 put_complete_string should push the empty list to the heap for empty strings (#1209) Mark Thom 2022-01-13 19:43:54 -07:00
  • c6d23f9a0b fix off-by-one error in DynamicIndexedChoice (#1210) Mark Thom 2022-01-13 18:06:44 -07:00
  • 3b8afce7c7 fix syntax regressions (#1198, #1164) Mark Thom 2022-01-12 23:55:40 -07:00
  • 39e28f1f2a write plaintext and ciphertext directly to atoms (#1193) Mark Thom 2022-01-12 22:11:59 -07:00
  • 08363b1d73 Merge pull request #1208 from triska/mention-rebis-dev Mark Thom 2022-01-13 08:03:25 -07:00
  • 91aa0f200e add links to the rebis-dev branch and its announcement Markus Triska 2022-01-13 08:46:24 +01:00
  • d9e190096c delimit partial strings around \x0\ Mark Thom 2022-01-12 22:10:59 -07:00
  • 4dca86d5cf serialize call_0 test (#1206) Mark Thom 2022-01-12 16:57:12 -07:00
  • d3b628bb24 Merge pull request #1207 from triska/semi-deterministic Mark Thom 2022-01-12 15:30:24 -07:00
  • cfbb05fb1b deterministic --> semi-deterministic Markus Triska 2022-01-12 21:58:23 +01:00
  • 340d428c88 Merge pull request #1199 from Skgland/do_not_gen_in_src Mark Thom 2022-01-11 23:01:59 -07:00
  • d22bbc54c7 Merge pull request #1195 from triska/rebis-dev-format-U Mark Thom 2022-01-11 22:49:38 -07:00
  • c5cda99f9d evaluate floats referenced from the heap by tagged pointers (#1203) Mark Thom 2022-01-11 18:42:01 -07:00
  • 67854e0720 execute trust instead of retry at the end of dynamic choice blocks (#1204, #1173) Mark Thom 2022-01-11 18:24:26 -07:00
  • cfe257495a recognize characters as separate from atoms in ''/7 (#1192) Mark Thom 2022-01-10 21:18:11 -07:00
  • 5f4e701461 render [] as empty string in AtomOrString::as_str() (#1193) Mark Thom 2022-01-10 20:46:00 -07:00
  • e3622e0860 improve between_/3 implementation (#1186, #1191) Mark Thom 2022-01-10 18:34:25 -07:00
  • f0e6b8ca47 imitate Rc-style equality for TypedArenaPtr (#1190) Mark Thom 2022-01-10 18:25:30 -07:00
  • ef0b239e70 correctly print [] functors (#1189) Mark Thom 2022-01-10 17:26:57 -07:00
  • 590d80268e only rerun build.rs when something in src/ has changed Skgland 2022-01-10 19:59:56 +01:00
  • a5de329712 don't genrate code in src/ Skgland 2022-01-10 19:59:21 +01:00
  • 2889a4438b ADDED: format specifier ~NL to limit the number of digits per line Markus Triska 2022-01-10 17:29:45 +01:00
  • f5952088e3 ADDED: format specifier ~NU, using underscores to separate groups of digits Markus Triska 2022-01-10 16:07:05 +01:00
  • bcacb49c05 compare bigints by value not by pointer (#1183) Mark Thom 2022-01-09 18:48:32 -07:00
  • 976b8e426d Merge pull request #1160 from aarroyoc/add-ugraphs-library Mark Thom 2022-01-09 12:43:46 -07:00
  • 90ecd34cfd Merge pull request #1182 from aarroyoc/sockets-arity Mark Thom 2022-01-09 12:24:39 -07:00
  • 35670c8654 remove TLS option in socket_client_open/3 Adrián Arroyo Calle 2022-01-09 17:04:54 +01:00
  • 07bc97fb31 fix socket_client_open/3 Adrián Arroyo Calle 2022-01-08 23:31:32 +01:00
  • d01806ee2d correct heap offsets in setup_call_cleanup tests Mark Thom 2022-01-08 12:50:09 -07:00
  • a54e42961c unify current time as a complete string, not an atom (#1175) Mark Thom 2022-01-08 11:47:35 -07:00
  • 2e46aa33c0 correct read/2 arity to 2 (#1171) Mark Thom 2022-01-08 00:19:17 -07:00
  • d90cf6384c complete handling of control operators in interpreted (,)/2 (#1172) Mark Thom 2022-01-08 00:04:04 -07:00
  • af3f676683 Minor fixes Adrián Arroyo Calle 2022-01-07 19:28:07 +01:00
  • abf980d603 Merge remote-tracking branch 'upstream/rebis-dev' into add-ugraphs-library Adrián Arroyo Calle 2022-01-07 19:14:34 +01:00
  • 693b6d2547 add version dependency information to README Mark Thom 2022-01-07 07:52:14 -07:00
  • 06313cac64 update README.md Mark Thom 2022-01-06 22:18:46 -07:00
  • cf1e315d72 add parser tests Mark Thom 2022-01-06 21:29:15 -07:00
  • 955e1799c8 flatten the instruction dispatch loop Mark Thom 2021-12-19 18:57:57 -07:00
  • 3db86f1e25 relocate most instruction routines from MachineState to Machine Mark Thom 2021-12-17 22:02:20 -07:00
  • 6f9b6a29c4 remove LocalCodePtr::IndexingBuf Mark Thom 2021-12-15 23:41:00 -07:00
  • b056d40eba module-qualify incomplete goals in expand_goal/3 Mark Thom 2021-12-12 10:58:42 -07:00
  • 708c3bc3ce dereference first argument of (is)/2 Mark Thom 2021-12-11 23:36:19 -07:00
  • 39efc12dc8 generate heap_loc cells to refer to 0-arity atoms in read.rs Mark Thom 2021-12-11 21:51:45 -07:00
  • 4211151fe6 fix unify_float Mark Thom 2021-12-11 16:29:26 -07:00
  • 3974b6e6cd dereference variables when looking for string terminators Mark Thom 2021-12-10 17:16:15 -07:00
  • b24df6e195 properly iterate over read terms in MachineState::read_term Mark Thom 2021-12-10 10:10:00 -07:00
  • bcd33dc8e3 get test suite working Mark Thom 2021-12-09 23:23:03 -07:00
  • 6c66c236fb fix printing of CStr's Mark Thom 2021-12-09 18:15:52 -07:00
  • 520121b2b2 remove skeletons from replaced modules Mark Thom 2021-12-08 23:20:08 -07:00
  • 48c1d05151 use heap_loc to refer to 0-arity atom instead of str_loc Mark Thom 2021-12-07 22:26:46 -07:00
  • 8ba61a1da1 defer installation of inference counter for call_with_inference_limit til after goals expanded Mark Thom 2021-12-06 18:08:38 -07:00
  • cd129e32a7 fix bugs revealed by src/tests/builtins.pl Mark Thom 2021-12-04 23:46:31 -07:00
  • 2b3e43f160 start to retune testing infrastructure Mark Thom 2021-12-04 16:24:34 -07:00
  • d7bf04d2c0 fix off by one bug in system_calls Mark Thom 2021-12-04 16:24:06 -07:00
  • 4cde8cd501 fix bug in error_form Mark Thom 2021-12-03 21:18:13 -07:00
  • fb4e627e62 fix various partial string bugs (copying using them in arg/3) Mark Thom 2021-11-30 22:35:38 -07:00
  • ef3a97cedd detect attributed variables by properly detecting them in copy_term/2 Mark Thom 2021-11-29 19:22:26 -07:00
  • 1a86ad5cec upgrade rustyline Mark Thom 2021-11-28 20:36:09 -07:00
  • 529c401eee don't allow [] as a stream alias, restore domain error on source sink for open/{3,4} Mark Thom 2021-11-28 14:53:39 -07:00
  • a87236fea2 keep cursor position after writing to byte stream Mark Thom 2021-11-28 10:21:07 -07:00
  • 975c1ca62c fix stream errors Mark Thom 2021-11-26 22:13:52 -07:00
  • d02b9d848c break from loop upon successful peek in peek_char/1 and peek_code/1 Mark Thom 2021-11-25 23:08:02 -07:00
  • f340f9ac94 break from loop in get_code upon successful character read Mark Thom 2021-11-24 23:13:14 -07:00
  • 1b3f290037 throw instantiation error if Arity is a variable in abolish/1 Mark Thom 2021-11-24 19:11:14 -07:00
  • b551ef315f use strip module in retract/1, a meta-predicate Mark Thom 2021-11-24 19:00:52 -07:00
  • 10bb6ab3bb restore old thread_goals to fix top-level solutions printing bug Mark Thom 2021-11-23 19:59:35 -07:00
  • 4af57b0dd3 fix HeapPStrIter bug not recognizing nil focus if PStrLoc points to PStrOffset to CStr Mark Thom 2021-11-22 23:06:02 -07:00
  • bc613eeff9 fix number not recognizing floats Mark Thom 2021-11-22 00:17:45 -07:00
  • 7507e88406 detect module resolved cut in interpreted (,) Mark Thom 2021-11-21 23:09:39 -07:00
  • 073f281f1e fix arg/3 bug Mark Thom 2021-11-21 13:25:24 -07:00
  • 3355b49724 add bounds check for attributed variables slice Mark Thom 2021-11-21 11:30:15 -07:00
  • 0e2db4a23e tag DCG constructs with module names for proper resolution Mark Thom 2021-11-19 23:00:56 -07:00
  • addc817cca break from get_char loop after successful char unification Mark Thom 2021-11-18 23:41:58 -07:00
  • a0a86d0f62 unmark cell bits in occurs check Mark Thom 2021-11-18 09:35:00 -07:00