Nicolas Luck
|
d7fa6c0ade
|
Fix signalling of success/failure (by @mthom)
|
2023-10-16 14:56:17 +02:00 |
|
Nicolas Luck
|
025412aac0
|
Revert "Remove unuse import"
This reverts commit bfa7d3cf41.
|
2023-10-16 14:55:38 +02:00 |
|
Nicolas Luck
|
bfa7d3cf41
|
Remove unuse import
|
2023-10-16 13:44:51 +02:00 |
|
Nicolas Luck
|
9990780b82
|
Merge branch 'master' into library-use-case
|
2023-10-16 13:43:26 +02:00 |
|
Mark
|
dff2e73842
|
more eagerly check for cyclicity of variables in cycle detecting stackless iterator (#2121)
|
2023-10-15 17:43:29 -06:00 |
|
Mark
|
e2000859b6
|
add backward looking cyclicity check for variables in cycle detecting stackless iterator (#2111, #2117)
|
2023-10-15 13:07:41 -06:00 |
|
Mark
|
3a6aee72a3
|
correct is_cyclic again for non-variable ref cells (#2116)
|
2023-10-15 01:28:42 -06:00 |
|
Mark
|
3fb2e451a2
|
improve cycle detection in detect_list_cycles (#2111)
|
2023-10-15 00:58:19 -06:00 |
|
Mark
|
7875b96956
|
simplify stackless iterator is_cyclic (#2111)
|
2023-10-14 23:56:46 -06:00 |
|
Mark
|
d96c9e00b7
|
correct more acyclic_term/1 issues (#2111, #2114), add acyclic_term tests
|
2023-10-14 18:38:10 -06:00 |
|
Mark
|
379c252b89
|
correct cyclic variable check in cycle detecting stackless iterator (#2111, #2113)
|
2023-10-14 14:03:47 -06:00 |
|
Mark
|
307cb56ef5
|
fix bugs & incompleteness of cycle-detecting stackless iterator (#2111)
|
2023-10-14 13:00:58 -06:00 |
|
Mark
|
669023914a
|
add bounds checks for stackless iterator (#2110)
|
2023-10-14 12:11:22 -06:00 |
|
Mark
|
e4a677ceea
|
detect all cycles in roughly linear time and constant space (#2102)
|
2023-10-13 18:05:52 -06:00 |
|
Mark
|
8aadc99f1d
|
fix bugs in marker algorithm iterator
|
2023-10-13 14:38:50 -06:00 |
|
Mark
|
1ea397a807
|
correct (mod)/2 (#2103, #2107)
|
2023-10-13 14:33:50 -06:00 |
|
Mark
|
1163d14ea1
|
fix control construct bugs, iter indentation (#947)
|
2023-10-11 12:41:45 -06:00 |
|
Mark
|
4b9cf0952e
|
do not push stack variables to the heap in term_variables (#2087)
|
2023-10-09 11:38:17 -06:00 |
|
Nicolas Luck
|
69cf2c36bc
|
Deactivate tokio runtime respawning on interrupt
|
2023-10-05 12:11:28 +02:00 |
|
Nicolas Luck
|
640c637ca8
|
Merge branch 'master' into library-use-case
# Conflicts:
# Cargo.lock
# Cargo.toml
# src/http.rs
# src/machine/mock_wam.rs
# src/machine/mod.rs
# src/machine/system_calls.rs
|
2023-10-05 12:06:47 +02:00 |
|
Mark
|
0ad4427f83
|
use eager_stackful_preorder_iter in variable_set, add term_variables/1 tests
|
2023-10-04 15:12:25 -06:00 |
|
Mark
|
1bfdea7527
|
rewrite ground_test, add tests for ground/1 (#2075)
|
2023-10-04 14:17:03 -06:00 |
|
Mark
|
f9d44c93fd
|
check for free variables in locations removed from iterator stack in ground_test (#2075)
|
2023-10-03 15:31:01 -06:00 |
|
Nicolas Luck
|
fab5ca9440
|
Fix nested List parsing
|
2023-10-03 20:19:57 +02:00 |
|
Nicolas Luck
|
7b128a9f00
|
Handle stub_b = b as false
|
2023-10-03 20:12:11 +02:00 |
|
Mark
|
fd14869ddc
|
correct cycle detection in ground/1 (#2073)
|
2023-10-03 12:07:36 -06:00 |
|
Mark
|
a1ceeb697a
|
consider an '$aux' a relation of the unexpanded goal's variables in compile_inline_or_expanded_goal (#2062)
|
2023-10-01 23:49:55 -06:00 |
|
Mark
|
6fa00b5b55
|
get rid of inference_limit_exceeded(B) as an error term (#2023)
|
2023-09-30 22:35:46 -06:00 |
|
Mark
|
62c23166fa
|
implement ListElisionPolicy to restore previous printer behavior
|
2023-09-30 16:00:15 -06:00 |
|
Mark
|
11cd42379b
|
do not deref AttrVar binding in redo_attr_var_binding (#2059)
|
2023-09-28 15:25:57 -06:00 |
|
Adrián Arroyo Calle
|
660860bccf
|
Replace Hyper with Warp for HTTP server
- Use Warp
- Optimize clones
- HTTPS server
- Content-Length limit
- HTTP Basic Auth
- Stop server with Ctrl-C
|
2023-09-27 18:50:19 +02:00 |
|
Mark
|
a6535c28ea
|
remove module_resolution_error (#2035)
|
2023-09-26 14:06:21 -06:00 |
|
Mark
|
2efe95f2fb
|
filter our builtins from current_predicate/1 (#153)
|
2023-09-26 13:46:21 -06:00 |
|
Mark
|
193bb313fd
|
correct OutOfFiles resource error (#1375)
|
2023-09-26 11:22:56 -06:00 |
|
Mark
|
280ff8b5d0
|
throw an error instead of allowing builtin modules to be overwritten (#2042)
|
2023-09-25 19:21:34 -06:00 |
|
Mark
|
c04f1dea48
|
fix off-by-1 bug in '$skip_max_list'/4 (#2037)
|
2023-09-25 16:09:04 -06:00 |
|
Mark
|
b3239abea1
|
throw resource error if OpenOptions raises an error of uncategorized kind (#1375)
|
2023-09-21 14:36:53 -06:00 |
|
infogulch
|
eecfeb2d03
|
Simplify maybe
Fix whitespace
|
2023-09-20 18:23:07 -05:00 |
|
Adrián Arroyo Calle
|
7cf6e77f4d
|
Use a SeedableRng to generate random numbers
|
2023-09-20 22:07:46 +02:00 |
|
Nicolas Luck
|
4968fa0024
|
Remove debugging println!
|
2023-09-18 19:31:56 +02:00 |
|
Nicolas Luck
|
5e55625733
|
Remove some debug println!s
|
2023-09-18 19:12:50 +02:00 |
|
Nicolas Luck
|
65f64e428e
|
Construct and return exception string
|
2023-09-18 13:25:27 +02:00 |
|
Nicolas Luck
|
d2f5291412
|
mthom's changes fixing the panic
|
2023-09-18 13:01:27 +02:00 |
|
Mark
|
9dc1c339ef
|
remove unnecessary Result return type from read_term_from_heap
|
2023-09-15 14:10:42 -06:00 |
|
Nicolas Luck
|
c86304b18e
|
Remove lib_toplevel.pl
|
2023-09-15 11:01:16 +02:00 |
|
Nicolas Luck
|
7c83a1fb8e
|
Cleanup code that's not needed anymore
|
2023-09-15 10:48:41 +02:00 |
|
Nicolas Luck
|
f02728aab3
|
Construct QueryResult from printer output
|
2023-09-15 10:44:59 +02:00 |
|
Nicolas Luck
|
48283c4dbc
|
mthom's changes to run_query with backtracking
|
2023-09-15 10:04:11 +02:00 |
|
Nicolas Luck
|
6bdd7f3a3f
|
mthom's revised run_query with manually created printer and some cleanup
|
2023-09-14 22:00:50 +02:00 |
|
Nicolas Luck
|
5fa68e253c
|
lib_machine tests should not be tokio/async
|
2023-09-13 19:51:57 +02:00 |
|