]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2023-11-22 infogulchExpose inference counts on Machine; publish to CI commit | commitdiff | tree | snapshot
2023-11-22 infogulchUpgrade to latest iai for summary output commit | commitdiff | tree | snapshot
2023-11-21 infogulchBenchmark improvements commit | commitdiff | tree | snapshot
2023-11-21 infogulchRemove accidentally committed files commit | commitdiff | tree | snapshot
2023-11-21 Markfix error detection in int_pow (#2161) commit | commitdiff | tree | snapshot
2023-11-20 Markadd global_count inference counter that is always incre... commit | commitdiff | tree | snapshot
2023-11-20 Markfix dif:vars_remove_goal/2 (#2175), untabify forms... commit | commitdiff | tree | snapshot
2023-11-19 Markremove unnecessary spaces around (|) (#2164) commit | commitdiff | tree | snapshot
2023-11-16 Mark ThomMerge pull request #2168 from aarroyoc/update-web-2023... commit | commitdiff | tree | snapshot
2023-11-16 Mark ThomMerge pull request #2159 from mthom/dependabot/cargo... commit | commitdiff | tree | snapshot
2023-11-16 dependabot... Bump rustix from 0.38.14 to 0.38.21 commit | commitdiff | tree | snapshot
2023-11-16 Mark ThomMerge pull request #2167 from infogulch/ci-checks-permi... commit | commitdiff | tree | snapshot
2023-11-15 Adrián Arroyo... Remove Scryer Prolog meetup banner :( commit | commitdiff | tree | snapshot
2023-11-15 Mark Thomfix sign/1 (#2157) commit | commitdiff | tree | snapshot
2023-11-15 infogulchAdd checks permission to ci workflow commit | commitdiff | tree | snapshot
2023-11-14 Mark Thomfix shr crash (#2158) commit | commitdiff | tree | snapshot
2023-11-14 Mark ThomMerge pull request #2165 from infogulch/bench-csv commit | commitdiff | tree | snapshot
2023-11-14 Mark ThomMerge pull request #2166 from triska/more_tests commit | commitdiff | tree | snapshot
2023-11-14 Markus Triskamention more passing tests commit | commitdiff | tree | snapshot
2023-11-13 infogulchFix lint commit | commitdiff | tree | snapshot
2023-11-13 infogulchAdd csv parsing benchmark #1403 commit | commitdiff | tree | snapshot
2023-11-13 infogulchSimplify benchmark setup; support mutating machine commit | commitdiff | tree | snapshot
2023-11-12 Mark ThomMerge pull request #2153 from infogulch/benchmark commit | commitdiff | tree | snapshot
2023-11-11 Joe TaberFix formatting issues commit | commitdiff | tree | snapshot
2023-11-11 infogulchAdd benchmarks using library interface commit | commitdiff | tree | snapshot
2023-11-11 infogulchCI: Setup rust in new action; split style & report... commit | commitdiff | tree | snapshot
2023-11-11 Mark Thomcorrect style failures commit | commitdiff | tree | snapshot
2023-11-11 Mark Thomfix permanent variable handling over branches and cells... commit | commitdiff | tree | snapshot
2023-11-05 Markfix compare_pstr_to_string (#2148) commit | commitdiff | tree | snapshot
2023-11-04 Mark ThomMerge pull request #2147 from infogulch/lint-format commit | commitdiff | tree | snapshot
2023-11-04 infogulchSplit style checks, test reports into separate job commit | commitdiff | tree | snapshot
2023-11-04 infogulchBump Cargo.lock to reflect new scryer version commit | commitdiff | tree | snapshot
2023-11-04 infogulchAdd previous commit to .git-blame-ignore-revs commit | commitdiff | tree | snapshot
2023-11-04 infogulchResolve lints and format commit | commitdiff | tree | snapshot
2023-11-02 Markupdate release version linked on website commit | commitdiff | tree | snapshot
2023-11-02 Markupdate release link commit | commitdiff | tree | snapshot
2023-11-02 Markbump version number to v0.9.3 v0.9.3 commit | commitdiff | tree | snapshot
2023-11-02 Mark ThomMerge pull request #1880 from coasys/library-use-case remove commit | commitdiff | tree | snapshot
2023-11-02 Nicolas LuckCheck for target_arch = “wasm32” commit | commitdiff | tree | snapshot
2023-11-02 Nicolas LuckMerge branch 'master' into library-use-case commit | commitdiff | tree | snapshot
2023-11-01 Markcorrect (\+)/1 (#2141) commit | commitdiff | tree | snapshot
2023-10-29 Markremove non-conforming hyperbolic and log10 evaluable... commit | commitdiff | tree | snapshot
2023-10-29 Markfix signed modulus bug (#2134) commit | commitdiff | tree | snapshot
2023-10-28 Mark ThomMerge pull request #2140 from aarroyoc/rename-to-upper commit | commitdiff | tree | snapshot
2023-10-28 Adrián Arroyo... Rename `to_upper` to `upper` and `to_lower` to `lower` commit | commitdiff | tree | snapshot
2023-10-26 Mark ThomMerge pull request #2137 from infogulch/master commit | commitdiff | tree | snapshot
2023-10-26 infogulchCI: compile wasm separately; default 22.04; matrix commit | commitdiff | tree | snapshot
2023-10-25 Markqualify dif/2 call in reinforce_goal (#2135) commit | commitdiff | tree | snapshot
2023-10-24 Markcorrect char_type/2 (#2132) commit | commitdiff | tree | snapshot
2023-10-24 Markremove unnecessary macros inclusion in mock_wam.rs commit | commitdiff | tree | snapshot
2023-10-24 Markcorrect modulus bug (#2118, #2119) commit | commitdiff | tree | snapshot
2023-10-24 Markremove list remnants from stack iteration in printer... commit | commitdiff | tree | snapshot
2023-10-24 Markfix cycle detection in lists by looking backward analog... commit | commitdiff | tree | snapshot
2023-10-23 Markcorrect LIS backward bug in cycle_detection.rs commit | commitdiff | tree | snapshot
2023-10-23 Markadd STOP_AT_CYCLES const parameter for CycleDetectingIter commit | commitdiff | tree | snapshot
2023-10-22 Markuse Deutsch-Schorr-Waite to implement acyclic_term... commit | commitdiff | tree | snapshot
2023-10-18 Markuse topo_sort to correct acyclic_term (#2124, #2125) commit | commitdiff | tree | snapshot
2023-10-17 Nicolas LuckCleanup Cargo.toml commit | commitdiff | tree | snapshot
2023-10-17 Nicolas LuckFix wasm warnings commit | commitdiff | tree | snapshot
2023-10-16 Markfix cyclicity detection through variables (#2122, ... commit | commitdiff | tree | snapshot
2023-10-16 Nicolas LuckUse std::sync::RwLock instead of tokio::sync::RwLock... commit | commitdiff | tree | snapshot
2023-10-16 Nicolas LuckFix signalling of success/failure (by @mthom) commit | commitdiff | tree | snapshot
2023-10-16 Nicolas LuckRevert "Remove unuse import" commit | commitdiff | tree | snapshot
2023-10-16 Nicolas LuckRemove unuse import commit | commitdiff | tree | snapshot
2023-10-16 Nicolas LuckMerge branch 'master' into library-use-case commit | commitdiff | tree | snapshot
2023-10-15 Markmore eagerly check for cyclicity of variables in cycle... commit | commitdiff | tree | snapshot
2023-10-15 Markadd backward looking cyclicity check for variables... commit | commitdiff | tree | snapshot
2023-10-15 Markcorrect is_cyclic again for non-variable ref cells... commit | commitdiff | tree | snapshot
2023-10-15 Markimprove cycle detection in detect_list_cycles (#2111) commit | commitdiff | tree | snapshot
2023-10-15 Marksimplify stackless iterator is_cyclic (#2111) commit | commitdiff | tree | snapshot
2023-10-15 Markcorrect more acyclic_term/1 issues (#2111, #2114),... commit | commitdiff | tree | snapshot
2023-10-14 Markcorrect cyclic variable check in cycle detecting stackl... commit | commitdiff | tree | snapshot
2023-10-14 Markfix bugs & incompleteness of cycle-detecting stackless... commit | commitdiff | tree | snapshot
2023-10-14 notoriaReify (^)/2 commit | commitdiff | tree | snapshot
2023-10-14 notoriaTrigger propagator for popcount/1 commit | commitdiff | tree | snapshot
2023-10-14 notoriaTrigger propagator for sign/1 commit | commitdiff | tree | snapshot
2023-10-14 notoriaTrigger propagator for (xor)/2 commit | commitdiff | tree | snapshot
2023-10-14 Markadd bounds checks for stackless iterator (#2110) commit | commitdiff | tree | snapshot
2023-10-14 Markdetect all cycles in roughly linear time and constant... commit | commitdiff | tree | snapshot
2023-10-13 Markfix bugs in marker algorithm iterator commit | commitdiff | tree | snapshot
2023-10-13 Markcorrect (mod)/2 (#2103, #2107) commit | commitdiff | tree | snapshot
2023-10-13 Mark ThomMerge pull request #2105 from triska/morphing_propagators commit | commitdiff | tree | snapshot
2023-10-12 Markus Triskashift morphing to the more general p/2 case commit | commitdiff | tree | snapshot
2023-10-12 Markus TriskaENHANCED: Omit unnecessary residual constraints in... commit | commitdiff | tree | snapshot
2023-10-11 Markfix control construct bugs, iter indentation (#947) commit | commitdiff | tree | snapshot
2023-10-11 MarkMerge branch 'master' of ssh://github.com/mthom/scryer... commit | commitdiff | tree | snapshot
2023-10-11 Markfollow marked variables to end in eager_stackful_iter... commit | commitdiff | tree | snapshot
2023-10-10 Markfollow marked variables to end in eager_stackful_iter... commit | commitdiff | tree | snapshot
2023-10-10 Mark ThomMerge pull request #2098 from triska/morphing_propagators commit | commitdiff | tree | snapshot
2023-10-10 Markus Triskause round brackets around operators to form valid Prolo... commit | commitdiff | tree | snapshot
2023-10-10 Markus Triskaupdate comment to reflect the used propagators commit | commitdiff | tree | snapshot
2023-10-10 Markus Triskaremove definition and calls of do_queue/0, which has... commit | commitdiff | tree | snapshot
2023-10-10 Markus TriskaENHANCED: Queue morphed propagators to give them a... commit | commitdiff | tree | snapshot
2023-10-10 Markreport pre-marked values from eager stackful iterator... commit | commitdiff | tree | snapshot
2023-10-09 Mark ThomMerge pull request #2094 from triska/unary_minus commit | commitdiff | tree | snapshot
2023-10-09 Markus TriskaZ --> Y commit | commitdiff | tree | snapshot
2023-10-09 Mark ThomMerge pull request #2092 from triska/morphing_pexp commit | commitdiff | tree | snapshot
2023-10-09 Markus TriskaENHANCED: use (+)/2 to express unary minus commit | commitdiff | tree | snapshot
2023-10-09 Markus Triskaattach the propagator to Y commit | commitdiff | tree | snapshot
2023-10-09 Mark ThomMerge pull request #2091 from triska/morphing_pexp commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust