Mark
|
f2d3779fa9
|
add #2341 test to lib_machine.rs
|
2024-02-29 15:12:58 -07:00 |
|
Mark
|
614850ab1d
|
fmt
|
2024-02-05 18:34:57 -07:00 |
|
Mark
|
cbb422f69d
|
record stub choice point as block
|
2024-02-01 09:26:58 -07:00 |
|
Nicolas Luck
|
06f198bc57
|
Test show problem with nonexistent predicate
|
2024-02-01 14:14:50 +01:00 |
|
Nicolas Luck
|
e1b0ba466b
|
Remove test with long program literals, not needed
|
2024-02-01 13:00:49 +01:00 |
|
Mark
|
53028a9c2a
|
fix style errors
|
2024-01-31 17:32:32 -07:00 |
|
Mark
|
33fc2ed10c
|
index stub choice point correctly
|
2024-01-31 17:30:13 -07:00 |
|
Nicolas Luck
|
bc02fb3754
|
Extract failing assertion as single test case
|
2024-01-31 15:03:28 +01:00 |
|
Nicolas Luck
|
48b2379fe5
|
Adjust some first result orderings in integration assertions
|
2024-01-30 12:54:12 +01:00 |
|
Mark
|
7de693eb23
|
check for True or False Query Resolution unconditionally
|
2024-01-29 15:06:56 -07:00 |
|
Nicolas Luck
|
7bb9c00356
|
fmt
|
2024-01-29 18:44:20 +01:00 |
|
Nicolas Luck
|
9aacfff35d
|
Add more test cases to differentiate usage of discontiguous
|
2024-01-29 16:49:03 +01:00 |
|
Nicolas Luck
|
2e728c7051
|
Minimal reproduction of faulty behaviour seen in integration tests
|
2024-01-29 15:26:06 +01:00 |
|
Nicolas Luck
|
7e973a6da6
|
Merge branch 'master' into library-use-case
|
2024-01-26 17:21:47 +01:00 |
|
Nicolas Luck
|
cb014095ad
|
Add expected results to integration test
Results are logs of what we get with old toplevel-based version of lib_machine. These are also congruent with what our tests logged out based on SWI.
|
2024-01-26 17:18:57 +01:00 |
|
bakaq
|
f02c0eacd8
|
Make "cargo miri test" actually run
|
2024-01-09 04:38:53 -03:00 |
|
Nicolas Luck
|
77ce5a9586
|
Result with one empty match should be false
|
2023-12-05 15:00:07 +01:00 |
|
Nicolas Luck
|
24e3e1794e
|
cargo fmt
|
2023-12-04 20:18:41 +01:00 |
|
Nicolas Luck
|
99055b553a
|
Don’t include unbound variables in results returned from run_query
|
2023-12-04 20:10:06 +01:00 |
|
Nicolas Luck
|
576f13df60
|
Merge branch 'master' into library-use-case
|
2023-12-04 20:06:14 +01:00 |
|
Mark
|
7cac13aefa
|
set b0 to b for run_query call
|
2023-11-23 12:55:55 -07:00 |
|
infogulch
|
8570f119c0
|
Add benchmarks using library interface
|
2023-11-11 13:32:34 -06:00 |
|
Nicolas Luck
|
0ad479498c
|
Activate run_query() integration test
|
2023-11-07 10:28:36 +01:00 |
|
infogulch
|
9444e62df9
|
Resolve lints and format
|
2023-11-04 02:16:54 -05:00 |
|
Nicolas Luck
|
d7fa6c0ade
|
Fix signalling of success/failure (by @mthom)
|
2023-10-16 14:56:17 +02: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 |
|
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 |
|
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 |
|
Nicolas Luck
|
136463c92e
|
Merge branch 'master' into library-use-case
# Conflicts:
# Cargo.toml
# src/atom_table.rs
# src/bin/scryer-prolog.rs
# src/http.rs
# src/machine/mock_wam.rs
# src/machine/mod.rs
# src/machine/system_calls.rs
|
2023-09-13 18:13:14 +02:00 |
|
Nicolas Luck
|
ef56193c44
|
Use write_term_to_heap as suggest, clean up, and include error in comment
|
2023-09-13 17:17:02 +02:00 |
|
Nicolas Luck
|
44c274b9e9
|
WIP: Pure Rust impl. of run_query
|
2023-08-30 17:35:36 +02:00 |
|
Nicolas Luck
|
c25888288a
|
Fix parsing of floats
|
2023-08-24 18:10:47 +02:00 |
|
Nicolas Luck
|
7e97f16f41
|
Fix list result parsing
|
2023-08-22 22:46:00 +02:00 |
|
Nicolas Luck
|
cf63b588bc
|
Ignore stress test because it fails on windows
|
2023-08-07 18:41:08 +02:00 |
|
Nicolas Luck
|
3cf3c0ea99
|
Integration stress test showing Machine blocking on query
|
2023-08-03 19:51:12 +02:00 |
|
Joshua Parkin
|
65eb93793c
|
dont spawn a runtime in machine; inherit from outside with runtime::handle::Current
|
2023-08-03 16:22:03 +01:00 |
|
Nicolas Luck
|
3ff02da314
|
Deactivate some debugging outputs
|
2023-08-02 16:25:53 +02:00 |
|
Nicolas Luck
|
df048a4f42
|
Switch back to run_input_once and use duplicated write_eqs/2 without any input handling
|
2023-08-02 14:52:49 +02:00 |
|
Nicolas Luck
|
c2658dc6da
|
Try triska's toplevel and add some debugging println!s.
|
2023-07-27 14:46:00 +02:00 |
|
Nicolas Luck
|
30dac8ea41
|
HashSet -> BTreeSet: Make parsing or results and thus tests deterministic. Add comments.
|
2023-07-27 12:06:03 +02:00 |
|
Nicolas Luck
|
2f99bb025c
|
Add consult that works with streams / strings in library use-case
|
2023-07-27 11:41:52 +02:00 |
|
Nicolas Luck
|
9fd6e18d59
|
Dedupe machine results
|
2023-07-22 00:32:24 +02:00 |
|