 bakaq
|
a9847eef65
|
Migrate to strict and exposed provenance
|
2025-07-07 22:38:12 -07:00 |
|
|
bakaq
|
9daf016d63
|
Fix parsing of \x0\ in partial strings
|
2025-07-07 22:02:27 -07:00 |
|
|
bakaq
|
ca173873af
|
Update dependencies and fix breaking changes in libffi-sys and arcu
|
2025-05-13 19:53:13 -03:00 |
|
|
bakaq
|
bd4b305649
|
Remove Ubuntu 20.04 runner
|
2025-04-22 18:21:50 -03:00 |
|
|
bakaq
|
638a765937
|
Bump MSRV and update flake.lock
|
2025-04-22 17:20:06 -03:00 |
|
|
bakaq
|
080a4fed03
|
Documentation
|
2025-02-20 01:04:38 -03:00 |
|
|
bakaq
|
3b89c1124d
|
Consult modules
|
2025-02-20 01:04:38 -03:00 |
|
|
bakaq
|
236ed93c6c
|
Send pure objects instead of classes
|
2025-02-20 01:04:38 -03:00 |
|
|
bakaq
|
cea8e6b1c9
|
MachineBuilder constructor
|
2025-02-20 01:04:38 -03:00 |
|
|
bakaq
|
93e804eeaa
|
Rework Wasm interface
|
2025-02-20 01:04:38 -03:00 |
|
|
bakaq
|
b32273fc79
|
Make Wasm compilable
|
2025-02-20 01:04:38 -03:00 |
|
|
bakaq
|
3fc5709c50
|
Add builder style configuration of user input, output and error
|
2025-02-16 04:04:48 -03:00 |
|
|
bakaq
|
28926486e0
|
More stream tests
|
2025-02-16 04:04:48 -03:00 |
|
|
bakaq
|
ad211d5e05
|
Disallow null streams in output
|
2025-02-16 04:04:48 -03:00 |
|
|
bakaq
|
5386c183d2
|
Make input and output stream configuration public
|
2025-02-16 04:04:48 -03:00 |
|
|
bakaq
|
0a2457943e
|
Configure streams separately
|
2025-02-16 04:04:48 -03:00 |
|
|
bakaq
|
baae1dca15
|
Refactor UserInput to use channels
|
2025-02-16 04:04:48 -03:00 |
|
|
bakaq
|
4e032c8a28
|
Test for callback streams
|
2025-02-16 04:04:48 -03:00 |
|
|
bakaq
|
7a6620b52d
|
Add input stream channel
|
2025-02-16 04:04:48 -03:00 |
|
|
bakaq
|
dd6533e76c
|
Add callback streams
|
2025-02-16 03:52:52 -03:00 |
|
|
bakaq
|
6d80c843e6
|
Scan entire predicate in InstallVerifyAttr
|
2025-02-05 11:40:05 -03:00 |
|
|
bakaq
|
b8ccebbf24
|
Fix bug in finding arity for verify attributes
|
2025-02-04 04:11:11 -03:00 |
|
|
bakaq
|
590d0daa24
|
Fix clippy warnings
|
2025-01-28 16:49:41 -03:00 |
|
|
bakaq
|
2e910de485
|
cargo fmt
|
2024-12-12 06:03:43 -03:00 |
|
|
bakaq
|
74e3d32ca9
|
Use Cow<'a,B> for toplevel configuration
|
2024-12-12 05:59:59 -03:00 |
|
|
bakaq
|
500a6cdaf1
|
FIXME in Drop for QueryState
|
2024-12-12 05:49:52 -03:00 |
|
|
bakaq
|
17293a5753
|
Leave residual goals for later
|
2024-12-12 05:47:01 -03:00 |
|
|
bakaq
|
a75266c3ce
|
Derive Default for StreamConfig
|
2024-12-12 05:47:01 -03:00 |
|
|
bakaq
|
a92eac919f
|
Rename lib_machine_tests.rs to tests.rs
|
2024-12-12 05:46:54 -03:00 |
|
|
bakaq
|
9265d66f58
|
Handle errors in QueryState
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
3d3baeed82
|
Migrate benches
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
e21c772181
|
Migrate tests to new API
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
2f82c78bc0
|
Separate lib_machine tests into separate file
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
ec6286ffab
|
Shrink MVP API surface
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
bb5adba4ef
|
Rename PrologTerm to Term
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
33d8abfed8
|
Remove parsed_results.rs
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
d336cbc86a
|
MachineBuilder
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
79fbd9e90f
|
Fix Machine links
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
cab61738ad
|
#[deny(missing_docs)]
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
e6cc408ff2
|
Document test methods
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
dc8348b843
|
Add interfaces for QueryState methods
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
cb040dafc1
|
Docs for Machine and QueryState
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
c13fc2d1b6
|
Docs for run_binary()
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
1375f448a0
|
LeafAnswer docs and success checking methods
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
0433706db6
|
More PrologTerm documentation
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
e74fd11b0d
|
Conjunctions, disjunction, and LeafAnswer to PrologTerm
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
4480e7c066
|
Associated functions for creating PrologTerm
|
2024-12-08 20:18:06 -03:00 |
|
|
bakaq
|
71dec62ce2
|
Basic docs and non_exhaustive for PrologTerm
|
2024-12-08 20:18:05 -03:00 |
|
|
bakaq
|
658e39aae6
|
Machine and stream config rework
|
2024-12-08 20:18:05 -03:00 |
|
|
bakaq
|
29fc55cb28
|
Rename LeafAnswer
|
2024-12-08 20:18:05 -03:00 |
|
|
bakaq
|
8e7dc9dba8
|
Rename PrologTerm
|
2024-12-08 20:18:05 -03:00 |
|
|
bakaq
|
90d418a181
|
Fix priority in op/3
|
2024-10-12 23:37:58 -03:00 |
|
|
bakaq
|
190929e4ac
|
Remove trailing whitespace in toplevel.pl
|
2024-10-01 21:58:59 -03:00 |
|
|
bakaq
|
3bc1885606
|
Fix not compiling without hostname feature
|
2024-09-29 16:51:11 -03:00 |
|
|
bakaq
|
238f1bd639
|
Convert library(error) docs to Doclog format
|
2024-09-16 16:47:00 -03:00 |
|
|
bakaq
|
fdd6579230
|
Add mechanism to stop query
|
2024-09-07 02:06:01 -03:00 |
|
|
bakaq
|
16734ec7e4
|
Fix Clippy
|
2024-09-06 21:34:49 -03:00 |
|
|
bakaq
|
d32f3ee2f3
|
Fix warnings
|
2024-09-06 18:42:31 -03:00 |
|
|
bakaq
|
ada9ba98cc
|
Make macros private
|
2024-09-06 17:17:04 -03:00 |
|
|
bakaq
|
a885e87ef7
|
Add argument with extra info to callback
|
2024-09-06 14:59:17 -03:00 |
|
|
bakaq
|
e369c15a27
|
Documentation for run_query/3 and run_query_goal/4
|
2024-09-06 14:55:39 -03:00 |
|
|
bakaq
|
afa7af3de6
|
Address review comments and remove old toplevel
|
2024-09-06 14:28:17 -03:00 |
|
|
bakaq
|
9f4d31a825
|
Toplevel reimplementation with leaf answer callbacks
|
2024-09-03 13:43:31 -03:00 |
|
|
bakaq
|
806e980cca
|
Be conservative with visibility
|
2024-09-03 01:02:01 -03:00 |
|
|
bakaq
|
e24396d78a
|
Fix order of variables in bindings
|
2024-08-19 14:38:53 -03:00 |
|
|
bakaq
|
c1b88cee99
|
Fix partial strings ending in lists
|
2024-08-16 08:11:11 -03:00 |
|
|
bakaq
|
8736526b35
|
Fix lists of chars as strings
|
2024-08-16 00:34:46 -03:00 |
|
|
bakaq
|
7afc08af47
|
Represent atom [] as empty list
|
2024-08-16 00:01:25 -03:00 |
|
|
bakaq
|
12aaae5fc0
|
Differentiate anonymous variables
|
2024-08-15 20:08:29 -03:00 |
|
|
bakaq
|
82a7d7efbd
|
Value::from_heapcell() implemented with heap walk
|
2024-08-14 23:44:52 -03:00 |
|
|
bakaq
|
37a906cf37
|
Value::from_heapcell()
|
2024-08-14 23:44:52 -03:00 |
|
|
bakaq
|
ed1b25cb30
|
Tests for run_query_iter()
|
2024-08-14 20:02:03 -03:00 |
|
|
bakaq
|
bc262db6d7
|
Implement run_query() in terms of run_query_iter()
|
2024-08-14 19:59:42 -03:00 |
|
|
bakaq
|
86a2c5e2ed
|
Add run_query_iter()
|
2024-08-14 19:59:36 -03:00 |
|
|
bakaq
|
938401dbc6
|
flake.nix
|
2024-08-13 23:43:05 -03:00 |
|
|
bakaq
|
f02c0eacd8
|
Make "cargo miri test" actually run
|
2024-01-09 04:38:53 -03:00 |
|
|
bakaq
|
d9d90d1ae8
|
Emit warnings as Prolog comments
|
2023-12-30 17:39:20 -03:00 |
|
|
bakaq
|
921046e886
|
Parse as much of a list as possible as a partial string #1404
|
2023-12-28 15:12:32 -03:00 |
|
|
bakaq
|
20c6a327ea
|
Fix anonymous attributed variables not showing in toplevel #2241
|
2023-12-22 13:07:09 -03:00 |
|
|
bakaq
|
f411fb1eb3
|
Tests for when/2 and solved bug
|
2023-12-11 12:28:59 -03:00 |
|
|
bakaq
|
6a30ccc907
|
Add when/2 and when_si/2
|
2023-12-10 20:55:50 -03:00 |
|
|
bakaq
|
21c61b6e3a
|
Add tests for #2056
|
2023-09-30 21:33:42 -03:00 |
|
|
bakaq
|
f644a76281
|
Remove reposition option from phrase_from_file/2
|
2023-09-25 02:18:05 -03:00 |
|
|
bakaq
|
63bb993c02
|
Inline string_get_n_chars_/3
|
2023-09-24 19:29:51 -03:00 |
|
|
bakaq
|
c50291cec8
|
Better string_get_n_chars_/3
|
2023-09-24 19:21:03 -03:00 |
|
|
bakaq
|
2fe79b5fc3
|
Fixed bug with '$skip_max_list'/4
|
2023-09-24 15:08:24 -03:00 |
|
|
bakaq
|
b4fab5a806
|
Use '$skip_max_list'/4 in string_get_n_chars/4
|
2023-09-24 14:32:44 -03:00 |
|
|
bakaq
|
35d0042be1
|
Add phrase_from_stream/2 to library(pio)
|
2023-09-24 14:32:44 -03:00 |
|
|
bakaq
|
cb79e83510
|
Avoid dif/1 attribute with empty list
Closes #1956
|
2023-09-21 14:00:37 -03:00 |
|
|
bakaq
|
cac52c0537
|
Run dif tests on cargo test
|
2023-09-21 12:14:27 -03:00 |
|
|
bakaq
|
f5c23fbb16
|
Tests for dif/2
|
2023-09-20 20:56:25 -03:00 |
|
|
bakaq
|
a64a765f32
|
Improved dif/2
|
2023-09-20 20:56:04 -03:00 |
|