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

Commit Graph

  • 43df2e2649 shorten gensym/2 Markus Triska 2023-05-16 22:41:20 +02:00
  • c2f2623471 extend logic to all control and whitespace characters Markus Triska 2023-05-14 09:14:10 +02:00
  • 8e4465315f use same logic to print Chars and Atoms (#1804) Mark 2023-05-10 00:04:35 -06:00
  • 86beb222ae rely on first instantiated argument indexing in the definitions of foldl/N Markus Triska 2023-05-04 00:50:27 +02:00
  • 5e124ccf44 ENHANCED: allow Roman numerals in strings Markus Triska 2023-05-03 21:56:04 +02:00
  • 47d4e6d2f9 FIXED: consistent read/write of further control characters, and non-breaking space Markus Triska 2023-05-03 23:23:53 +02:00
  • 33f65210ee make tests compatible Mark 2023-06-22 18:50:20 -06:00
  • 9ea6cb4cab backtrack on emission of unsafe register instructions on internal branches Mark 2023-06-22 18:28:10 -06:00
  • 0e583d620a implement new disjunction compilation Mark 2023-06-17 16:28:56 -06:00
  • b205abe949 remove BuildIf, BuildNot, BuildThen TermIterState variants Mark Thom 2023-01-30 23:26:50 -07:00
  • cb59c3003a correct chunk type labeling Mark Thom 2023-01-01 11:04:46 -07:00
  • 942095baa7 remove GetLevelAndUnify and replace it with GetCutPoint Mark Thom 2022-12-27 23:42:35 -07:00
  • 097849385e add QueryTerm::ChunkTypeBoundary Mark Thom 2022-12-27 23:19:18 -07:00
  • c4783062ff delete ChunkedTerm, chunked iteration Mark Thom 2022-12-27 21:29:29 -07:00
  • 063cf0c608 new TermIterState variants Mark Thom 2022-12-05 20:49:23 -07:00
  • a66d666bed variable classification al a carte Mark Thom 2022-11-13 10:13:37 -07:00
  • 170818759d add more variable probing, chunk type labeling Mark Thom 2022-11-01 21:10:15 -06:00
  • e41d1b319b adapt code generation Mark Thom 2022-10-17 22:56:08 -06:00
  • b9c9de5222 add classifications and occurrence counting Mark Thom 2022-10-04 09:24:37 -06:00
  • d565f5901b milestone marker for surgery Mark Thom 2022-09-27 21:04:52 -06:00
  • 46317c3a39 begin adapting the techniques of "Compiling Large Disjunctions" Mark Thom 2022-09-01 17:03:00 -06:00
  • bcc5bff376 Merge pull request #1834 from infogulch/ci-publish-releases Mark Thom 2023-06-23 12:01:32 -06:00
  • 5244d71570 Add steps to publish binaries when releases are tagged infogulch 2023-06-22 22:14:44 -05:00
  • 9fac289d9a Merge pull request #1833 from mthom/dependabot/cargo/openssl-0.10.55 Mark Thom 2023-06-22 11:30:56 -06:00
  • de665c05d8 Bump openssl from 0.10.48 to 0.10.55 dependabot[bot] 2023-06-21 22:54:36 +00:00
  • 98b0ab3409 improve call/N implementation (#1829) Mark 2023-06-10 01:25:47 -06:00
  • 3c344b176b set_local_value does not make values safe (#1812) Mark 2023-06-06 00:58:44 -06:00
  • 6093c2858d read set_value args from temp regs of put_unsafe_value (#1812) Mark 2023-05-29 20:49:54 -06:00
  • e06ab1ca1c Merge pull request #1822 from triska/master Mark Thom 2023-05-29 10:15:43 -06:00
  • 5154314786 FIXED: correct dereferencing in atom_codes/2 and number_codes/2. Markus Triska 2023-05-29 11:12:00 +02:00
  • fa07306f09 Merge pull request #1820 from aarroyoc/banner-meetup Mark Thom 2023-05-28 16:39:05 -06:00
  • 07115ce4f5 Rename INDEX.md to INDEX.dj and add banner about Scryer Prolog Meetup Adrián Arroyo Calle 2023-05-29 00:29:53 +02:00
  • b656700294 read from machine stack in stackful pre-order iterator (#1812) Mark 2023-05-26 15:19:07 -06:00
  • 7bc7f0ad06 Merge pull request #1816 from notoria/clpz Mark Thom 2023-05-27 11:07:50 -06:00
  • 495df8846a Compute correctly the domain of the remainder notoria 2023-05-27 13:47:14 +02:00
  • 05d48cdcc3 Don't add variable notoria 2023-05-27 13:19:19 +02:00
  • dc02be4944 Remove and move comments notoria 2023-05-27 13:08:25 +02:00
  • 462097d956 optionally read from machine stack in stackful pre-order iterator (#1812) Mark 2023-05-26 15:19:07 -06:00
  • 0e374c2e96 affirm integers as rational/1 (#1810) Mark 2023-05-24 13:43:52 -06:00
  • 94a1313916 Merge pull request #1809 from aarroyoc/update-select Mark Thom 2023-05-18 12:31:44 -06:00
  • b54a4afad6 Update select crate to 0.6.0 and remove warning Adrián Arroyo Calle 2023-05-17 18:19:19 +02:00
  • c71b8e05f0 Merge pull request #1808 from triska/gensym Mark Thom 2023-05-16 15:55:39 -06:00
  • 021c01dfd0 FIXED: correctly reset counter in reset_gensym/2 (#1807) Markus Triska 2023-05-16 22:42:10 +02:00
  • 30f222b837 shorten gensym/2 Markus Triska 2023-05-16 22:41:20 +02:00
  • f7d9237bb9 Merge pull request #1805 from triska/master Mark Thom 2023-05-14 23:27:49 -06:00
  • 49addc7b04 extend logic to all control and whitespace characters Markus Triska 2023-05-14 09:14:10 +02:00
  • 2f9996f9ac use same logic to print Chars and Atoms (#1804) Mark 2023-05-10 00:04:35 -06:00
  • c1218fc986 Merge pull request #1801 from triska/foldl Mark Thom 2023-05-04 21:25:16 -06:00
  • 57ef706eb0 Merge pull request #1799 from triska/roman_numerals Mark Thom 2023-05-04 21:25:03 -06:00
  • e4b19dc1dd Merge pull request #1800 from triska/nbsp Mark Thom 2023-05-04 21:24:45 -06:00
  • 4e60cc46a2 rely on first instantiated argument indexing in the definitions of foldl/N Markus Triska 2023-05-04 00:50:27 +02:00
  • d8edf7bfff FIXED: consistent read/write of further control characters, and non-breaking space Markus Triska 2023-05-03 23:23:53 +02:00
  • e951db662d ENHANCED: allow Roman numerals in strings Markus Triska 2023-05-03 21:56:04 +02:00
  • c5a3ec3ba8 fix current_predicate/1 (#1761) Mark 2023-04-24 23:23:19 -06:00
  • f12a90351a Merge pull request #1794 from aarroyoc/uppercase-2 Mark Thom 2023-04-23 17:08:21 -06:00
  • b162c40007 Fix to_upper/to_lower when string is instantiated Adrián Arroyo Calle 2023-04-22 10:54:35 +02:00
  • 402100fd52 Merge pull request #1797 from triska/clpb_residuals Mark Thom 2023-04-23 10:31:40 -06:00
  • 2a1b8f37ec remove residual goal for ground BDD Markus Triska 2023-04-23 09:20:46 +02:00
  • 7d2e59ab64 discard CodeIndex literals from unfolded control operators in preprocessor (#1791) Mark 2023-04-22 17:14:00 -06:00
  • f35298a227 add and document inlined_instructions/2 to/in diag.pl (#1791) Mark 2023-04-22 17:13:24 -06:00
  • 198e925430 Merge pull request #1796 from triska/dif_si Mark Thom 2023-04-22 17:21:03 -06:00
  • 8b7281fad0 ADDED: dif_si/2 Markus Triska 2023-04-23 00:37:03 +02:00
  • 502574dfc3 Merge pull request #1795 from infogulch/fix-ci-install Mark Thom 2023-04-22 16:03:39 -06:00
  • 7a0f4e5787 Use --force to install cargo2junit infogulch 2023-04-22 15:42:10 -05:00
  • f277f660f3 Merge pull request #1793 from infogulch/fix-action-ref Mark Thom 2023-04-22 11:26:45 -06:00
  • 9c037d6028 Change ref for publish-unit-test-result-action infogulch 2023-04-22 10:18:10 -05:00
  • 396528189d Merge pull request #1789 from aarroyoc/uppercase Mark Thom 2023-04-20 07:17:09 +02:00
  • 4b882c465c library(charsio): add to_upper and to_lower Adrián Arroyo Calle 2023-04-18 18:48:59 +02:00
  • 8937cac47d Merge pull request #1783 from infogulch/test Mark Thom 2023-04-18 08:35:45 +02:00
  • 5a3e2899dd Refactor CI Workflow infogulch 2023-04-12 19:15:06 -05:00
  • 3a5ed4723b Merge pull request #1785 from mthom/dependabot/cargo/h2-0.3.17 Mark Thom 2023-04-14 06:22:32 +02:00
  • dcf4c44173 Merge pull request #1786 from triska/tuples_in Mark Thom 2023-04-14 06:22:18 +02:00
  • 5763a4b9df FIXED: propagation for ground tuples Markus Triska 2023-04-13 23:38:55 +02:00
  • 82200a21eb Bump h2 from 0.3.15 to 0.3.17 dependabot[bot] 2023-04-13 17:03:50 +00:00
  • fc7d98d748 Merge pull request #1780 from triska/tuples_in Mark Thom 2023-04-12 19:10:50 +02:00
  • 5dce7d9075 FIXED: enforce equality also for ground elements in tuples Markus Triska 2023-04-11 22:31:09 +02:00
  • f08f539768 do not create attributed variables for ground tuples Markus Triska 2023-04-11 21:24:34 +02:00
  • be45672e22 actually disable and reenable the queue Markus Triska 2023-04-11 21:19:10 +02:00
  • 94efb9ffe3 remove no longer needed clpz_relation attributes Markus Triska 2023-04-11 21:16:02 +02:00
  • fd1e902492 do not leave an attribute when (re-)enabling a queue Markus Triska 2023-04-11 21:14:18 +02:00
  • 8d6e3d7d56 Merge pull request #1776 from infogulch/master Mark Thom 2023-04-07 06:09:08 +02:00
  • a197bb6815 Allow the test suite to fail without failing the build infogulch 2023-04-06 09:40:03 -05:00
  • 9de8456c7f Add logtalk test suite infogulch 2023-04-02 15:47:02 -05:00
  • ebf8091dba Test workflow cleanup; switch to macos-11 infogulch 2023-04-02 14:47:52 -05:00
  • 47ce84b273 Merge pull request #1772 from triska/number_chars Mark Thom 2023-04-02 19:24:59 +02:00
  • 449e097f4a Merge pull request #1774 from infogulch/master Mark Thom 2023-04-02 19:24:36 +02:00
  • fe27605497 FIXED: number_chars(N, "0' "), addressing #1580. Markus Triska 2023-04-01 20:29:02 +02:00
  • 8792ee438c Add cache step to test workflow infogulch 2023-04-01 18:11:35 -05:00
  • 7279062d3c Merge pull request #1770 from triska/doc Mark Thom 2023-04-01 23:28:19 +02:00
  • b87fe1e21f DOC: link to "Indexing dif/2" Markus Triska 2023-04-01 10:42:58 +02:00
  • d6ac125425 DOC: explain location of scryer-prolog after compilation Markus Triska 2023-04-01 10:42:13 +02:00
  • b79d8732ea use the release flag so that the instructions can be used verbatim Markus Triska 2023-04-01 10:59:32 +02:00
  • 3df0806017 change "run" to "build", since "run" leads to a Scryer prompt which can be unexpected Markus Triska 2023-04-01 10:50:32 +02:00
  • c7759aa737 Merge pull request #1769 from triska/show_pending_constraints Mark Thom 2023-03-31 04:51:34 +02:00
  • 8ab1155fc5 ENHANCED: use call_residue_vars/2 to show all pending constraints Markus Triska 2023-03-30 23:29:49 +02:00
  • adc77985d7 broaden the definition of alpha_char! (#1749, #1515, #1591) Mark Thom 2023-03-25 17:22:16 -06:00
  • d85fc7c9f8 Merge pull request #1765 from mthom/dependabot/cargo/openssl-0.10.48 Mark Thom 2023-03-25 06:20:00 +01:00
  • 41b083c962 Bump openssl from 0.10.42 to 0.10.48 dependabot[bot] 2023-03-25 01:27:40 +00:00
  • 4ee6a7bfb8 add '$unattributed_var' builtin (#1758) Mark Thom 2023-03-18 23:08:09 -06:00
  • 6e53d08d40 Merge pull request #1759 from triska/better_queue Mark Thom 2023-03-16 04:34:33 +01:00