Nicolas Luck
2faab30af9
Explanatory comment for the wildcard patch version
2024-08-16 16:15:10 +02:00
Nicolas Luck
e0ec5e75b4
typo
2024-08-15 22:41:48 +02:00
Nicolas Luck
7092e278d7
Relax constraint on version of reqwest dependency (Cargo will pick the latest patch that's possible, but not fail if another dep. has it pinned to something below patch 27)
2024-08-15 22:40:35 +02:00
Mark Thom
bacfed8983
Merge pull request #2472 from bakaq/query_iterator
...
Add run_query_iter()
2024-08-14 20:26:03 -06: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
Mark Thom
e77c97e0d1
Merge pull request #2482 from bakaq/flake
...
Add flake.nix
2024-08-14 06:36:16 -06:00
Mark Thom
48f3a7b87e
Merge pull request #2485 from aarroyoc/learn-pages-docs
...
Upgrade docs to DocLog 2.0. Includes a test learning page
2024-08-14 06:35:58 -06:00
Adrián Arroyo Calle
e5aaa9d277
Upgrade docs to DocLog 2.0. Includes a test learning page
2024-08-14 11:19:08 +02:00
bakaq
938401dbc6
flake.nix
2024-08-13 23:43:05 -03:00
Mark Thom
7cfe8ee55c
Merge pull request #2463 from Skgland/split-up-inconsitent-entry-error
...
Split up inconsistent entry error
2024-08-05 14:25:33 -06:00
Bennet Bleßmann
058b9c5e51
switch invalid term from type to domain error
2024-08-05 21:25:44 +02:00
Bennet Bleßmann
deed6fb984
fix remaining use of declaration instead of directive
2024-08-05 21:25:43 +02:00
Bennet Bleßmann
2d04c0dcf8
remove obsolete ExistenceError::Declaration
2024-08-05 21:25:43 +02:00
Bennet Bleßmann
5a0abd713e
change declaration to directive
2024-08-05 21:25:43 +02:00
Bennet Bleßmann
df33da111e
ajust/add devlaration errors to be more standard compliant
2024-08-05 21:25:43 +02:00
Bennet Bleßmann
17a816eff4
impl PartialEq<str> and PartialEq<&str> for Atom
2024-08-05 21:25:42 +02:00
Bennet Bleßmann
880e22d164
adjust errors to be more standard compliant
2024-08-05 21:25:42 +02:00
Bennet Bleßmann
c16d2d4147
fix compilation for 1.77
2024-08-05 21:25:42 +02:00
Bennet Bleßmann
59af900aaf
split up CompilationError::InconsistentEntry
2024-08-05 21:25:42 +02:00
Bennet Bleßmann
add03cb4ee
add test for declaration errors
2024-08-05 21:25:42 +02:00
Bennet Bleßmann
409f56ea37
use an enum for OpDesc spec
2024-08-05 21:25:36 +02:00
Mark Thom
2814d79b56
Merge pull request #2466 from Skgland/upgrade-deps
...
Upgrade dependencies
2024-08-05 12:59:42 -06:00
Bennet Bleßmann
4009b40029
replace derive_deref with derive_more
...
- the latter already used in our transitive dependencies
- derive_more appears better maintained
2024-08-04 02:40:26 +02:00
Bennet Bleßmann
260c52adec
replace select by scrape
...
- the latter appears better maintained and more up to date
- removes some dupplicate/outdated transitive deps
2024-08-04 02:35:36 +02:00
Bennet Bleßmann
b1f057b67d
resolve problems from deps upgrade
...
- downgrade reqwest to 0.11.27
- fixes problems with missmatched transitive dependencies between it and warp, mainly http
- replace deprecated ripemd160 with ripemd (as specified in the formers readme)
- indexmap: replace deprecated remove with functionally identical swap_remove
2024-08-04 01:57:25 +02:00
Bennet Bleßmann
177bc16255
update/upgrade dependencies
2024-08-04 01:41:03 +02:00
Mark Thom
4ce4cd1bc1
Merge pull request #2462 from Skgland/fix-segfault
...
fix segfault by dropping loader state payload after resetting machine
2024-08-03 14:05:13 -06:00
Bennet Bleßmann
9e8d8aa19e
prevent accidental double free by checking tag before drop
2024-08-03 19:36:05 +02:00
Bennet Bleßmann
4d3ceb387e
drop payload after resetting machine
...
- under some circumstances the payload is accessed durring reset which would cause a segfault if we drop the payload too early
2024-08-03 19:27:32 +02:00
Mark Thom
5038b716eb
Merge pull request #2457 from Skgland/library
...
simplify generated libraries map by using `include_str!`
2024-07-26 11:29:12 -06:00
Adrián Arroyo Calle
e310f9683e
Fix build on WASM after #2442
...
(cherry-pick of 3acf4c637b6f8b17bb0230edeaaae0507d9030d1 from PR
mthom/scryer-prolog#2446 )
2024-07-26 01:08:00 +02:00
Bennet Bleßmann
c29b76143c
fix copy-past error
2024-07-26 00:13:49 +02:00
Bennet Bleßmann
3ad4b05a97
add a features for gating things we can use once 1.80 is msrv
2024-07-25 23:09:17 +02:00
Bennet Bleßmann
0da313eb84
use a OnceLock static for LIBRARIES instead of thread_local! static
2024-07-25 18:58:29 +02:00
Bennet Bleßmann
6b50ec328c
move the creation of the LIBRARIES IndexMap out of the generated file
...
- only leave the filling of the map in the generated code
2024-07-25 18:53:36 +02:00
Bennet Bleßmann
1eb6a883f6
run rustfmt
2024-07-23 00:01:58 +02:00
Bennet Bleßmann
e7fd408548
use include_str! for the build in libraries
...
instead of "copy-paste-ing" the prolog source into rust string literals in the generated files
2024-07-23 00:01:29 +02:00
Mark Thom
eaa95293e4
Merge pull request #2439 from Skgland/miri
...
Some cleanup and miri fixes
2024-07-22 13:40:57 -06:00
Mark Thom
8ac663d703
Merge pull request #2442 from aarroyoc/fix-http-at-end-of-stream
...
Fix at_end_of_stream/1 for http read stream
2024-07-07 16:02:51 -06:00
Mark Thom
902712695c
Merge pull request #2440 from triska/statistics
...
ADDED: Preliminary support for statistics/2.
2024-07-07 15:59:44 -06:00
Bennet Bleßmann
5d03be4b09
fix leak of slaps with dropped payload
2024-07-07 19:22:46 +02:00
Bennet Bleßmann
689632b51c
cleanup the slab types
...
- get rid of HeaderOrIdxPtr
- add IndexPtrSlab
- add UntypedArenaSlab
- add to_untyped for converting a typed slab into an unsyped slab
- remove TypedArenaPtr::new, as they shouldn't be created outside of this module
2024-07-07 17:12:52 +02:00
Bennet Bleßmann
1b19ae81d5
wrap Payloads that are dropped eraly in ManuallyDrop
2024-07-07 15:58:31 +02:00
Bennet Bleßmann
a0d790445d
check that we don't attempt to un-drop while evacuating
2024-07-07 14:37:41 +02:00
Bennet Bleßmann
213ee5ca45
add AllocateInArena as a Pivot for arena_alloc!
...
so that the value type passed to `arena_alloc!` can differ from the `ArenaAllocated::Payload` type
2024-07-07 14:36:53 +02:00
Bennet Bleßmann
74720d4d2e
remove unsafe impl From<UntypedArenaPtr> for CodeIndex
2024-07-07 14:18:50 +02:00
Skgland
39bd520542
ignore pstr_iter_tests test in miri as it takes too long
2024-07-07 13:22:49 +02:00
Bennet Bleßmann
496e4e9f56
fix clippy again
2024-07-07 11:31:36 +02:00
