| 2024-03-20 |
Markus Triska | extend partial evaluation to computing lengths when... |
commit | commitdiff | tree | snapshot |
| 2024-03-20 |
Markus Triska | goal expansion for format/2 and format/3 |
commit | commitdiff | tree | snapshot |
| 2024-03-20 |
Markus Triska | strengthen type check |
commit | commitdiff | tree | snapshot |
| 2024-03-20 |
Markus Triska | ENHANCED: Partial evaluation of format_//2. |
commit | commitdiff | tree | snapshot |
| 2024-03-19 |
Mark | expand_call_goals/3 should expand meta-predicate subgoa... |
commit | commitdiff | tree | snapshot |
| 2024-03-17 |
Mark Thom | Merge pull request #2358 from triska/octet_documentation |
commit | commitdiff | tree | snapshot |
| 2024-03-16 |
Markus Triska | indicate deprecated functionality |
commit | commitdiff | tree | snapshot |
| 2024-03-16 |
Markus Triska | DOC: Un-document the ability to use bytes with encoding... |
commit | commitdiff | tree | snapshot |
| 2024-03-16 |
Markus Triska | DOC: Improve descriptions to make clear what encoding... |
commit | commitdiff | tree | snapshot |
| 2024-03-13 |
Mark | don't skip to end of pstr in CommaSeparatedCharList... |
commit | commitdiff | tree | snapshot |
| 2024-03-12 |
Mark Thom | Merge pull request #2357 from aarroyoc/update-website... |
commit | commitdiff | tree | snapshot |
| 2024-03-12 |
Adrián Arroyo... | Website: link release v0.9.4 |
commit | commitdiff | tree | snapshot |
| 2024-03-02 |
Mark | recompile original terms from compile_clause for term... |
commit | commitdiff | tree | snapshot |
| 2024-03-01 |
Mark Thom | Merge pull request #2354 from triska/side_channel |
commit | commitdiff | tree | snapshot |
| 2024-03-01 |
Markus Triska | explain potential side-channel attacks due to compact... |
commit | commitdiff | tree | snapshot |
| 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 |
| next |
projects / scryer-prolog.git / shortlog