 Mark Thom
|
4ddacc707d
|
add range check to arg/3 (#1250)
|
2022-01-29 12:50:09 -07:00 |
|
|
Mark Thom
|
0d653a2ce6
|
improve '$skip_max_list'/4 and length/2 (#1023, #110)
|
2022-01-29 12:47:26 -07:00 |
|
|
Mark Thom
|
b3006f6fd8
|
inline store & deref calls in '' (#1176)
|
2022-01-26 23:03:19 -07:00 |
|
|
Mark Thom
|
142ddcd57a
|
use expand_goal directly for existential-qualified goals in all-solutions predicates (#1246)
|
2022-01-26 17:34:36 -07:00 |
|
|
Mark Thom
|
a562793fce
|
don't read into the heap while incrementing self.s (#1233, #1245)
|
2022-01-25 20:37:29 -07:00 |
|
|
Mark Thom
|
e6c4ecfc10
|
lazily throw exceptions of dcg_body from goal-expanded phrase/{2,3} (#1244)
|
2022-01-22 14:55:18 -07:00 |
|
|
Mark Thom
|
5ff579f793
|
recognize []/N as callable (#1241, #989)
|
2022-01-21 08:10:59 -07:00 |
|
|
Mark Thom
|
8df346f377
|
expand phrase/{2,3} using dcg_body whenever possible
|
2022-01-21 08:10:55 -07:00 |
|
|
Mark Thom
|
af76068297
|
module-qualify callables more liberally but not for built-ins (#1243)
|
2022-01-20 17:40:45 -07:00 |
|
|
Mark Thom
|
5dddf0a460
|
dereference car of Lis in HeapPStRIter::step (#1238)
|
2022-01-19 20:51:23 -07:00 |
|
|
Mark Thom
|
1854338ff4
|
throw errors from phrase/{2,3} where expected (#1220)
|
2022-01-19 20:19:47 -07:00 |
|
|
Mark Thom
|
11b96875e0
|
streamline and fix phrase/{2,3} (#1237)
|
2022-01-19 20:07:15 -07:00 |
|
|
Mark Thom
|
6462c524f4
|
Merge pull request #1236 from triska/omit-module-prefix
omit module prefix, because the goals are already module-qualified
|
2022-01-19 17:22:44 -07:00 |
|
|
Mark Thom
|
ab77b6b28e
|
Merge pull request #1235 from triska/better-initialization-warning
ENHANCED: more specific warning when initialization/1 fails (#1149)
|
2022-01-19 16:41:43 -07:00 |
|
|
Mark Thom
|
88436b8627
|
Merge pull request #1234 from aarroyoc/ctrld
Fix Ctrl-D in toplevel
|
2022-01-18 21:34:30 -07:00 |
|
|
Mark Thom
|
f6116510a1
|
print -0.0 as 0.0 (#1164)
|
2022-01-18 21:31:14 -07:00 |
|
|
Mark Thom
|
5a132aaff4
|
throw error instead of overwriting builtin export (#1225)
|
2022-01-18 19:16:14 -07:00 |
|
|
Mark Thom
|
59992c8af2
|
remove number/3 from arithmetic.pl (#1170)
|
2022-01-18 17:38:45 -07:00 |
|
|
Mark Thom
|
b980ae1e8c
|
fix floor for f64 (#1223)
|
2022-01-17 22:04:10 -07:00 |
|
|
Mark Thom
|
97b9d488d4
|
include library(error) in toplevel.pl (#1226)
|
2022-01-17 21:53:52 -07:00 |
|
|
Mark Thom
|
3ebf8d5db9
|
clear alias in close before resetting the stream to null (#1231)
|
2022-01-17 17:58:14 -07:00 |
|
|
Mark Thom
|
89e33903b2
|
Merge pull request #1232 from triska/toplevel_read_from_chars
FIXED: toplevel to use (newly renamed) read_from_chars/2
|
2022-01-17 17:44:58 -07:00 |
|
|
Mark Thom
|
413f797155
|
Merge pull request #1228 from triska/charsio-read-renames
MODIFIED: Rename two predicates in library(charsio)
|
2022-01-17 17:03:46 -07:00 |
|
|
Mark Thom
|
6c8dc49216
|
Merge pull request #1229 from triska/faster_decryption
ENHANCED: library(crypto): Retain a compact internal representation of the ciphertext throughout decryption.
|
2022-01-17 17:03:29 -07:00 |
|
|
Mark Thom
|
c6400550e1
|
dereference second argument of '/2
|
2022-01-17 00:00:23 -07:00 |
|
|
Mark Thom
|
f26749ad79
|
Merge pull request #1224 from triska/working_directory
correct reference to '$working_directory'/2
|
2022-01-16 15:46:11 -07:00 |
|
|
Mark Thom
|
7baa187863
|
Merge pull request #1222 from triska/retain_string_of_nil
retain the string "[]" as is, instead of converting it to '[]' (i.e., "")
|
2022-01-16 11:58:15 -07:00 |
|
|
Mark Thom
|
83378e4373
|
deduplicate but do not sort anonymous variables in toplevel (#1196)
|
2022-01-15 19:24:22 -07:00 |
|
|
Mark Thom
|
06abe2302b
|
add missing cases to retract_clause (#1214)
|
2022-01-15 00:51:38 -07:00 |
|
|
Mark Thom
|
f3e5f7879d
|
allow late dynamic declaration for predicates (#1205)
|
2022-01-14 16:31:49 -07:00 |
|
|
Mark Thom
|
bc5125b719
|
put_complete_string should push the empty list to the heap for empty strings (#1209)
|
2022-01-14 16:31:49 -07:00 |
|
|
Mark Thom
|
c6d23f9a0b
|
fix off-by-one error in DynamicIndexedChoice (#1210)
|
2022-01-14 16:31:22 -07:00 |
|
|
Mark Thom
|
3b8afce7c7
|
fix syntax regressions (#1198, #1164)
|
2022-01-13 23:54:55 -07:00 |
|
|
Mark Thom
|
39e28f1f2a
|
write plaintext and ciphertext directly to atoms (#1193)
|
2022-01-13 08:47:56 -07:00 |
|
|
Mark Thom
|
d9e190096c
|
delimit partial strings around \x0\
|
2022-01-12 22:10:59 -07:00 |
|
|
Mark Thom
|
4dca86d5cf
|
serialize call_0 test (#1206)
|
2022-01-12 21:42:26 -07:00 |
|
|
Mark Thom
|
d3b628bb24
|
Merge pull request #1207 from triska/semi-deterministic
deterministic --> semi-deterministic
|
2022-01-12 15:30:24 -07:00 |
|
|
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 |
|