]> Repositorios git - scryer-prolog.git/shortlog
scryer-prolog.git
2025-11-19 Skglandremove some uncessary allocations/copies
2025-11-19 Skglandignore incompatible msrv in compat module
2025-11-19 Skglandimprove count_to_letter_code
2025-11-18 Skglandignore unused_parens warning
2025-11-18 Skglandremove two unecessary clones
2025-11-14 J.J. ToltonFix -t flag help text to reflect it accepts any goal
2025-11-09 J.J. ToltonMove -t and -g flags before filenames in tests
2025-11-09 J.J. ToltonRemove redundant unit test file
2025-11-09 J.J. ToltonMove g_caused_exception/2 dynamic directive to toplevel.pl
2025-11-09 J.J. ToltonUpdate tests to use format/2 instead of write/1
2025-11-09 J.J. ToltonAdd comprehensive tests for g_caused_exception/2
2025-11-09 J.J. ToltonAdd g_caused_exception/2 for custom toplevel error...
2025-11-09 J.J. ToltonFix bug where -t argument was processed as filename
2025-11-09 J.J. ToltonAdd comprehensive tests for -t custom toplevel flag
2025-11-09 J.J. Tolton-t custom toplevel option
2025-10-21 Mark ThomMerge pull request #3120 from aarroyoc/master
2025-10-21 Mark ThomMerge pull request #3124 from bakaq/mark-partial-string...
2025-10-21 Mark ThomMerge pull request #3117 from aarroyoc/update-releases...
2025-10-14 bakaqFix marking of partial string tail in iteration
2025-10-11 Adrián Arroyo... Delete test page from learning section
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
next