]> Repositorios git - scryer-prolog.git/shortlog
scryer-prolog.git
2025-08-23 Mark Thommake max_depth checking in heap_print.rs consistent...
2025-08-23 Mark Thomsome max_depth improvements (#1876, #2666, #3008, ...
2025-08-23 Mark Thomfurther improvements to cyclic partial list printing...
2025-08-23 Mark Thomimprove printer's handling of cyclic lists (#2111,...
2025-08-22 Mark ThomMerge pull request #3056 from Skgland/fix-msrv
2025-08-22 Mark Thomfix cyclic detection of partial strings in StackfulPreO...
2025-08-22 Mark ThomUse from_str_radix for BigInt in parse_integer_by_radix...
2025-08-18 Skglandmake CI read msrv from Cargo.toml
2025-08-18 Skglandreduce msrv back to 1.85
2025-08-17 Mark ThomMerge pull request #3055 from Skgland/build-debs
2025-08-17 Skglandfixup logtalk-test
2025-08-17 Skglandexplicitly pass the target to cargo-deb
2025-08-17 Skglandfix paths
2025-08-17 Mark ThomMerge pull request #3053 from Skgland/add-test-for...
2025-08-17 Skglandbuild debian packages on linux targets
2025-08-17 Skglandadd tests for issue 3048
2025-08-16 Mark Thomclear pdl after comparing partial strings (#3048)
2025-08-15 Mark Thomcheck for stack variables in ground_test before iterati...
2025-08-13 Mark Thomsmall tweak for read_from_term performance (#2668)
2025-08-13 Mark Thomderef terms in read_from_term (#2668)
2025-08-12 Mark ThomMerge pull request #3042 from dcnorris/numerics
2025-08-11 David C. NorrisAdd README entry for numerics/special_functions
2025-08-10 David C. NorrisDrop 2 extra lines flagged by 'cargo fmt'
2025-08-10 David C. NorrisAddress CI style complaints
2025-08-10 Mark ThomMerge pull request #2786 from Skgland/ffi-f64-tests
2025-08-10 Mark ThomMerge pull request #3023 from triska/promote_call_with_...
2025-08-10 David C. NorrisAddress several comments by @triska
2025-08-10 David C. Norrislibrary(numerics), special funs from crate puruspe
2025-08-10 Mark ThomMerge pull request #2746 from triska/quads
2025-08-09 Markus TriskaADDED: resource_error/1
2025-08-09 Markus TriskaADDED: representation_error/1
2025-08-09 Markus TriskaADDED: variants of errors promoting call_with_error_con...
2025-08-09 Mark ThomMerge pull request #3024 from triska/remove_operator_me...
2025-08-09 Mark ThomMerge pull request #3026 from triska/DEDUCTION
2025-08-09 Mark ThomMerge pull request #3029 from triska/process_item
2025-08-08 Skglandallow passing a null through a cstr arg/return
2025-08-08 Skglandfix clippy lint warning
2025-08-08 Markus Triskasupport newly added representation_error/1 in answer...
2025-08-08 Markus Triskapreliminary support for a subset of quads introduced...
2025-08-05 Markus Triskaadd newly available library(process) to the list of...
2025-08-03 Markus Triskamention the DEDUCTION Programme
2025-08-02 Markus TriskaISO: remove nonstandard operator meta_predicate.
2025-08-02 Mark ThomMerge pull request #3021 from mthom/rebis-dev
2025-08-02 Mark ThomMerge pull request #3009 from Skgland/process rebis-dev origin/rebis-dev
2025-08-01 Bennet Bleßmannadd process module to all_modules test
2025-08-01 Bennet Bleßmannuse call_with_error_context
2025-08-01 Bennet Bleßmannuse named vars instead of wildcards
2025-08-01 Bennet Bleßmannfix culprit
2025-08-01 Bennet Bleßmannfix arity of prcess_wait builtin errors
2025-08-01 Bennet Bleßmannmore tests
2025-08-01 Bennet Bleßmannadjust/add tests
2025-08-01 Bennet Bleßmannadjust options checking and add more tests
2025-08-01 Bennet Bleßmannaddress comment by triska
2025-08-01 Bennet Bleßmannuse functor/3 for must_be_known_options
2025-08-01 Bennet Bleßmannreformat ;
2025-08-01 Bennet Bleßmannadd another test and remove unecessary module qualification
2025-08-01 Bennet Bleßmannreplace filter by tfiltert and fix Pipe{Reader,Writer...
2025-08-01 Bennet Bleßmannadjust error kind
2025-08-01 Bennet Bleßmannget process_create working and add tests
2025-08-01 Bennet Bleßmannadd documentation
2025-08-01 Bennet Bleßmannchange behaviour in supposedly unreachable cases
2025-08-01 Bennet Bleßmannadjust error for duplicate options
2025-08-01 Bennet Bleßmannfix rename pid to process
2025-08-01 Bennet Bleßmanndon't remove the child on wait/kill
2025-08-01 Bennet Bleßmannfix timeout default value in process_wait/3
2025-08-01 Bennet Bleßmannincorporate suggestion by triska
2025-08-01 Bennet Bleßmannmake atom!() with a new value less annoying
2025-08-01 Bennet Bleßmannimplement process_release/1, process_wait/2, process_wa...
2025-08-01 Bennet Bleßmannstore child process in machine state
2025-08-01 Bennet Bleßmannhandle some error cases and replace unwrap with expect
2025-08-01 Bennet Bleßmannadjust errors
2025-08-01 Bennet Bleßmannrename pid to process
2025-08-01 Bennet Bleßmannundo changes to error.pl
2025-08-01 Bennet Bleßmannadjust default cwd
2025-08-01 Bennet Bleßmannrestructure option parsing
2025-08-01 Bennet Bleßmannadd comments and try to fix binding the child process pid
2025-08-01 Bennet Bleßmannfix more things
2025-08-01 Bennet Bleßmannget it working
2025-08-01 Bennet Bleßmannfix indices
2025-08-01 Bennet Bleßmann[WIP] add support to spawn new processes
2025-08-01 Bennet Bleßmannignore test making network requests
2025-08-01 Bennet Bleßmannupdate docs
2025-08-01 Bennet Bleßmannsupport cstr as an ffi return type and do some more...
2025-08-01 Bennet Bleßmannno longer skip f32 and f64 now that they work consistently
2025-08-01 Bennet Bleßmannfurther cleanup
2025-08-01 Bennet Bleßmannfurther ffi cleanup
2025-08-01 Bennet Bleßmanndon't panic on unexpected/invalid value
2025-08-01 Bennet Bleßmannalso accept rust type name
2025-08-01 Bennet Bleßmannuse libffi::middle instead of libffi::low were possible
2025-08-01 Bennet Bleßmannadd a simple ffi test using structs
2025-08-01 Bennet Bleßmannfix UB in ffi tests
2025-08-01 Bennet Bleßmannadd new test helper
2025-08-01 Bennet Bleßmannmake ffi support full {i,u}64 range
2025-08-01 Bennet Bleßmannfix {i,u}64 in ffi
2025-08-01 Bennet Bleßmannfix all but {i,u}64
2025-08-01 Bennet Bleßmannfix crash when trying to load and ffi library with...
2025-08-01 Bennet Bleßmannadd more ffi tests
2025-08-01 Bennet Bleßmanncleanup and fix miri & cross-compile
2025-08-01 Bennet Bleßmannadd ffi tests using f64
2025-08-01 Mark ThomMerge pull request #2961 from rotu/patch-5
next