| 2024-03-01 |
Mark Thom | Merge pull request #2353 from triska/hmac_verification |
commit | commitdiff | tree | snapshot |
| 2024-03-01 |
Markus Triska | ENHANCED: Safe HMAC verification, using constant time... |
commit | commitdiff | tree | snapshot |
| 2024-03-01 |
Mark Thom | Merge pull request #2351 from infogulch/install-current-iai |
commit | commitdiff | tree | snapshot |
| 2024-02-29 |
infogulch | Install version of iai-callgrind set in Cargo.toml |
commit | commitdiff | tree | snapshot |
| 2024-02-29 |
Mark | make indexer downcast Integers to Fixnums when possible... |
commit | commitdiff | tree | snapshot |
| 2024-02-29 |
Mark | add #2341 test to lib_machine.rs |
commit | commitdiff | tree | snapshot |
| 2024-02-29 |
Mark | use scryer-modular-bitfield on github, version bump v0.9.4 |
commit | commitdiff | tree | snapshot |
| 2024-02-29 |
Mark | fix misuse of TypeError trait while fixing #2345 |
commit | commitdiff | tree | snapshot |
| 2024-02-29 |
Mark | issue callable type error from dynamic_module_resolutio... |
commit | commitdiff | tree | snapshot |
| 2024-02-28 |
Mark Thom | Merge pull request #2309 from coasys/library-use-case |
commit | commitdiff | tree | snapshot |
| 2024-02-24 |
Mark Thom | Merge pull request #2342 from triska/curve_doc |
commit | commitdiff | tree | snapshot |
| 2024-02-24 |
Markus Triska | DOC: Add DocLog comments for reasoning about elliptic... |
commit | commitdiff | tree | snapshot |
| 2024-02-22 |
Mark Thom | Merge pull request #2338 from triska/hmac |
commit | commitdiff | tree | snapshot |
| 2024-02-22 |
Markus Triska | ADDED: Hash-based message authentication code (HMAC... |
commit | commitdiff | tree | snapshot |
| 2024-02-18 |
Mark Thom | Merge pull request #2337 from triska/master |
commit | commitdiff | tree | snapshot |
| 2024-02-18 |
Markus Triska | link to newly available paper on analysis of dose-escal... |
commit | commitdiff | tree | snapshot |
| 2024-02-16 |
Bennet Bleßmann | fix build of run_iai bench for wasm32 |
commit | commitdiff | tree | snapshot |
| 2024-02-16 |
Bennet Bleßmann | fix benchmarks being broken for every target except... |
commit | commitdiff | tree | snapshot |
| 2024-02-16 |
Bennet Bleßmann | cfg out benches for wasm32 |
commit | commitdiff | tree | snapshot |
| 2024-02-16 |
Bennet Bleßmann | fix compilation of wasm32 test and skip to run wasm32... |
commit | commitdiff | tree | snapshot |
| 2024-02-16 |
Bennet Bleßmann | undo `continue-on-error` |
commit | commitdiff | tree | snapshot |
| 2024-02-16 |
Bennet Bleßmann | bump ahash lock to 0.8.7 |
commit | commitdiff | tree | snapshot |
| 2024-02-12 |
Mark Thom | Merge pull request #2327 from triska/char_type |
commit | commitdiff | tree | snapshot |
| 2024-02-11 |
Markus Triska | FIXED: char_type/2 for unbound first argument. |
commit | commitdiff | tree | snapshot |
| 2024-02-09 |
Nicolas Luck | continue-on-error if target=wasm32 or rust=nightly |
commit | commitdiff | tree | snapshot |
| 2024-02-09 |
Nicolas Luck | Reactivate nightly test job with continue-on-error set |
commit | commitdiff | tree | snapshot |
| 2024-02-09 |
Nicolas Luck | Use stable Rust for style/report and deactivate nightly... |
commit | commitdiff | tree | snapshot |
| 2024-02-09 |
Nicolas Luck | Merge branch 'master' into library-use-case |
commit | commitdiff | tree | snapshot |
| 2024-02-09 |
Mark Thom | Update src/machine/parsed_results.rs |
commit | commitdiff | tree | snapshot |
| 2024-02-08 |
Mark | fix tests broken by singleton |
commit | commitdiff | tree | snapshot |
| 2024-02-08 |
Mark Thom | Merge pull request #2322 from triska/char_code |
commit | commitdiff | tree | snapshot |
| 2024-02-07 |
Markus Triska | ENHANCED: Bidirectional char_type/2, addressing #2321. |
commit | commitdiff | tree | snapshot |
| 2024-02-07 |
Mark Thom | Merge pull request #2319 from triska/clpz_t |
commit | commitdiff | tree | snapshot |
| 2024-02-06 |
Markus Triska | ADDED: clpz_t/2, generalizing support for use with... |
commit | commitdiff | tree | snapshot |
| 2024-02-06 |
Mark | fmt |
commit | commitdiff | tree | snapshot |
| 2024-02-04 |
Mark Thom | Merge pull request #2317 from aarroyoc/all-modules... |
commit | commitdiff | tree | snapshot |
| 2024-02-04 |
Adrián Arroyo... | Add all_mdoules test and fix library(csv) |
commit | commitdiff | tree | snapshot |
| 2024-02-03 |
Mark | fix reverted tests, ensure files are loaded before... |
commit | commitdiff | tree | snapshot |
| 2024-02-03 |
Mark | fix broken tests |
commit | commitdiff | tree | snapshot |
| 2024-02-02 |
Mark | treat consultation of command line modules as regular... |
commit | commitdiff | tree | snapshot |
| 2024-02-02 |
Mark | fmt |
commit | commitdiff | tree | snapshot |
| 2024-02-02 |
Mark | load .scryerrc before files and goals (#1775, #2313) |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Mark | record stub choice point as block |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | Test show problem with nonexistent predicate |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | fmt |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | clippy |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | Fix all orderings in integration assertions |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | Remove test with long program literals, not needed |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | More ordering adjustments |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Mark | fix style errors |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Mark | index stub choice point correctly |
commit | commitdiff | tree | snapshot |
| 2024-01-31 |
Nicolas Luck | Extract failing assertion as single test case |
commit | commitdiff | tree | snapshot |
| 2024-01-30 |
Nicolas Luck | Adjust some first result orderings in integration asser... |
commit | commitdiff | tree | snapshot |
| 2024-01-29 |
Mark | check for True or False Query Resolution unconditionally |
commit | commitdiff | tree | snapshot |
| 2024-01-29 |
Nicolas Luck | fmt |
commit | commitdiff | tree | snapshot |
| 2024-01-29 |
Nicolas Luck | Add more test cases to differentiate usage of discontiguous |
commit | commitdiff | tree | snapshot |
| 2024-01-29 |
Nicolas Luck | Minimal reproduction of faulty behaviour seen in integr... |
commit | commitdiff | tree | snapshot |
| 2024-01-26 |
Nicolas Luck | Merge branch 'master' into library-use-case |
commit | commitdiff | tree | snapshot |
| 2024-01-26 |
Nicolas Luck | Add expected results to integration test |
commit | commitdiff | tree | snapshot |
| 2024-01-26 |
Mark | scan registers of instructions leading to verify_attrib... |
commit | commitdiff | tree | snapshot |
| 2024-01-26 |
Mark | add non chunk traversing cut family instructions to... |
commit | commitdiff | tree | snapshot |
| 2024-01-25 |
Mark Thom | Merge pull request #2308 from triska/small_format_impro... |
commit | commitdiff | tree | snapshot |
| 2024-01-25 |
Markus Triska | update answers using latest toplevel output |
commit | commitdiff | tree | snapshot |
| 2024-01-25 |
Markus Triska | rely on recently improved argument indexing for determinism |
commit | commitdiff | tree | snapshot |
| 2024-01-25 |
Mark | move call_residue_vars/2 from atts.pl to iso_ext.pl |
commit | commitdiff | tree | snapshot |
| 2024-01-25 |
Mark | don't mark temp variables as safe through argument_to_v... |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
Mark Thom | Merge pull request #2306 from triska/dcg_representation |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
Mark Thom | Merge pull request #2305 from mthom/dependabot/cargo... |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
Markus Triska | improve error context |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
Markus Triska | no longer use (->)//2, since it is implementation defined |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
dependabot... | Bump h2 from 0.3.22 to 0.3.24 |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
Mark Thom | Merge pull request #2303 from mthom/dependabot/cargo... |
commit | commitdiff | tree | snapshot |
| 2024-01-22 |
dependabot... | Bump shlex from 1.2.0 to 1.3.0 |
commit | commitdiff | tree | snapshot |
| 2024-01-22 |
Mark Thom | Merge pull request #2302 from triska/dcg_representation |
commit | commitdiff | tree | snapshot |
| 2024-01-21 |
Markus Triska | use newly available false//0 |
commit | commitdiff | tree | snapshot |
| 2024-01-21 |
Markus Triska | no longer use (->)//2, since it is implementation dependent |
commit | commitdiff | tree | snapshot |
| 2024-01-21 |
Markus Triska | remove checks that are now no longer needed due to... |
commit | commitdiff | tree | snapshot |
| 2024-01-21 |
Markus Triska | ENHANCED: Throw representation errors for DCG bodies... |
commit | commitdiff | tree | snapshot |
| 2024-01-21 |
Markus Triska | MODIFIED: (->)/2 in DCGs is now only supported in the... |
commit | commitdiff | tree | snapshot |
| 2024-01-19 |
Mark Thom | Merge pull request #2301 from aarroyoc/docs-copy-term-3 |
commit | commitdiff | tree | snapshot |
| 2024-01-19 |
Mark Thom | Merge pull request #2300 from aarroyoc/fix-2298 |
commit | commitdiff | tree | snapshot |
| 2024-01-19 |
Adrián Arroyo... | Move copy_term/3 to library(iso_ext) |
commit | commitdiff | tree | snapshot |
| 2024-01-19 |
Adrián Arroyo... | Throw error in call_residue_vars/2 |
commit | commitdiff | tree | snapshot |
| 2024-01-17 |
Mark | add better no op detection in char_reader.rs (#2297) |
commit | commitdiff | tree | snapshot |
| 2024-01-14 |
Mark | add #2293 tests, advance continuable HeapPStrIters... |
commit | commitdiff | tree | snapshot |
| 2024-01-13 |
Mark | fix additional tests, make better use of existing code... |
commit | commitdiff | tree | snapshot |
| 2024-01-13 |
Mark | fix additional tests (#2293) |
commit | commitdiff | tree | snapshot |
| 2024-01-12 |
Mark | add missing CStr branch to unify_partial_string (#2293) |
commit | commitdiff | tree | snapshot |
| 2024-01-11 |
Mark Thom | Merge pull request #2276 from triska/hophrase |
commit | commitdiff | tree | snapshot |
| 2024-01-10 |
Mark Thom | Merge pull request #2281 from bakaq/miri |
commit | commitdiff | tree | snapshot |
| 2024-01-09 |
bakaq | Make "cargo miri test" actually run |
commit | commitdiff | tree | snapshot |
| 2024-01-09 |
Mark | fix cargo fmt --check |
commit | commitdiff | tree | snapshot |
| 2024-01-09 |
Mark Thom | Merge pull request #2280 from notoria/clpz |
commit | commitdiff | tree | snapshot |
| 2024-01-09 |
Mark | check for PStr in eager stackful preorder iterator... |
commit | commitdiff | tree | snapshot |
| 2024-01-08 |
notoria | Special case for `(^)/2` |
commit | commitdiff | tree | snapshot |
| 2024-01-08 |
Mark Thom | Merge pull request #2278 from notoria/clpz |
commit | commitdiff | tree | snapshot |
| 2024-01-08 |
Mark Thom | Merge pull request #2277 from triska/master |
commit | commitdiff | tree | snapshot |
| 2024-01-07 |
notoria | Fix bound computation in `(^)/2` |
commit | commitdiff | tree | snapshot |
| 2024-01-07 |
notoria | Remove `min/2` and `max/2` when possible |
commit | commitdiff | tree | snapshot |
| 2024-01-07 |
notoria | Fix `min/2` and `max/2` |
commit | commitdiff | tree | snapshot |
| next |
projects / scryer-prolog.git / shortlog