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

Commit Graph

  • a6ccf95076 improve error context Markus Triska 2024-01-23 21:43:34 +01:00
  • 665f319a0e no longer use (->)//2, since it is implementation defined Markus Triska 2024-01-23 21:40:50 +01:00
  • fe31afce6b Bump h2 from 0.3.22 to 0.3.24 dependabot[bot] 2024-01-23 18:20:39 +00:00
  • ac07d2dfc8 Merge pull request #2303 from mthom/dependabot/cargo/shlex-1.3.0 Mark Thom 2024-01-23 11:19:53 -07:00
  • 71165c6984 Bump shlex from 1.2.0 to 1.3.0 dependabot[bot] 2024-01-22 21:53:43 +00:00
  • eab3bff78b Merge pull request #2302 from triska/dcg_representation Mark Thom 2024-01-22 00:26:23 -07:00
  • 81dba11ab1 use newly available false//0 Markus Triska 2024-01-21 22:53:22 +01:00
  • 388fa5baa9 no longer use (->)//2, since it is implementation dependent Markus Triska 2024-01-21 22:50:36 +01:00
  • fe3241c07c remove checks that are now no longer needed due to representation errors Markus Triska 2024-01-20 11:02:54 +01:00
  • 0559ddca2a ENHANCED: Throw representation errors for DCG bodies that use unsupported constructs. Markus Triska 2024-01-20 10:33:24 +01:00
  • 98a046500f MODIFIED: (->)/2 in DCGs is now only supported in the context of if-then-else. Markus Triska 2024-01-20 10:24:57 +01:00
  • 58cd0d1669 Merge pull request #2301 from aarroyoc/docs-copy-term-3 Mark Thom 2024-01-19 10:18:59 -07:00
  • 6421fe10f8 Merge pull request #2300 from aarroyoc/fix-2298 Mark Thom 2024-01-19 10:15:35 -07:00
  • 99c85459a7 Move copy_term/3 to library(iso_ext) Adrián Arroyo Calle 2024-01-19 17:33:45 +01:00
  • 958bf51648 Throw error in call_residue_vars/2 Adrián Arroyo Calle 2024-01-19 16:58:26 +01:00
  • e3aa85e2a2 add better no op detection in char_reader.rs (#2297) Mark 2024-01-16 21:50:53 -07:00
  • 29ced36a79 add #2293 tests, advance continuable HeapPStrIters away from unpacked compounds (#2293) Mark 2024-01-14 15:07:33 -07:00
  • f9a5c2d341 fix additional tests, make better use of existing code (#2293) Mark 2024-01-13 12:01:20 -07:00
  • dde03718e1 fix additional tests (#2293) Mark 2024-01-12 22:01:01 -07:00
  • 60d34bea70 add missing CStr branch to unify_partial_string (#2293) Mark 2024-01-12 13:58:46 -07:00
  • 6fb3b61441 Merge pull request #2276 from triska/hophrase Mark Thom 2024-01-11 11:56:10 -07:00
  • 11ca168175 Merge pull request #2281 from bakaq/miri Mark Thom 2024-01-10 12:13:14 -07:00
  • f02c0eacd8 Make "cargo miri test" actually run bakaq 2024-01-09 02:37:38 -03:00
  • 72a566d2f8 fix cargo fmt --check Mark 2024-01-08 18:12:19 -07:00
  • b56ae28c45 Merge pull request #2280 from notoria/clpz Mark Thom 2024-01-08 17:39:18 -07:00
  • cd89d71e0c check for PStr in eager stackful preorder iterator before adding tail of PStrOffset (#2272) Mark 2024-01-08 17:36:41 -07:00
  • 902cd5c3ea Special case for (^)/2 notoria 2024-01-08 21:50:02 +01:00
  • f9eadc8e6a Merge pull request #2278 from notoria/clpz Mark Thom 2024-01-07 18:59:38 -07:00
  • 7b8c8fdda7 Merge pull request #2277 from triska/master Mark Thom 2024-01-07 18:59:18 -07:00
  • 1f3de74cbd Fix bound computation in (^)/2 notoria 2024-01-07 20:19:40 +01:00
  • 770ead9c05 Remove min/2 and max/2 when possible notoria 2024-01-07 20:15:28 +01:00
  • fe371ff1d1 Fix min/2 and max/2 notoria 2024-01-07 20:14:32 +01:00
  • 2f783f0aef Correct arithmetic inequalities accidentally broken in f5d9a67f36. Markus Triska 2024-01-07 09:31:33 +01:00
  • 92b85d4ba6 Merge pull request #2264 from Skgland/fix-os-argv-1 Mark Thom 2024-01-06 15:52:53 -07:00
  • e702fe5c68 ADDED: Support for higher-order non-terminals phrase//[2,3] Markus Triska 2024-01-06 09:21:22 +01:00
  • ed92e1b4f4 Merge pull request #2275 from triska/master Mark Thom 2024-01-05 12:33:05 -07:00
  • f2b63d1689 Prevent assertion of clauses for (-->)/2 when DCGs are enabled. Markus Triska 2024-01-05 18:50:08 +01:00
  • d51defed06 fix cargo --fmt check error Mark 2024-01-04 13:56:57 -07:00
  • 851ea2c45b add missing permission error in compile_assert (#2271) Mark 2024-01-04 13:53:46 -07:00
  • ec97ee5d41 fix acceptance of invalid syntax, update iso_conformity_tests.pl (#2270) Mark 2024-01-04 13:14:50 -07:00
  • 78b83ca1e1 simplify os:argv/1 fix Skgland 2024-01-04 19:26:10 +01:00
  • ea0130d114 use once to limit solutions instead of cut Skgland 2024-01-04 18:14:32 +01:00
  • e66e7c5034 add another test case for os:argv/1 Skgland 2024-01-04 18:12:38 +01:00
  • ff010678c3 Merge pull request #2269 from aarroyoc/fix-2267 Mark Thom 2024-01-03 15:40:48 -07:00
  • 5abc72cc8b Merge pull request #2268 from aarroyoc/docs-toplevel Mark Thom 2024-01-03 14:52:34 -07:00
  • fac8866fb4 Use reqwest async and use futures::executor Adrián Arroyo Calle 2024-01-03 22:43:22 +01:00
  • d58e91303b Small fixes in documentation and toplevel.pl Adrián Arroyo Calle 2024-01-03 19:52:50 +01:00
  • 8bd0317e9c fix os:argv(V) not completing Skgland 2024-01-02 21:43:38 +01:00
  • 76b1167842 fix os:argv Skgland 2024-01-02 20:54:37 +01:00
  • 7537686d8f cover both args ending in -- and args not ending in -- for os:argv/1 test Skgland 2024-01-02 20:48:38 +01:00
  • 6fc340c4db remove unnecessary true Skgland 2024-01-02 20:27:14 +01:00
  • 38f25af47d cover trailing -- and os:argv([]) in os_argv test Skgland 2024-01-02 20:23:53 +01:00
  • 91df533834 fix os:argv/1 Skgland 2024-01-02 19:55:27 +01:00
  • 9a05ca0667 add failing test for os:argv issue Skgland 2024-01-02 19:51:09 +01:00
  • ccf581d86f expand module names in transitive goals (#2255) Mark 2024-01-02 11:34:38 -07:00
  • 1dc546ac36 fix cargo fmt --check Mark 2024-01-02 10:08:00 -07:00
  • 372b4bca46 mark anonymous variables in compile_is_call (#2257) Mark 2024-01-02 10:06:07 -07:00
  • 5c89029462 Merge pull request #2263 from aarroyoc/docs-toplevel Mark Thom 2024-01-02 09:19:10 -07:00
  • a475a8a899 Merge pull request #2262 from triska/faster_global_cardinality Mark Thom 2024-01-02 09:18:42 -07:00
  • 47b5ae7984 Move argv/1 to library(os) Adrián Arroyo Calle 2024-01-02 13:16:11 +01:00
  • f5d9a67f36 ENHANCED: Suspend propagation during filtering in global_cardinality/2. Markus Triska 2024-01-01 10:26:42 +01:00
  • 1f90dbec20 Merge pull request #2259 from bakaq/comment_warnings Mark Thom 2024-01-01 00:33:58 -07:00
  • d713456e29 Merge pull request #2258 from triska/faster_scalar_product Mark Thom 2024-01-01 00:33:36 -07:00
  • d9d90d1ae8 Emit warnings as Prolog comments bakaq 2023-12-30 17:39:20 -03:00
  • 62b61107e0 ENHANCED: Suspend propagation during filtering in scalar product constraints. Markus Triska 2023-12-30 10:30:25 +01:00
  • 1e0fa56786 Merge pull request #2252 from aarroyoc/bump-versions Mark Thom 2023-12-29 13:10:19 -07:00
  • 97d5bf7e97 Merge pull request #2254 from bakaq/issue_1404 Mark Thom 2023-12-29 10:40:19 -07:00
  • 75302ab716 check that Target is an atom in scoped_clause_to_evacuable (#2248) Mark 2023-12-29 10:11:39 -07:00
  • 742de9e77c Update ring and bump versions in Cargo.lock Adrián Arroyo Calle 2023-12-27 22:15:27 +01:00
  • 921046e886 Parse as much of a list as possible as a partial string #1404 bakaq 2023-12-28 14:58:23 -03:00
  • 781f4afe25 Merge pull request #2251 from triska/crrl_ed25519 Mark Thom 2023-12-27 17:37:42 -07:00
  • 10158f62e0 improve structure, naming and explanation of PKCS#8v2 encoding Markus Triska 2023-12-27 21:12:52 +01:00
  • 42d6749501 throw errors from char_reader.rs and get_n_chars when reading bad UTF8 data (#2244) Mark 2023-12-26 12:30:46 -07:00
  • 2fa46e6b6c Merge pull request #2245 from triska/crrl_ed25519 Mark Thom 2023-12-26 10:09:08 -07:00
  • 47ec5eb6c6 ENHANCED: Use crrl for Ed25519 signing and signature verification. Markus Triska 2023-12-26 07:24:18 +01:00
  • 799035c692 Merge pull request #2243 from bakaq/issue_2241 Mark Thom 2023-12-22 09:53:40 -07:00
  • 6c07256dc5 Merge pull request #2242 from triska/starting Mark Thom 2023-12-22 09:52:56 -07:00
  • 20c6a327ea Fix anonymous attributed variables not showing in toplevel #2241 bakaq 2023-12-22 13:07:09 -03:00
  • bcfdc812f9 explain starting Scryer Prolog Markus Triska 2023-12-22 08:29:28 +01:00
  • 373b08a91e fix off-by-one error caused logtalk test to crash Mark 2023-12-21 12:14:12 -07:00
  • a7154968d8 fix cargo fmt --check Mark 2023-12-21 10:24:01 -07:00
  • 46e432c4d9 restore [o|i]ip zeroing to trust and fix '$get_clause_p'/3 (#2238) Mark 2023-12-20 20:45:11 -07:00
  • 44a61fa72c Merge pull request #2218 from bakaq/when Mark Thom 2023-12-20 13:42:46 -07:00
  • 299df50066 clamp lower_bound_of_target_clause index (#840) Mark 2023-12-18 15:21:30 -07:00
  • 335330690f don't replace undefined module predicates (#2232) Mark 2023-12-18 14:57:22 -07:00
  • f30cee7655 fix retraction of local dynamic predicates (#2215, #2232) Mark 2023-12-18 13:26:36 -07:00
  • b943afb7c7 fix '$get_clause_p' whose old implementation was broken by the introduction of lookahead indexing Mark 2023-12-18 09:52:46 -07:00
  • 30f3818c66 improve performance of lower_bound_of_target_clause (#1598) Mark 2023-12-15 10:10:09 -07:00
  • 13624568b5 Merge pull request #2233 from aarroyoc/fix-functor-2214 Mark Thom 2023-12-17 20:20:50 -07:00
  • e4f64581ec Merge pull request #2229 from aarroyoc/fix-backslash-docs Mark Thom 2023-12-17 20:20:41 -07:00
  • d132227860 Throw ValidType::Atom error in functor Adrián Arroyo Calle 2023-12-17 12:38:46 +01:00
  • 45abb4703d Fix backslash docs Adrián Arroyo Calle 2023-12-16 19:01:39 +01:00
  • a66b93c96f Merge pull request #2226 from mthom/dependabot/cargo/zerocopy-0.7.31 Mark Thom 2023-12-15 11:33:03 -07:00
  • e5ea95db8d Revert "improve performance of lower_bound_of_target_clause (#1598)" Mark 2023-12-15 00:42:58 -07:00
  • 8938331915 improve performance of lower_bound_of_target_clause (#1598) Mark 2023-12-15 00:39:29 -07:00
  • 749767539a Bump zerocopy from 0.7.25 to 0.7.31 dependabot[bot] 2023-12-15 03:52:00 +00:00
  • 399b50b4d7 fix use of copy_term/3 for attribute goals in toplevel (#888, #2057, #2217) Mark 2023-12-13 11:49:16 -07:00
  • 82f3731c97 fix cargo style failure Mark 2023-12-11 15:17:02 -07:00
  • 658258c8c3 dereference port address in socket_server_open (#2222) Mark 2023-12-11 14:38:20 -07:00
  • d14cce2374 restore print_tcp_listener in printer (#2221) Mark 2023-12-11 13:29:22 -07:00