]> Repositorios git - scryer-prolog.git/shortlog
scryer-prolog.git
2026-01-10 Skglandfix spelling
2026-01-10 Skglandfix clippy lints
2026-01-10 Skglandextaract the static part of the instructions template...
2025-12-17 Mark ThomMerge pull request #3207 from Skgland/quote-fix-unquote...
2025-12-09 Skglandthrow `error(resource_error(memory), [])` when the...
2025-12-09 Mark ThomMerge pull request #3177 from triska/use_phrase_to_file
2025-12-08 Skglandremove overengineered RecursionGuard
2025-12-08 Skglandfix another integer overflow
2025-12-07 Skglanddon't calculate panic message eagerly
2025-12-07 Skglandhandle overflown in Heap::with_cell_capacity
2025-12-07 Skglandhandle oob heap index calculation
2025-12-07 Skglanduse checked multiplication in heap_index! macro
2025-12-07 Skglandprevent multiply with overflow resulting in odd errors...
2025-12-07 Skglanddetect recursive throw_resource_error and panic instead...
2025-12-04 Mark Thomfix backtrack_on_resource_error around choice instructions
2025-12-04 Mark ThomMerge pull request #3185 from mthom/install_verify_attr_opt
2025-12-04 Mark ThomMerge pull request #3164 from Skgland/alloc_errors2
2025-12-02 Mark ThomMerge pull request #3147 from jjtolton/error-terminatio...
2025-12-02 Mark ThomMerge pull request #3179 from triska/meetups
2025-12-02 Mark ThomMerge pull request #3180 from triska/foldl_6
2025-11-28 Mark Thomcorrections to arithmetic expression compilation install_verify_attr_opt origin/install_verify_attr_opt
2025-11-28 Mark Thomcorrections to dispatch loop
2025-11-26 Mark Thomrevise InstallVerifyAttrs to remove need for predicate...
2025-11-25 Mark Thomremove interms field from MachineState
2025-11-23 Markus TriskaADDED: foldl/6, addressing #2973
2025-11-23 Markus Triskaupdate meetups
2025-11-23 Markus Triskause more recently available phrase_[to|from]_file/3...
2025-11-20 Skglandfix pstr_iter_tests test
2025-11-20 Skglandremove RESOURCE_ERROR_OFFSET_INIT
2025-11-20 Skglandfix unecessary parens in macro
2025-11-20 Skglandreturn an AllocError instead of panicing in Heap::with_...
2025-11-20 Skglandwrap resource_error into an error/2 functor and don...
2025-11-19 Skglandpropagate AllocErrro instead of unwrapping
2025-11-19 Skglandhandle machine heap/stack allocation error
2025-11-19 Skglandstub a clippy config
2025-11-19 Skglanduse as_bytes().to_vec() instead of bytes().collect()
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
next