rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • f411fb1eb3 Tests for when/2 and solved bug bakaq 2023-12-11 12:28:59 -03:00
  • 6a30ccc907 Add when/2 and when_si/2 bakaq 2023-12-10 20:55:50 -03:00
  • 1e1426cab0 Merge pull request #2207 from infogulch/ci-build-before-test Mark Thom 2023-12-06 13:45:46 -07:00
  • 2e750671ca Merge pull request #2211 from Skgland/file-based-cli-tests Mark Thom 2023-12-06 13:27:14 -07:00
  • 147e47c8eb fix missing .pl file for singleton test case and move .pl files under <testcase>.in/ Skgland 2023-12-06 21:21:04 +01:00
  • 7208916230 Clean up test step by compiling in build step infogulch 2023-12-05 20:51:04 -06:00
  • 43556f6df0 Merge pull request #2205 from Skgland/file-based-cli-tests Mark Thom 2023-12-05 14:45:00 -07:00
  • c0c33392f1 Merge pull request #2203 from coasys/library-use-case Mark Thom 2023-12-05 13:14:30 -07:00
  • 77ce5a9586 Result with one empty match should be false Nicolas Luck 2023-12-05 15:00:07 +01:00
  • 8665722367 Merge pull request #2204 from mthom/remove_not_as_non_terminal Mark Thom 2023-12-04 15:49:26 -07:00
  • 57b52fbe90 fix windows test by not disabling normalization Skgland 2023-12-04 22:59:52 +01:00
  • b052b62b16 fix formatting Skgland 2023-12-04 22:41:25 +01:00
  • 4df7e94d56 rename to match toml file Skgland 2023-12-04 22:23:04 +01:00
  • fcf2e2db05 move .pl files from tests-pl next to the .toml of the test that uses them Skgland 2023-12-04 22:16:04 +01:00
  • 1c52de9ab1 File-oriented testing Skgland 2023-12-04 22:00:52 +01:00
  • 9cd762d88a remove (\+)//1 (#1511) Mark 2023-12-04 13:51:44 -07:00
  • eddcdaabef correct cargo fmt errors Mark 2023-12-04 12:20:54 -07:00
  • 2c76943d35 emit callable type errors from call/1 and phrase/3 when appropriate (#2202) Mark 2023-12-04 12:20:14 -07:00
  • 24e3e1794e cargo fmt Nicolas Luck 2023-12-04 20:18:41 +01:00
  • 99055b553a Don’t include unbound variables in results returned from run_query Nicolas Luck 2023-12-04 20:10:06 +01:00
  • 576f13df60 Merge branch 'master' into library-use-case Nicolas Luck 2023-12-04 20:06:14 +01:00
  • 004201abda add module name and missing predicate key to module_does_not_contain_claimed_export error (#2195) Mark 2023-12-04 11:19:36 -07:00
  • 6899c6b63c Merge pull request #2201 from wkral/revert-2200-percent-graphic-char Mark Thom 2023-12-04 10:46:37 -07:00
  • 7f5c56a2a8 Revert "Add '%' to the list of graphic_chars (#2199)" William Kral 2023-12-03 22:19:59 -08:00
  • 92e07d2be1 Merge pull request #2200 from wkral/percent-graphic-char Mark Thom 2023-12-03 23:02:05 -07:00
  • aff1fdc6aa Add '%' to the list of graphic_chars (#2199) William Kral 2023-12-03 19:38:40 -08:00
  • b0b1efcc49 Merge pull request #2194 from triska/clpz_monotonic Mark Thom 2023-12-02 20:16:59 -07:00
  • eb575b9882 support (#=)/3 and (#<)/3 also in the monotonic execution mode Markus Triska 2023-12-02 22:33:56 +01:00
  • e667abb143 move propagated_var_nums insertion to proper scope (#2183) Mark 2023-12-01 22:35:36 -07:00
  • 347ee0211b propagate variable hits to parent branches in push_missing_vars (#2183) Mark 2023-11-30 12:25:28 -07:00
  • 4f4feba6fc Merge pull request #2187 from triska/term_si Mark Thom 2023-11-29 13:52:38 -07:00
  • 8cb4dfef62 ADDED: term_si/1, true for terms Markus Triska 2023-11-29 21:24:54 +01:00
  • de452bb2c2 fix overeager detection of (->)/2 in if position of (;)/2 (#2183) Mark 2023-11-29 10:51:55 -07:00
  • e8d8b09e52 Merge pull request #2186 from aarroyoc/cpu-now-wasm32 Mark Thom 2023-11-28 16:17:44 -07:00
  • 631674db29 open pl files instead of directories (#2014) Mark 2023-11-28 15:31:00 -07:00
  • bc3ae52c7a Merge pull request #2184 from mthom/dependabot/cargo/openssl-0.10.60 Mark Thom 2023-11-28 15:31:53 -07:00
  • 4c795018b4 Implement $cpu_now in wasm32 Adrián Arroyo Calle 2023-11-28 23:11:52 +01:00
  • 651b7b2f59 Bump openssl from 0.10.57 to 0.10.60 dependabot[bot] 2023-11-28 21:43:23 +00:00
  • 5cb207d8b3 allocate cut variables properly (#2183) Mark 2023-11-28 14:38:48 -07:00
  • de5de0cfaf allocate cut variables as temporaries when in non-allocating clause (#2183) Mark 2023-11-28 12:58:54 -07:00
  • b8ef367824 bind missing module atom in retract/1 (#2182) Mark 2023-11-25 20:59:01 -07:00
  • f1458b772e Merge pull request #2169 from infogulch/flame Mark Thom 2023-11-24 18:57:13 +01:00
  • 4181c9fab2 Merge branch 'master' into flame Mark Thom 2023-11-24 18:00:55 +01:00
  • 1fbc7f9842 remove redundant running count increment in mark_non_callable (#2176) Mark 2023-11-23 22:01:21 -07:00
  • 73ed08a412 Merge pull request #2179 from mthom/fix_stress_integration_test Mark Thom 2023-11-23 21:31:12 +01:00
  • 7cac13aefa set b0 to b for run_query call Mark 2023-11-23 12:55:55 -07:00
  • 2e114df4c7 Merge pull request #2173 from aarroyoc/js-eval Mark Thom 2023-11-22 21:52:49 +01:00
  • 36ab590c4e Add js_eval/2 for wasm32 Adrián Arroyo Calle 2023-11-20 17:45:22 +01:00
  • 20da3427c1 Merge pull request #2177 from mthom/remove_assertx Mark Thom 2023-11-22 17:54:55 +01:00
  • 2811660fa7 remove assert(a,z)/2 (#1975) Mark 2023-11-22 09:24:07 -07:00
  • ef8eb935d4 add CutPoint to select_switch_on_term_index (#2176) Mark 2023-11-22 08:57:23 -07:00
  • 11832b524b Expose inference counts on Machine; publish to CI infogulch 2023-11-21 18:12:26 -06:00
  • 503e45eae1 Upgrade to latest iai for summary output infogulch 2023-11-21 13:07:33 -06:00
  • 041ec06dbc Merge pull request #1999 from triska/time_inferences Mark Thom 2023-11-21 23:04:26 +01:00
  • 3841b29db8 fix copy_term/2 variable copying bug in lists (#923, #2127) Mark 2023-11-21 12:50:10 -07:00
  • 1c94624958 Benchmark improvements infogulch 2023-11-15 23:18:41 -06:00
  • c6f3700de1 Remove accidentally committed files infogulch 2023-11-15 15:55:20 -06:00
  • 186bba9d75 ENHANCED: time/1 now shows the number of inferences Markus Triska 2023-11-21 20:31:48 +01:00
  • a3e83d59be fix error detection in int_pow (#2161) Mark 2023-11-21 08:28:55 -07:00
  • 54166b91eb add global_count inference counter that is always incremented (#2009) Mark 2023-11-20 16:24:31 -07:00
  • 1e5bb2d3da fix dif:vars_remove_goal/2 (#2175), untabify forms.rs to appease format check Mark 2023-11-20 13:40:58 -07:00
  • 8d9a759a7d remove unnecessary spaces around (|) (#2164) Mark 2023-11-19 08:46:20 -07:00
  • f32b035287 Merge pull request #2168 from aarroyoc/update-web-2023-11-15 Mark Thom 2023-11-16 21:07:25 +01:00
  • a8e6930d19 Merge pull request #2159 from mthom/dependabot/cargo/rustix-0.38.21 Mark Thom 2023-11-16 21:07:03 +01:00
  • 7fa4cb7ee8 Bump rustix from 0.38.14 to 0.38.21 dependabot[bot] 2023-11-16 19:27:40 +00:00
  • df5855dbda Merge pull request #2167 from infogulch/ci-checks-permission Mark Thom 2023-11-16 09:30:27 +01:00
  • e7f5ba6ca1 Remove Scryer Prolog meetup banner :( Adrián Arroyo Calle 2023-11-15 22:42:18 +01:00
  • bcb68fcc3d fix sign/1 (#2157) Mark Thom 2023-11-15 20:38:24 +01:00
  • e5ee918063 Add checks permission to ci workflow infogulch 2023-11-15 13:07:45 -06:00
  • 4be320abc8 fix shr crash (#2158) Mark Thom 2023-11-14 08:10:12 +01:00
  • 300f5f817f Merge pull request #2165 from infogulch/bench-csv Mark Thom 2023-11-14 07:32:07 +01:00
  • 574a4d0758 Merge pull request #2166 from triska/more_tests Mark Thom 2023-11-14 07:31:52 +01:00
  • a02bd46094 mention more passing tests Markus Triska 2023-11-14 04:06:33 +01:00
  • cab80d3fa2 Fix lint infogulch 2023-11-13 15:41:15 -06:00
  • 98d8b00d7a Add csv parsing benchmark #1403 infogulch 2023-11-13 15:41:06 -06:00
  • 40608dc8d4 Simplify benchmark setup; support mutating machine infogulch 2023-11-13 14:58:18 -06:00
  • 3b7d4a7b36 Merge pull request #2153 from infogulch/benchmark Mark Thom 2023-11-12 07:21:25 +01:00
  • f704fcb41d Fix formatting issues Joe Taber 2023-11-11 13:33:19 -06:00
  • 8570f119c0 Add benchmarks using library interface infogulch 2023-11-11 11:22:02 -06:00
  • 1656d9d7ad CI: Setup rust in new action; split style & report actions infogulch 2023-11-07 11:56:28 -06:00
  • 50c64b8512 correct style failures Mark Thom 2023-11-11 18:41:46 +01:00
  • 83b9c6184c fix permanent variable handling over branches and cells (#2154) Mark Thom 2023-11-11 17:20:22 +01:00
  • 0ad479498c Activate run_query() integration test Nicolas Luck 2023-11-07 10:28:36 +01:00
  • 2dd1f6e880 fix compare_pstr_to_string (#2148) Mark 2023-11-04 19:32:23 -06:00
  • da0018efdf Merge pull request #2147 from infogulch/lint-format Mark Thom 2023-11-04 11:34:11 -06:00
  • 16f768197b Split style checks, test reports into separate job infogulch 2023-11-04 02:22:24 -05:00
  • d6fe5b5aad Bump Cargo.lock to reflect new scryer version infogulch 2023-11-04 02:20:55 -05:00
  • dfe4fbfdc5 Add previous commit to .git-blame-ignore-revs infogulch 2023-11-04 02:20:37 -05:00
  • 9444e62df9 Resolve lints and format infogulch 2023-11-04 02:16:54 -05:00
  • dddffb01a6 update release version linked on website Mark 2023-11-02 17:34:49 -06:00
  • 4520bedf8d update release link Mark 2023-11-02 17:32:33 -06:00
  • 126d7bba57 bump version number to v0.9.3 v0.9.3 Mark 2023-11-02 17:01:50 -06:00
  • 575245c62f Merge pull request #1880 from coasys/library-use-case remove Mark Thom 2023-11-02 16:50:01 -06:00
  • 59264c0aa5 Check for target_arch = “wasm32” Nicolas Luck 2023-11-02 19:07:55 +01:00
  • ee1bd9e006 Merge branch 'master' into library-use-case Nicolas Luck 2023-11-02 11:12:54 +01:00
  • dfd9e43405 correct (\+)/1 (#2141) Mark 2023-10-31 23:58:59 -06:00
  • 8f06ef965a remove non-conforming hyperbolic and log10 evaluable functors Mark 2023-10-28 18:17:43 -06:00
  • ae7cf15c70 fix signed modulus bug (#2134) Mark 2023-10-28 18:13:42 -06:00
  • 469d2bd104 Merge pull request #2140 from aarroyoc/rename-to-upper Mark Thom 2023-10-28 14:48:10 -06:00
  • 682b2ada4c Rename to_upper to upper and to_lower to lower Adrián Arroyo Calle 2023-10-28 19:16:07 +02:00