rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,307 Commits 2 Branches 18 Tags
cfbb05fb1b4259abc6d3a896f2fbdd9c0b801064
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom 340d428c88 Merge pull request #1199 from Skgland/do_not_gen_in_src 
Generate into $OUT_DIR instead of src/
 2022-01-11 23:01:59 -07:00
Mark Thom d22bbc54c7 Merge pull request #1195 from triska/rebis-dev-format-U 
ADDED: format specifier ~NU, using underscores to separate groups of digits
 2022-01-11 22:49:38 -07:00
Mark Thom c5cda99f9d evaluate floats referenced from the heap by tagged pointers (#1203) 2022-01-11 18:42:01 -07:00
Mark Thom 67854e0720 execute trust instead of retry at the end of dynamic choice blocks (#1204, #1173) 2022-01-11 18:24:26 -07:00
Mark Thom cfe257495a recognize characters as separate from atoms in ''/7 (#1192) 2022-01-10 21:18:11 -07:00
Mark Thom 5f4e701461 render [] as empty string in AtomOrString::as_str() (#1193) 2022-01-10 20:46:00 -07:00
Mark Thom e3622e0860 improve between_/3 implementation (#1186, #1191) 2022-01-10 18:34:25 -07:00
Mark Thom f0e6b8ca47 imitate Rc-style equality for TypedArenaPtr (#1190) 2022-01-10 18:25:30 -07:00
Mark Thom ef0b239e70 correctly print [] functors (#1189) 2022-01-10 17:26:57 -07:00
Mark Thom bcacb49c05 compare bigints by value not by pointer (#1183) 2022-01-09 23:33:26 -07:00
Mark Thom 976b8e426d Merge pull request #1160 from aarroyoc/add-ugraphs-library 
Add ugraphs library (ported from SWI)
 2022-01-09 12:43:46 -07:00
Mark Thom 90ecd34cfd Merge pull request #1182 from aarroyoc/sockets-arity 
fix socket_client_open/3
 2022-01-09 12:24:39 -07:00
Mark Thom d01806ee2d correct heap offsets in setup_call_cleanup tests 2022-01-08 12:50:09 -07:00
Mark Thom a54e42961c unify current time as a complete string, not an atom (#1175) 2022-01-08 11:47:35 -07:00
Mark Thom 2e46aa33c0 correct read/2 arity to 2 (#1171) 2022-01-08 00:19:17 -07:00
Mark Thom d90cf6384c complete handling of control operators in interpreted (,)/2 (#1172) 2022-01-08 00:04:04 -07:00
Mark Thom 693b6d2547 add version dependency information to README 2022-01-07 07:52:56 -07:00
Mark Thom 06313cac64 update README.md 2022-01-07 00:17:17 -07:00
Mark Thom cf1e315d72 add parser tests 2022-01-06 22:09:38 -07:00
Mark Thom 955e1799c8 flatten the instruction dispatch loop 2022-01-06 22:09:36 -07:00
Mark Thom 3db86f1e25 relocate most instruction routines from MachineState to Machine 2022-01-06 21:46:23 -07:00
Mark Thom 6f9b6a29c4 remove LocalCodePtr::IndexingBuf 2022-01-06 21:44:41 -07:00
Mark Thom b056d40eba module-qualify incomplete goals in expand_goal/3 2022-01-06 21:44:41 -07:00
Mark Thom 708c3bc3ce dereference first argument of (is)/2 2022-01-06 21:44:41 -07:00
Mark Thom 39efc12dc8 generate heap_loc cells to refer to 0-arity atoms in read.rs 2022-01-06 21:44:41 -07:00
Mark Thom 4211151fe6 fix unify_float 2022-01-06 21:44:41 -07:00
Mark Thom 3974b6e6cd dereference variables when looking for string terminators 2022-01-06 21:44:41 -07:00
Mark Thom b24df6e195 properly iterate over read terms in MachineState::read_term 2022-01-06 21:44:41 -07:00
Mark Thom bcd33dc8e3 get test suite working 2022-01-06 21:44:41 -07:00
Mark Thom 6c66c236fb fix printing of CStr's 2022-01-06 21:44:41 -07:00
Mark Thom 520121b2b2 remove skeletons from replaced modules 2022-01-06 21:44:41 -07:00
Mark Thom 48c1d05151 use heap_loc to refer to 0-arity atom instead of str_loc 2022-01-06 21:44:41 -07:00
Mark Thom 8ba61a1da1 defer installation of inference counter for call_with_inference_limit til after goals expanded 2022-01-06 21:44:41 -07:00
Mark Thom cd129e32a7 fix bugs revealed by src/tests/builtins.pl 2022-01-06 21:44:41 -07:00
Mark Thom 2b3e43f160 start to retune testing infrastructure 2022-01-06 21:44:41 -07:00
Mark Thom d7bf04d2c0 fix off by one bug in system_calls 2022-01-06 21:44:41 -07:00
Mark Thom 4cde8cd501 fix bug in error_form 2022-01-06 21:44:41 -07:00
Mark Thom fb4e627e62 fix various partial string bugs (copying using them in arg/3) 2022-01-06 21:44:41 -07:00
Mark Thom ef3a97cedd detect attributed variables by properly detecting them in copy_term/2 2022-01-06 21:44:41 -07:00
Mark Thom 1a86ad5cec upgrade rustyline 2022-01-06 21:44:41 -07:00
Mark Thom 529c401eee don't allow [] as a stream alias, restore domain error on source sink for open/{3,4} 2022-01-06 21:44:41 -07:00
Mark Thom a87236fea2 keep cursor position after writing to byte stream 2022-01-06 21:44:41 -07:00
Mark Thom 975c1ca62c fix stream errors 2022-01-06 21:44:41 -07:00
Mark Thom d02b9d848c break from loop upon successful peek in peek_char/1 and peek_code/1 2022-01-06 21:44:41 -07:00
Mark Thom f340f9ac94 break from loop in get_code upon successful character read 2022-01-06 21:44:41 -07:00
Mark Thom 1b3f290037 throw instantiation error if Arity is a variable in abolish/1 2022-01-06 21:44:41 -07:00
Mark Thom b551ef315f use strip module in retract/1, a meta-predicate 2022-01-06 21:44:41 -07:00
Mark Thom 10bb6ab3bb restore old thread_goals to fix top-level solutions printing bug 2022-01-06 21:44:41 -07:00
Mark Thom 4af57b0dd3 fix HeapPStrIter bug not recognizing nil focus if PStrLoc points to PStrOffset to CStr 2022-01-06 21:44:41 -07:00
Mark Thom bc613eeff9 fix number not recognizing floats 2022-01-06 21:44:41 -07:00
Mark Thom 7507e88406 detect module resolved cut in interpreted (,) 2022-01-06 21:44:41 -07:00
Mark Thom 073f281f1e fix arg/3 bug 2022-01-06 21:44:41 -07:00
Mark Thom 3355b49724 add bounds check for attributed variables slice 2022-01-06 21:44:41 -07:00
Mark Thom 0e2db4a23e tag DCG constructs with module names for proper resolution 2022-01-06 21:44:41 -07:00
Mark Thom addc817cca break from get_char loop after successful char unification 2022-01-06 21:44:41 -07:00
Mark Thom a0a86d0f62 unmark cell bits in occurs check 2022-01-06 21:44:41 -07:00
Mark Thom b24e7cce38 support comparison and unification of cyclic partial strings 2022-01-06 21:44:41 -07:00
Mark Thom ffd1b7069f greatly reduce the number of goal expansions done in callable if/then/else 2022-01-06 21:44:41 -07:00
Mark Thom 0404c3bd94 use new heap term representation 2022-01-06 21:44:38 -07:00
Mark Thom d0b74a95f4 Merge pull request #1156 from mthom/proper_var_list_order_issue_1121 
Correct order of variables in read_term/3 equation and variable lists
 2022-01-06 20:46:59 -07:00
Mark Thom 9d06229cba create read_term/3 variable lists in order of variable occurrence within terms 2021-12-23 13:31:49 -07:00
Mark Thom c60ada8421 Merge pull request #1132 from triska/tls_library 
ADDED: library(tls) for negotiating TLS connections
 2021-12-13 19:11:04 -07:00
Mark Thom 74a1d5cf38 Merge pull request #1141 from triska/layout_text_sequence 
ENHANCED: Support also comments in integers with underscores
 2021-12-13 19:09:37 -07:00
Mark Thom 43532e5322 Merge pull request #1142 from triska/s 
report time with "s" instead of "seconds", in analogy to time(1)
 2021-12-13 19:09:20 -07:00
Mark Thom 68cd1d6631 Merge pull request #1143 from heydtn/patch-1 
Fix typo in abnf_lwsp/2
 2021-12-13 19:04:46 -07:00
Mark Thom afc18cc390 Merge pull request #1147 from triska/pio_improvements 
ENHANCED: Use newly available fast chars test from library(error).
 2021-12-13 19:04:27 -07:00
Mark Thom 2eae6b4be7 Merge pull request #1131 from triska/cpu_time 
walltime --> CPU time
 2021-12-07 20:30:00 -07:00
Mark Thom 8065889862 Merge pull request #1129 from triska/tls_servers 
ADDED: Support for creating TLS servers.
 2021-12-04 16:23:43 -07:00
Mark Thom e7a8950d09 Merge pull request #1124 from triska/test_corrections 
several corrections to test cases
 2021-12-04 16:23:31 -07:00
Mark Thom 88e9dc2177 Merge pull request #1127 from triska/retract_correction 
Correct retract/1 issues due to module qualification
 2021-12-04 16:23:00 -07:00
Mark Thom 2c555c969e Merge pull request #1122 from triska/better_time 
ENHANCED: Better reporting for time/1.
 2021-12-04 16:22:14 -07:00
Mark Thom 7abdade7c1 Merge pull request #1120 from triska/char_type_correction 
ENHANCED: Correct type error for char_type/2.
 2021-11-29 19:38:30 -05:00
Mark Thom e47aef5615 Merge pull request #1116 from aarroyoc/fix-open-lis 
Allow all kinds of string to be processed in open/4
 2021-11-28 16:18:02 -05:00
Mark Thom b96ae1bac0 Merge pull request #1119 from mthom/expand_call_goals_as_call_goals 
Expand call goals as call goals so that goals in control constructs are qualified properly
 2021-11-28 16:16:47 -05:00
Mark Thom 7dafcb0860 expand call goals as call goals (#1114) 2021-11-28 10:27:50 -07:00
Mark Thom 5a6a686f42 Merge pull request #1117 from triska/indicate_failed_initialization 
ENHANCED: indicate failed initialization/1 goal
 2021-11-28 11:53:54 -05:00
Mark Thom b576bb55ef Merge pull request #1115 from triska/get_char_type_test 
ENHANCED: Character type checks for get_char/[1,2].
 2021-11-28 11:53:15 -05:00
Mark Thom a87f0481b8 Merge pull request #1096 from aarroyoc/number_chars_fix 
Prevents panic in some strange cases. Seen in #721
 2021-11-27 22:37:30 -05:00
Mark Thom c3d61361f8 Merge pull request #1112 from triska/underscores_in_integers 
ENHANCED: Support '_' followed by layout text sequence in integers.
 2021-11-27 20:29:49 -05:00
Mark Thom a48934e31c Merge pull request #1113 from triska/seq 
Use newly available seq//1 and ... //0 in several libraries
 2021-11-27 20:29:31 -05:00
Mark Thom ac75f67e2a Merge pull request #1111 from triska/fast_list_test 
Use '$skip_max_list'/4 for fast list tests in can_be/2 and must_be/2
 2021-11-27 20:29:17 -05:00
Mark Thom ca28f24e42 Merge pull request #1107 from triska/fast_chars_test 
New type tests: must_be(chars, ...) and can_be(chars, ...)
 2021-11-25 19:01:03 -05:00
Mark Thom 2c0fb3adb0 Merge pull request #1098 from triska/format_improvements 
Various smaller improvements to library(format)
 2021-11-21 15:28:32 -05:00
Mark Thom b851eefb03 Merge pull request #1099 from aarroyoc/uninstantiation_error-missing 
Fix uninstantiation_error missing. Fix #1031
 2021-11-21 15:27:38 -05:00
Mark Thom eaad2d8b1f Merge pull request #1100 from aarroyoc/phrase-to-file-options 
Add phrase_to_file/3 (phrase_to_file with Options)
 2021-11-21 15:27:17 -05:00
Mark Thom 575d235296 Merge pull request #1102 from triska/meta_predicate_corrections 
Meta predicate corrections
 2021-11-21 15:27:03 -05:00
Mark Thom 75b01d5021 Merge pull request #1082 from pmoura/fix_format_predicates_missing_numbervars_option_on_w_and_q_formats 
Fix the format/2-3 predicates missing the numbervars(true) option in the ~w and ~q formats
 2021-11-13 00:05:26 -05:00
Mark Thom b7fa5db570 Merge pull request #1087 from Skgland/fix_beta_check 
fix failing lint warnings in beta build
 2021-11-13 00:04:51 -05:00
Mark Thom 297f126f66 Merge pull request #1078 from triska/pio_improvements 
Various improvements for pure output
 2021-11-13 00:03:57 -05:00
Mark Thom bd6400f17f Merge pull request #1086 from Skgland/pass_-f_flag_in_cargo_test 
pass -f to scryer-prolog in cargo test so that we ignore .scryerrc
 2021-11-13 00:03:38 -05:00
Mark Thom 21e55023a4 Merge pull request #1088 from triska/call_nth_metapredicate 
FIXED: meta_predicate/1 directive for call_nth/2.
 2021-11-13 00:03:26 -05:00
Mark Thom 1d2a838717 Merge pull request #1077 from pmoura/fix_get_code_predicates_at_end_of_file 
Fix the get_code/1-2 predicates to return -1 at the end of stream as per standard
 2021-11-07 09:40:29 -05:00
Mark Thom 8457a19792 Merge pull request #1071 from triska/read_n_chars 
ADDED: read_n_chars/3, reading N characters from a stream.
 2021-11-07 09:40:03 -05:00
Mark Thom 0b2638b201 Merge pull request #1070 from triska/open_stream 
ENHANCED: open/4 to allow opening a stream by specifying stream(S).
 2021-11-07 09:39:41 -05:00
Mark Thom 4dce57a1b6 Merge pull request #1069 from triska/crypto_improvements 
Performance improvements for library(crypto)
 2021-11-07 09:39:13 -05:00
Mark Thom 67ef5fe8e6 Merge pull request #1065 from aarroyoc/pio-string 
Disable check of atom and leverage to open/4 the domain_error
 2021-11-03 13:27:45 -02:30
Mark Thom 7c5c700bb8 Merge pull request #1066 from aarroyoc/rust-2021 
Rust 2021
 2021-11-03 13:27:18 -02:30
Mark Thom ca62e54652 Merge pull request #1052 from aarroyoc/shell-predicate 
Implement shell/1 and shell/2
 2021-10-17 11:58:28 -06:00
Mark Thom 44fc61ed86 Merge pull request #1051 from aarroyoc/close-stream 
Throw exception if closing a closed TCP stream #1046
 2021-10-07 17:09:16 -06:00
Mark Thom 1a0684cd20 Merge pull request #1049 from pmoura/add_preliminary_current_module_predicate_definition 
Add preliminary current_module/1 predicate definition requiring a bound argument
 2021-09-30 09:19:09 -06:00