Commit Graph

Select branches

Hide Pull Requests

exian-v0.10.0-patched

master

remove

v0.10.0

v0.8.110

v0.8.111

v0.8.112

v0.8.113

v0.8.114

v0.8.115

v0.8.116

v0.8.118

v0.8.119

v0.8.123

v0.8.127

v0.9.0

v0.9.1

v0.9.2

v0.9.3

v0.9.4

Mono Color

• 9837187183 add nth_partial_strings_tests for bugs raised in #1827, #2381 Mark Thom 2024-04-10 15:47:49 -06:00
• c2657cce37 use common test_framework module for several test suites Mark Thom 2024-04-10 15:46:52 -06:00
• 7d6109feca fix char_offset values in add_pstr_offset_chars (#2381) Mark Thom 2024-04-10 15:46:11 -06:00
• cf14b222f2 fix skip_max_list crash on bigint max_steps (#2382) Mark Thom 2024-04-09 18:57:53 -06:00
• 238343f389 add max_steps to PStr offset (#2381) Mark Thom 2024-04-09 18:40:08 -06:00
• 77e90ca725 correct offsets around max_steps in skip_max_list (#2381) Mark Thom 2024-04-09 15:58:17 -06:00
• f734c273ca Merge pull request #2379 from aarroyoc/scryer-prolog-meetup-2024 Mark Thom 2024-04-07 18:10:54 -06:00
• e23e5203de website: add Scryer Prolog Meetup 2024 banner Adrián Arroyo Calle 2024-04-07 19:44:13 +02:00
• a2dd189241 add Scryer Prolog Meetup 2024 to README Mark Thom 2024-04-05 12:27:15 -06:00
• 0ed4e41000 Merge pull request #2376 from mthom/dependabot/cargo/h2-0.3.26 Mark Thom 2024-04-05 11:19:50 -06:00
• 352919862f Bump h2 from 0.3.24 to 0.3.26 dependabot[bot] 2024-04-05 16:18:08 +00:00
• aab6567750 treat Utf8Error::valid_up_to as an offset form self.pos, which it is (#2374) Mark Thom 2024-04-03 15:29:29 -06:00
• ea9e24f214 Merge pull request #2367 from triska/dcg_meta_predicates Mark Thom 2024-03-26 15:21:37 -06:00
• 40fc4f9392 correct offset retrieval in add_pstr_chars_and_step (#2370) Mark 2024-03-25 12:46:24 -06:00
• 795a7c690d ADDED: meta_predicate/1 declarations for (',')//2 and (;)//2 Markus Triska 2024-03-21 22:14:23 +01:00
• 2fdbb94c79 Merge pull request #2363 from triska/compile_format Mark Thom 2024-03-20 18:52:08 -06:00
• 767d90d5e7 ENHANCED: further partial evaluation for the common control sequence ~d Markus Triska 2024-03-20 20:26:01 +01:00
• bc04790fd5 extend partial evaluation to computing lengths when statically possible Markus Triska 2024-03-20 19:48:33 +01:00
• 58f7c94e74 goal expansion for format/2 and format/3 Markus Triska 2024-03-18 21:43:30 +01:00
• 8af29c200d strengthen type check Markus Triska 2024-03-18 21:35:12 +01:00
• 1db6bff890 ENHANCED: Partial evaluation of format_//2. Markus Triska 2024-03-18 21:34:13 +01:00
• 0292cb73d3 expand_call_goals/3 should expand meta-predicate subgoals (#2361) Mark 2024-03-19 17:12:26 -06:00
• 7b33eafbb0 Merge pull request #2358 from triska/octet_documentation Mark Thom 2024-03-16 19:56:49 -06:00
• ee60c463c8 indicate deprecated functionality Markus Triska 2024-03-16 21:23:12 +01:00
• e1a6b5eb03 DOC: Un-document the ability to use bytes with encoding(octet). Markus Triska 2024-03-16 20:30:46 +01:00
• 4ebdd97ad3 DOC: Improve descriptions to make clear what encoding(octet) means. Markus Triska 2024-03-16 20:24:44 +01:00
• 6f7f979c05 don't skip to end of pstr in CommaSeparatedCharList token variant (#2356) Mark 2024-03-12 18:36:53 -06:00
• ca8e280b4c Merge pull request #2357 from aarroyoc/update-website-0.9.4 Mark Thom 2024-03-12 16:46:31 -06:00
• b26e8b0e34 Website: link release v0.9.4 Adrián Arroyo Calle 2024-03-12 22:23:12 +01:00
• df41eb1870 recompile original terms from compile_clause for term to term expansions (#2236) Mark 2024-03-01 18:56:52 -07:00
• 90c602f867 Merge pull request #2354 from triska/side_channel Mark Thom 2024-03-01 16:11:22 -07:00
• 6b8a679a51 explain potential side-channel attacks due to compact string representation Markus Triska 2024-02-25 11:13:38 +01:00
• 8b16a0e1f6 Merge pull request #2353 from triska/hmac_verification Mark Thom 2024-03-01 12:09:16 -07:00
• ec251b254c ENHANCED: Safe HMAC verification, using constant time string comparison. Markus Triska 2024-02-24 08:18:38 +01:00
• e0c8163211 Merge pull request #2351 from infogulch/install-current-iai Mark Thom 2024-02-29 17:09:47 -07:00
• 01f757c940 Install version of iai-callgrind set in Cargo.toml infogulch 2024-02-29 17:20:01 -06:00
• 42f4827854 make indexer downcast Integers to Fixnums when possible, be slightly more judicious about allocating Integers instead of Fixnums (#2340) Mark 2024-02-29 16:15:28 -07:00
• f2d3779fa9 add #2341 test to lib_machine.rs Mark 2024-02-29 15:12:58 -07:00
• b70f121e46 use scryer-modular-bitfield on github, version bump v0.9.4 Mark 2024-02-29 10:08:08 -07:00
• 641765858f fix misuse of TypeError trait while fixing #2345 Mark 2024-02-28 20:47:36 -07:00
• ba362e2fe0 issue callable type error from dynamic_module_resolution if module is not an atom (#2345) Mark 2024-02-28 20:35:38 -07:00
• 84d5ce0d1e Merge pull request #2309 from coasys/library-use-case Mark Thom 2024-02-28 14:34:54 -07:00
• 419623d158 Merge pull request #2342 from triska/curve_doc Mark Thom 2024-02-24 14:53:18 -07:00
• 1dd0c599c6 DOC: Add DocLog comments for reasoning about elliptic curves. Markus Triska 2024-02-24 20:30:48 +01:00
• c7934ca246 Merge pull request #2338 from triska/hmac Mark Thom 2024-02-22 14:48:12 -07:00
• 27852eafd7 ADDED: Hash-based message authentication code (HMAC), using hmac(Key). Markus Triska 2024-02-22 20:17:20 +01:00
• d4bde5008d Merge pull request #2337 from triska/master Mark Thom 2024-02-18 10:05:09 -07:00
• 74a525a672 link to newly available paper on analysis of dose-escalation protocols Markus Triska 2024-02-18 09:18:41 +01:00
• e9982dc447 fix build of run_iai bench for wasm32 Bennet Bleßmann 2024-02-17 00:15:03 +01:00
• 7028baaf8f fix benchmarks being broken for every target except wam32 Bennet Bleßmann 2024-02-17 00:01:10 +01:00
• 7837c76c74 cfg out benches for wasm32 Bennet Bleßmann 2024-02-16 23:43:22 +01:00
• e5ad70c093 fix compilation of wasm32 test and skip to run wasm32 tests Bennet Bleßmann 2024-02-16 23:18:21 +01:00
• 7fce688769 undo continue-on-error Bennet Bleßmann 2024-02-16 22:23:22 +01:00
• 90c874777c bump ahash lock to 0.8.7 Bennet Bleßmann 2024-02-16 22:15:32 +01:00
• 70795134af Merge pull request #2327 from triska/char_type Mark Thom 2024-02-11 17:33:07 -07:00
• 8f2e9c6b94 FIXED: char_type/2 for unbound first argument. Markus Triska 2024-02-11 22:19:19 +01:00
• ce34ca8f1f continue-on-error if target=wasm32 or rust=nightly Nicolas Luck 2024-02-09 13:48:45 +01:00
• 7c632cf165 Reactivate nightly test job with continue-on-error set Nicolas Luck 2024-02-09 13:44:37 +01:00
• b3c5a8db80 Use stable Rust for style/report and deactivate nightly x86_64 target in CI Nicolas Luck 2024-02-09 13:14:06 +01:00
• 1d2961e047 Merge branch 'master' into library-use-case Nicolas Luck 2024-02-09 12:41:01 +01:00
• b43f0979d9 Update src/machine/parsed_results.rs Mark ThomandBennet Bleßmann 2024-02-08 17:38:01 -07:00
• 539a1aee2c fix tests broken by singleton Mark 2024-02-07 21:46:32 -07:00
• 8e323b9dfa Merge pull request #2322 from triska/char_code Mark Thom 2024-02-07 18:49:13 -07:00
• 53b7d9eec9 ENHANCED: Bidirectional char_type/2, addressing #2321. Markus Triska 2024-02-07 20:05:07 +01:00
• 89d3451767 Merge pull request #2319 from triska/clpz_t Mark Thom 2024-02-06 18:11:40 -07:00
• aa98a7e7d6 ADDED: clpz_t/2, generalizing support for use with library(reif) Markus Triska 2024-02-06 19:05:29 +01:00
• 614850ab1d fmt Mark 2024-02-01 09:31:04 -07:00
• 140a15f9cb Merge pull request #2317 from aarroyoc/all-modules-test Mark Thom 2024-02-04 15:09:13 -07:00
• ec4a8745e7 Add all_mdoules test and fix library(csv) Adrián Arroyo Calle 2024-02-04 21:04:02 +01:00
• 673329ddb7 fix reverted tests, ensure files are loaded before goals (#2315) Mark 2024-02-03 11:49:26 -07:00
• 6a421dd8b0 fix broken tests Mark 2024-02-02 17:04:47 -07:00
• de6c460a51 treat consultation of command line modules as regular goals (#2314) Mark 2024-02-02 15:35:00 -07:00
• 75a94fd0b3 fmt Mark 2024-02-02 11:49:02 -07:00
• 7573c64087 load .scryerrc before files and goals (#1775, #2313) Mark 2024-02-02 10:54:28 -07:00
• cbb422f69d record stub choice point as block Mark 2024-02-01 09:26:58 -07:00
• 06f198bc57 Test show problem with nonexistent predicate Nicolas Luck 2024-02-01 14:14:50 +01:00
• 6586657658 fmt Nicolas Luck 2024-02-01 13:53:21 +01:00
• a0e598b97e clippy Nicolas Luck 2024-02-01 13:51:37 +01:00
• 8a6ea29c45 Fix all orderings in integration assertions Nicolas Luck 2024-02-01 13:43:51 +01:00
• e1b0ba466b Remove test with long program literals, not needed Nicolas Luck 2024-02-01 13:00:49 +01:00
• f35d6287ab More ordering adjustments Nicolas Luck 2024-02-01 12:59:10 +01:00
• 53028a9c2a fix style errors Mark 2024-01-31 17:32:32 -07:00
• 33fc2ed10c index stub choice point correctly Mark 2024-01-31 17:30:13 -07:00
• bc02fb3754 Extract failing assertion as single test case Nicolas Luck 2024-01-31 15:03:28 +01:00
• 48b2379fe5 Adjust some first result orderings in integration assertions Nicolas Luck 2024-01-30 12:54:12 +01:00
• 7de693eb23 check for True or False Query Resolution unconditionally Mark 2024-01-29 15:06:56 -07:00
• 7bb9c00356 fmt Nicolas Luck 2024-01-29 18:44:20 +01:00
• 9aacfff35d Add more test cases to differentiate usage of discontiguous Nicolas Luck 2024-01-29 16:49:03 +01:00
• 2e728c7051 Minimal reproduction of faulty behaviour seen in integration tests Nicolas Luck 2024-01-29 15:26:06 +01:00
• 7e973a6da6 Merge branch 'master' into library-use-case Nicolas Luck 2024-01-26 17:21:47 +01:00
• cb014095ad Add expected results to integration test Nicolas Luck 2024-01-26 17:18:57 +01:00
• 6fe8f64835 scan registers of instructions leading to verify_attributes interrupt to find the number of registers to save (#2307) Mark 2024-01-25 23:59:54 -07:00
• 6111f72b24 add non chunk traversing cut family instructions to is_head_instr (#2307) Mark 2024-01-25 23:25:06 -07:00
• 43041971b7 Merge pull request #2308 from triska/small_format_improvements Mark Thom 2024-01-25 14:17:18 -07:00
• 3505cc3ba0 update answers using latest toplevel output Markus Triska 2024-01-25 21:33:27 +01:00
• 05ba5f4358 rely on recently improved argument indexing for determinism Markus Triska 2024-01-25 21:31:08 +01:00
• bc616ca7d8 move call_residue_vars/2 from atts.pl to iso_ext.pl Mark 2024-01-25 12:37:46 -07:00
• 99131131af don't mark temp variables as safe through argument_to_value (#2307) Mark 2024-01-25 12:34:21 -07:00
• 44b945a5f3 Merge pull request #2306 from triska/dcg_representation Mark Thom 2024-01-23 15:22:17 -07:00
• 3bff923331 Merge pull request #2305 from mthom/dependabot/cargo/h2-0.3.24 Mark Thom 2024-01-23 13:50:17 -07:00