rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3,625 Commits 2 Branches 18 Tags
dde03718e17ed9240191a47f74cfc23bbad56b4a
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark dde03718e1 fix additional tests (#2293) 2024-01-12 22:01:01 -07:00
Mark 60d34bea70 add missing CStr branch to unify_partial_string (#2293) 2024-01-12 13:58:46 -07:00
Mark Thom 6fb3b61441 Merge pull request #2276 from triska/hophrase 
ADDED: Support for higher-order non-terminals phrase//[2,3]
 2024-01-11 11:56:10 -07:00
Mark Thom 11ca168175 Merge pull request #2281 from bakaq/miri 
Initial Miri support
 2024-01-10 12:13:14 -07:00
Mark 72a566d2f8 fix cargo fmt --check 2024-01-08 18:12:31 -07:00
Mark Thom b56ae28c45 Merge pull request #2280 from notoria/clpz 
Special case for `(^)/2`
 2024-01-08 17:39:18 -07:00
Mark cd89d71e0c check for PStr in eager stackful preorder iterator before adding tail of PStrOffset (#2272) 2024-01-08 17:36:41 -07:00
Mark Thom f9eadc8e6a Merge pull request #2278 from notoria/clpz 
Small fixes for `CLP(ℤ)`
 2024-01-07 18:59:38 -07:00
Mark Thom 7b8c8fdda7 Merge pull request #2277 from triska/master 
Correct arithmetic disequalities accidentally broken in f5d9a67f36
 2024-01-07 18:59:18 -07:00
Mark Thom 92b85d4ba6 Merge pull request #2264 from Skgland/fix-os-argv-1 
Fix os:argv/1 in case the raw args contain multiple `--`
 2024-01-06 15:52:53 -07:00
Mark Thom ed92e1b4f4 Merge pull request #2275 from triska/master 
Prevent assertion of clauses for (-->)/2 when DCGs are enabled.
 2024-01-05 12:33:05 -07:00
Mark d51defed06 fix cargo --fmt check error 2024-01-04 13:56:57 -07:00
Mark 851ea2c45b add missing permission error in compile_assert (#2271) 2024-01-04 13:53:46 -07:00
Mark ec97ee5d41 fix acceptance of invalid syntax, update iso_conformity_tests.pl (#2270) 2024-01-04 13:14:58 -07:00
Mark Thom ff010678c3 Merge pull request #2269 from aarroyoc/fix-2267 
Use reqwest async and use futures::executor
 2024-01-03 15:40:48 -07:00
Mark Thom 5abc72cc8b Merge pull request #2268 from aarroyoc/docs-toplevel 
Small fixes in documentation and toplevel.pl
 2024-01-03 14:52:34 -07:00
Mark ccf581d86f expand module names in transitive goals (#2255) 2024-01-02 11:34:38 -07:00
Mark 1dc546ac36 fix cargo fmt --check 2024-01-02 10:08:00 -07:00
Mark 372b4bca46 mark anonymous variables in compile_is_call (#2257) 2024-01-02 10:06:07 -07:00
Mark Thom 5c89029462 Merge pull request #2263 from aarroyoc/docs-toplevel 
Move argv/1 to library(os)
 2024-01-02 09:19:10 -07:00
Mark Thom a475a8a899 Merge pull request #2262 from triska/faster_global_cardinality 
ENHANCED: Suspend propagation during filtering in global_cardinality/2.
 2024-01-02 09:18:42 -07:00
Mark Thom 1f90dbec20 Merge pull request #2259 from bakaq/comment_warnings 
Emit warnings as Prolog comments
 2024-01-01 00:33:58 -07:00
Mark Thom d713456e29 Merge pull request #2258 from triska/faster_scalar_product 
ENHANCED: Suspend propagation during filtering in scalar product constraints.
 2024-01-01 00:33:36 -07:00
Mark Thom 1e0fa56786 Merge pull request #2252 from aarroyoc/bump-versions 
Update ring and bump versions in Cargo.lock
 2023-12-29 13:10:19 -07:00
Mark Thom 97d5bf7e97 Merge pull request #2254 from bakaq/issue_1404 
Parse as much of a list as possible as a partial string
 2023-12-29 10:40:19 -07:00
Mark 75302ab716 check that Target is an atom in scoped_clause_to_evacuable (#2248) 2023-12-29 10:12:08 -07:00
Mark Thom 781f4afe25 Merge pull request #2251 from triska/crrl_ed25519 
improve structure, naming and explanation of PKCS#8v2 encoding
 2023-12-27 17:37:42 -07:00
Mark 42d6749501 throw errors from char_reader.rs and get_n_chars when reading bad UTF8 data (#2244) 2023-12-26 12:31:04 -07:00
Mark Thom 2fa46e6b6c Merge pull request #2245 from triska/crrl_ed25519 
ENHANCED: Use crrl for Ed25519 signing and signature verification.
 2023-12-26 10:09:08 -07:00
Mark Thom 799035c692 Merge pull request #2243 from bakaq/issue_2241 
Fix anonymous attributed variables not showing in toplevel
 2023-12-22 09:53:40 -07:00
Mark Thom 6c07256dc5 Merge pull request #2242 from triska/starting 
explain starting Scryer Prolog
 2023-12-22 09:52:56 -07:00
Mark 373b08a91e fix off-by-one error caused logtalk test to crash 2023-12-21 12:14:12 -07:00
Mark a7154968d8 fix cargo fmt --check 2023-12-21 10:24:01 -07:00
Mark 46e432c4d9 restore [o|i]ip zeroing to trust and fix '$get_clause_p'/3 (#2238) 2023-12-20 20:45:15 -07:00
Mark Thom 44a61fa72c Merge pull request #2218 from bakaq/when 
Add when/2 and when_si/2
 2023-12-20 13:42:46 -07:00
Mark 299df50066 clamp lower_bound_of_target_clause index (#840) 2023-12-18 15:21:30 -07:00
Mark 335330690f don't replace undefined module predicates (#2232) 2023-12-18 14:57:22 -07:00
Mark f30cee7655 fix retraction of local dynamic predicates (#2215, #2232) 2023-12-18 13:28:45 -07:00
Mark b943afb7c7 fix '$get_clause_p' whose old implementation was broken by the introduction 
of lookahead indexing
 2023-12-18 13:28:45 -07:00
Mark 30f3818c66 improve performance of lower_bound_of_target_clause (#1598) 2023-12-18 13:28:45 -07:00
Mark Thom 13624568b5 Merge pull request #2233 from aarroyoc/fix-functor-2214 
Throw ValidType::Atom error in functor
 2023-12-17 20:20:50 -07:00
Mark Thom e4f64581ec Merge pull request #2229 from aarroyoc/fix-backslash-docs 
Fix backslash docs
 2023-12-17 20:20:41 -07:00
Mark Thom a66b93c96f Merge pull request #2226 from mthom/dependabot/cargo/zerocopy-0.7.31 
Bump zerocopy from 0.7.25 to 0.7.31
 2023-12-15 11:33:03 -07:00
Mark e5ea95db8d Revert "improve performance of lower_bound_of_target_clause (#1598)" 
This reverts commit 8938331915.
 2023-12-15 00:42:58 -07:00
Mark 8938331915 improve performance of lower_bound_of_target_clause (#1598) 2023-12-15 00:39:36 -07:00
Mark 399b50b4d7 fix use of copy_term/3 for attribute goals in toplevel (#888, #2057, #2217) 2023-12-13 12:27:59 -07:00
Mark 82f3731c97 fix cargo style failure 2023-12-11 15:17:02 -07:00
Mark 658258c8c3 dereference port address in socket_server_open (#2222) 2023-12-11 14:38:20 -07:00
Mark d14cce2374 restore print_tcp_listener in printer (#2221) 2023-12-11 13:29:27 -07:00
Mark Thom 1e1426cab0 Merge pull request #2207 from infogulch/ci-build-before-test 
CI: Make test step output easier to read
 2023-12-06 13:45:46 -07:00
Mark Thom 2e750671ca Merge pull request #2211 from Skgland/file-based-cli-tests 
fix missing .pl file for singleton test case and move .pl files under `<testcase>.in/`
 2023-12-06 13:27:14 -07:00
Mark Thom 43556f6df0 Merge pull request #2205 from Skgland/file-based-cli-tests 
File based cli tests using trycmd
 2023-12-05 14:45:00 -07:00
Mark Thom c0c33392f1 Merge pull request #2203 from coasys/library-use-case 
Don’t include unbound variables in results returned from run_query()
 2023-12-05 13:14:30 -07:00
Mark Thom 8665722367 Merge pull request #2204 from mthom/remove_not_as_non_terminal 
remove (\+)//1 (#1511)
 2023-12-04 15:49:26 -07:00
Mark 9cd762d88a remove (\+)//1 (#1511) 2023-12-04 13:51:44 -07:00
Mark eddcdaabef correct cargo fmt errors 2023-12-04 12:20:54 -07:00
Mark 2c76943d35 emit callable type errors from call/1 and phrase/3 when appropriate (#2202) 2023-12-04 12:20:14 -07:00
Mark 004201abda add module name and missing predicate key to module_does_not_contain_claimed_export error (#2195) 2023-12-04 11:19:44 -07:00
Mark Thom 6899c6b63c Merge pull request #2201 from wkral/revert-2200-percent-graphic-char 
Revert "Add '%' to the list of graphic_chars (#2199)"
 2023-12-04 10:46:37 -07:00
Mark Thom 92e07d2be1 Merge pull request #2200 from wkral/percent-graphic-char 
Add '%' to the list of graphic_chars (#2119)
 2023-12-03 23:02:05 -07:00
Mark Thom b0b1efcc49 Merge pull request #2194 from triska/clpz_monotonic 
support (#=)/3 and (#<)/3 also in the monotonic execution mode
 2023-12-02 20:16:59 -07:00
Mark e667abb143 move propagated_var_nums insertion to proper scope (#2183) 2023-12-01 22:35:36 -07:00
Mark 347ee0211b propagate variable hits to parent branches in push_missing_vars (#2183) 2023-11-30 19:46:32 -07:00
Mark Thom 4f4feba6fc Merge pull request #2187 from triska/term_si 
ADDED: term_si/1, true for terms
 2023-11-29 13:52:38 -07:00
Mark de452bb2c2 fix overeager detection of (->)/2 in if position of (;)/2 (#2183) 2023-11-29 11:05:04 -07:00
Mark Thom e8d8b09e52 Merge pull request #2186 from aarroyoc/cpu-now-wasm32 
Implement $cpu_now in wasm32
 2023-11-28 16:17:44 -07:00
Mark 631674db29 open pl files instead of directories (#2014) 2023-11-28 15:32:06 -07:00
Mark Thom bc3ae52c7a Merge pull request #2184 from mthom/dependabot/cargo/openssl-0.10.60 
Bump openssl from 0.10.57 to 0.10.60
 2023-11-28 15:31:53 -07:00
Mark 5cb207d8b3 allocate cut variables properly (#2183) 2023-11-28 14:38:48 -07:00
Mark de5de0cfaf allocate cut variables as temporaries when in non-allocating clause (#2183) 2023-11-28 12:58:54 -07:00
Mark b8ef367824 bind missing module atom in retract/1 (#2182) 2023-11-25 20:59:04 -07:00
Mark Thom f1458b772e Merge pull request #2169 from infogulch/flame 
Benchmark improvements
 2023-11-24 18:57:13 +01:00
Mark Thom 4181c9fab2 Merge branch 'master' into flame 2023-11-24 18:00:55 +01:00
Mark 1fbc7f9842 remove redundant running count increment in mark_non_callable (#2176) 2023-11-23 22:05:31 -07:00
Mark Thom 73ed08a412 Merge pull request #2179 from mthom/fix_stress_integration_test 
Fix stress integration test
 2023-11-23 21:31:12 +01:00
Mark 7cac13aefa set b0 to b for run_query call 2023-11-23 12:55:55 -07:00
Mark Thom 2e114df4c7 Merge pull request #2173 from aarroyoc/js-eval 
Add js_eval/2 for wasm32
 2023-11-22 21:52:49 +01:00
Mark Thom 20da3427c1 Merge pull request #2177 from mthom/remove_assertx 
Remove assert(a,z)/2 (#1975)
 2023-11-22 17:54:55 +01:00
Mark 2811660fa7 remove assert(a,z)/2 (#1975) 2023-11-22 09:24:07 -07:00
Mark ef8eb935d4 add CutPoint to select_switch_on_term_index (#2176) 2023-11-22 08:57:23 -07:00
Mark Thom 041ec06dbc Merge pull request #1999 from triska/time_inferences 
ENHANCED: time/1 now shows the number of inferences
 2023-11-21 23:04:26 +01:00
Mark 3841b29db8 fix copy_term/2 variable copying bug in lists (#923, #2127) 2023-11-21 14:52:35 -07:00
Mark a3e83d59be fix error detection in int_pow (#2161) 2023-11-21 08:32:26 -07:00
Mark 54166b91eb add global_count inference counter that is always incremented (#2009) 2023-11-20 16:24:31 -07:00
Mark 1e5bb2d3da fix dif:vars_remove_goal/2 (#2175), untabify forms.rs to appease format check 2023-11-20 14:21:18 -07:00
Mark 8d9a759a7d remove unnecessary spaces around (|) (#2164) 2023-11-19 08:46:20 -07:00
Mark Thom f32b035287 Merge pull request #2168 from aarroyoc/update-web-2023-11-15 
Remove Scryer Prolog meetup banner :(
 2023-11-16 21:07:25 +01:00
Mark Thom a8e6930d19 Merge pull request #2159 from mthom/dependabot/cargo/rustix-0.38.21 
Bump rustix from 0.38.14 to 0.38.21
 2023-11-16 21:07:03 +01:00
Mark Thom df5855dbda Merge pull request #2167 from infogulch/ci-checks-permission 
Add checks permission to ci workflow
 2023-11-16 09:30:27 +01:00
Mark Thom 300f5f817f Merge pull request #2165 from infogulch/bench-csv 
Bench csv
 2023-11-14 07:32:07 +01:00
Mark Thom 574a4d0758 Merge pull request #2166 from triska/more_tests 
mention more passing tests
 2023-11-14 07:31:52 +01:00
Mark Thom 3b7d4a7b36 Merge pull request #2153 from infogulch/benchmark 
Add benchmarks
 2023-11-12 07:21:25 +01:00
Mark 2dd1f6e880 fix compare_pstr_to_string (#2148) 2023-11-04 19:32:23 -06:00
Mark Thom da0018efdf Merge pull request #2147 from infogulch/lint-format 
Resolve all lints and formating; split style checks into separate job
 2023-11-04 11:34:11 -06:00
Mark dddffb01a6 update release version linked on website 2023-11-02 17:34:49 -06:00
Mark 4520bedf8d update release link 2023-11-02 17:32:33 -06:00
Mark 126d7bba57 bump version number to v0.9.3
CI / build-test (--no-default-features, ubuntu-22.04, true, nightly, wasm32-unknown-unknown) (push) Has been cancelled
Details
CI / build-test (macos-11, true, stable, x86_64-apple-darwin) (push) Has been cancelled
Details
CI / build-test (true, ubuntu-22.04, true, stable, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-20.04, true, stable, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, 1.70, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, nightly, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, true, stable, i686-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (windows-latest, true, stable, x86_64-pc-windows-msvc) (push) Has been cancelled
Details
CI / logtalk-test (push) Has been cancelled
Details
CI / release (push) Has been cancelled
Details
Docker Publish / build (push) Has been cancelled
Details
2023-11-02 17:01:54 -06:00
Mark Thom 575245c62f Merge pull request #1880 from coasys/library-use-case 
Programatic use of Machine / Scryer as library
 2023-11-02 16:50:01 -06:00
Mark dfd9e43405 correct (\+)/1 (#2141) 2023-10-31 23:58:59 -06:00
Mark 8f06ef965a remove non-conforming hyperbolic and log10 evaluable functors 2023-10-28 18:17:43 -06:00