]> Repositorios git - scryer-prolog.git/shortlog
scryer-prolog.git
2025-10-21 Mark ThomMerge pull request #3117 from aarroyoc/update-releases...
2025-10-07 Adrián Arroyo... Update web to show 0.10.0 releases
2025-10-03 Mark ThomMerge pull request #3108 from Skgland/issue-3073
2025-10-03 Mark ThomMerge pull request #3111 from Skgland/ffi-non-fixed...
2025-09-30 Mark ThomMerge pull request #3109 from Skgland/issue-3107
2025-09-28 Skglandupdate documentation
2025-09-28 Skglandconsistently treat bool as i8
2025-09-28 Skglandadd ffi types for non-fixed-sized integers
2025-09-28 Skglandfix missing quotes
2025-09-27 Skglandfixup quad
2025-09-27 Skglandmove CI job release from retired ubuntu-20.04 image...
2025-09-27 Skglandfix mthom/scryer-prolog#3073
2025-09-27 Skglandadd regression test for issue 3073
2025-09-27 Mark Thomversion bump to 0.10.0 v0.10.0
2025-09-23 Mark ThomMerge pull request #3095 from thierrymarianne/dereferin...
2025-09-21 Thierry Mariannerun rustfmt
2025-09-21 Thierry Mariannedereferencing registers to access stack variables
2025-09-21 Thierry Marianneadd tests for `file` module predicates
2025-09-18 Mark ThomMerge pull request #3084 from thierrymarianne/set_stream
2025-09-18 Mark Thomadd missing P increment to GetPartialString (#3089)
2025-09-18 Mark Thompush cyclic pstr's tail to iterator stack of printer...
2025-09-18 Mark Thomfix attempted bind to bound StackVar (#3089)
2025-09-17 Mark Thomdo not use self.fail in compare_term_test
2025-09-16 Mark Thomimplement unify_ginteger to address FIXME in skip_max_l...
2025-09-16 Mark Thomfix off-by-one lam loop (#3081)
2025-09-15 Thierry Mariannehandle `Stream` variants qualified as input stream...
2025-09-15 Thierry Mariannethrow permission_error when non-input stream is read
2025-09-14 Thierry Mariannemerge if let, match structures
2025-09-14 Thierry Mariannematch against `Stream` `HttpRead()`, `InputFile(_)...
2025-09-14 Thierry Mariannedo not reset user input `Stream` of kind different...
2025-09-14 Thierry Mariannehandle named tcp and http read stream on term reading...
2025-09-14 Thierry Mariannehandle input file stream on term reading from user...
2025-09-14 Thierry Mariannereproduce panick originating in set_input/1 call from...
2025-09-12 Mark Thomadd FIXME for (presently inert & never invoked) race...
2025-09-12 Mark Thomfix f64 indexing, introduce bespoke F64Table type ...
2025-08-29 Mark ThomMerge pull request #3063 from Skgland/ffi++
2025-08-28 Skglandallow 3rd argument of ffi:read_ptr to not be a variable
2025-08-27 Mark ThomMerge pull request #3059 from pmikkelsen/raw-input
2025-08-25 Skglandexport array_type/3
2025-08-25 Skglandfix left over todo
2025-08-25 Skglandcleanup ffi error handling and use Atom instead of...
2025-08-25 Peter MikkelsenStyle tweak
2025-08-25 Skglanduse representation_error rather than resource_error
2025-08-24 Skglandfix builds without ffi feature
2025-08-24 Skglandadd meta_predicate declaration for with_locals/2
2025-08-24 Skglandadd documentation
2025-08-24 Skglandrun rustfmt
2025-08-24 Skglandfix define_foreign_struct
2025-08-24 Skglandmake ffi error structure not found point to the correct...
2025-08-24 Skglandfix map_ffi_arg
2025-08-24 Skglandmake map_ffi_args a method and throw an instantiation...
2025-08-24 Skglanddon't crash on empty list and differentiate list head...
2025-08-24 Skglanduse setup_call_cleanup/3 for with_locals
2025-08-24 Skglandadd a test for with_locals
2025-08-24 Skglandinclude a culprit in ffi_error
2025-08-24 Skglandfix with_locals
2025-08-24 Skglandrequire array_length to be > 0
2025-08-24 Skglandfix some things in ffi.pl
2025-08-24 Skglandadd ffi helpers
2025-08-24 Skglanddon't place allocate, read_ptr and deallocate between...
2025-08-24 Skglandadd ffi:{allocate,read_ptr,deallocate}
2025-08-24 Skglanddon't fail the build script if we couldn't parse a...
2025-08-24 Peter MikkelsenUpdate src/read.rs
2025-08-23 Mark Thomvery small cargo fmt
2025-08-23 Mark Thomclear rustc warnings (#3051)
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 Peter MikkelsenDon't use "readline" input functionality for the follow...
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
next