This website requires JavaScript.
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
Markus Triska