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

Commit Graph

  • 43a297b691 DOC: add DocLog documentation for library(diag) Markus Triska 2023-01-25 00:06:53 +01:00
  • df266378c4 Merge pull request #1689 from triska/clpb_doc Mark Thom 2023-01-24 22:51:35 +01:00
  • ec55765cb2 Merge pull request #1697 from triska/crypto_doc Mark Thom 2023-01-24 22:46:14 +01:00
  • de2ff8118f Merge pull request #1696 from triska/clpz_doc Mark Thom 2023-01-24 22:45:51 +01:00
  • c30c9dc98f Merge pull request #1698 from triska/time_doc Mark Thom 2023-01-24 22:43:53 +01:00
  • 1f872c3f0c Merge pull request #1694 from aarroyoc/docs-dcgs Mark Thom 2023-01-24 22:43:43 +01:00
  • b6204eb6f1 Merge pull request #1699 from triska/sgml_doc Mark Thom 2023-01-24 22:43:22 +01:00
  • af9f0f81d8 DOC: convert library(sgml) documentation to DocLog format Markus Triska 2023-01-24 22:42:58 +01:00
  • 1c08b56e05 strengthen reified division for divisor == 1 Markus Triska 2023-01-21 16:01:30 +01:00
  • 6cb8020f62 DOC: add CLP(B) documentation in DocLog format Markus Triska 2023-01-21 16:16:53 +01:00
  • d742d4cde9 DOC: convert library(time) documentation to DocLog format Markus Triska 2023-01-24 22:10:40 +01:00
  • b7d06540e6 DOC: convert library(crypto) documentation to DocLog format Markus Triska 2023-01-24 21:11:07 +01:00
  • 909f2e1058 DOC: improve CLP(ℤ) DocLog documentation Markus Triska 2023-01-24 20:06:32 +01:00
  • 26d39c3617 Merge pull request #1695 from aarroyoc/website Mark Thom 2023-01-24 20:29:48 +01:00
  • 371bc3b231 Merge pull request #1676 from aarroyoc/docs-http-server Mark Thom 2023-01-24 04:09:39 +01:00
  • bdeabcdd89 Website page Adrián Arroyo Calle 2023-01-23 23:51:27 +01:00
  • 7f177c3d03 Compatible Doclog docs for library(dcgs) Adrián Arroyo Calle 2023-01-23 21:03:11 +01:00
  • 4ed36a12e9 Merge branch 'retract_improvements' Mark Thom 2023-01-22 21:04:55 -07:00
  • a7e93db363 improve retract/1 and related predicates (#1598) Mark Thom 2023-01-22 20:14:36 -07:00
  • 789715f31a Merge pull request #1693 from aarroyoc/docs-xpath Mark Thom 2023-01-23 04:04:00 +01:00
  • 7cc900d437 Merge pull request #1691 from aarroyoc/docs-os-3 Mark Thom 2023-01-23 04:02:57 +01:00
  • ff0f6f4fc2 Merge pull request #1690 from aarroyoc/docs-charsio Mark Thom 2023-01-23 04:02:02 +01:00
  • 5698e8f21a Merge pull request #1692 from aarroyoc/docs-between Mark Thom 2023-01-23 04:00:11 +01:00
  • ddcae2c906 Compatible Doclog docs for library(xpath). Adrián Arroyo Calle 2023-01-22 21:22:54 +01:00
  • 468d096ccb Compatible Doclog docs for library(between). Adrián Arroyo Calle 2023-01-22 20:26:30 +01:00
  • bca79d12c0 Compatible Doclog docs for library(os) Adrián Arroyo Calle 2023-01-22 17:45:50 +01:00
  • 03eba9594b Compatible Doclog docs for library(charsio) Adrián Arroyo Calle 2023-01-21 21:05:13 +01:00
  • 5e0e3e2754 Merge pull request #1687 from gruhn/master Mark Thom 2023-01-21 05:02:33 +01:00
  • 04fd835267 Merge pull request #1688 from aarroyoc/djot-migration Mark Thom 2023-01-21 04:48:26 +01:00
  • f072761150 Fix assoc.pl file Adrián Arroyo Calle 2023-01-19 21:18:40 +01:00
  • 46d1e3bee3 Migrate from Markdown to Djot Adrián Arroyo Calle 2023-01-19 21:15:25 +01:00
  • f8e6e0252d Use lastest 1.xx Rust version in Docker build Niklas Gruhn 2023-01-18 19:08:19 +01:00
  • f9e3bdb6b0 restore free list usage on structures in facts without crashing lgtunit loader Mark Thom 2023-01-13 18:34:29 -07:00
  • a80aab48cd Merge pull request #1677 from aarroyoc/docs-dif Mark Thom 2023-01-13 07:50:17 +01:00
  • 3a4aa2a541 tighten deallocate truncation of stack (#1686) Mark Thom 2023-01-12 23:46:57 -07:00
  • 84583da5b8 Merge pull request #1685 from triska/reify_sign Mark Thom 2023-01-11 17:41:14 +01:00
  • f213956ceb use (#)/1 Markus Triska 2023-01-11 17:23:53 +01:00
  • c5caa9d311 ADDED: sign/1 is now reifiable. Markus Triska 2023-01-11 17:22:38 +01:00
  • 0c4d93f01f remove add_term_to_free_list from AddToList (#1684) Mark Thom 2023-01-10 18:24:38 -07:00
  • a4e8bfc1ba Merge pull request #1682 from triska/reify_slash Mark Thom 2023-01-10 23:44:48 +01:00
  • 542b9e1976 rely on newly available operator notation for (#)/1 Markus Triska 2023-01-10 22:59:11 +01:00
  • 73a1ee59fa replace several more instances of ?/1 by (#)/1 Markus Triska 2023-01-10 22:57:14 +01:00
  • 2771109427 use (#)/1 already internally for describing constraint projections Markus Triska 2023-01-10 22:50:38 +01:00
  • cc420bd31a FIXED: reification of (xor)/2. Markus Triska 2023-01-10 22:06:16 +01:00
  • 2fe1d2ef53 FIXED: correctly reify (/)/2. Markus Triska 2023-01-10 17:10:45 +01:00
  • bb624cc971 use free lists to allow register re-use (#1612) Mark Thom 2023-01-08 12:10:38 -07:00
  • aa7b8e52f3 use '$enqueue_attr_var' when adding attributes only Mark Thom 2022-12-24 00:31:39 -07:00
  • 07f358c91b Compatible Doclog docs for library(dif) Adrián Arroyo Calle 2022-12-22 23:23:07 +01:00
  • 8ae0a1a4af Compatible Doclog docs for library(http/http_server) Adrián Arroyo Calle 2022-12-22 22:36:33 +01:00
  • 7647ad14b8 More feedback applied Adrián Arroyo Calle 2022-12-21 23:19:38 +01:00
  • 21e4347b3e Apply some feedback Adrián Arroyo Calle 2022-12-21 22:32:36 +01:00
  • f2d041ea23 Merge branch 'master' into docs-builtins Adrián Arroyo Calle 2022-12-21 21:29:22 +01:00
  • 56c1c4e43c Compatible Doclog docs for builtins Adrián Arroyo Calle 2022-12-21 21:28:16 +01:00
  • 820011412b Merge pull request #1658 from aarroyoc/copy_file Mark Thom 2022-12-18 21:22:25 +01:00
  • 81afa6942f Merge pull request #1672 from triska/deref_register Mark Thom 2022-12-18 21:21:58 +01:00
  • 6cb8d7596a dereference more registers, analogous to d660e4244f Markus Triska 2022-12-18 17:43:33 +01:00
  • a2d46af5ac Merge pull request #1671 from aarroyoc/docs-iso-ext Mark Thom 2022-12-18 00:38:22 +01:00
  • 6d94b8ab75 Merge pull request #1669 from aarroyoc/docs-http-open Mark Thom 2022-12-18 00:38:13 +01:00
  • 0166c3bf0f Compatible Doclog docs for library(iso_ext) Adrián Arroyo Calle 2022-12-17 22:46:44 +01:00
  • 6a995fb62b Compatible Doclog docs for library(http/http_open). Adrián Arroyo Calle 2022-12-17 20:43:43 +01:00
  • d804d8a92e use proper dynamic arities in JmpByCall and JmpByExecute (#1605, #1606) Mark Thom 2022-12-17 11:54:20 -07:00
  • cf63e8375d track attr_var_init lengths on the stack (#1667) Mark Thom 2022-12-16 00:42:31 -07:00
  • 1eff758751 update README to point to local wambook (#1668) Mark Thom 2022-12-16 00:45:00 -07:00
  • 0a8fc70ba9 detect cyclic bindings in attr_vars_of_term (#1666) Mark Thom 2022-12-15 23:26:36 -07:00
  • b4b72a3166 Merge pull request #1662 from mthom/interpreting_disj Mark Thom 2022-12-16 04:36:02 +01:00
  • a5054c0064 use append/3 rather than set_difference/3 to gather witnesses in bagof/3 and setof/3 (#1663, #1664) Mark Thom 2022-12-12 23:55:43 -07:00
  • 705f421d53 Merge pull request #1661 from aarroyoc/lcm2 Mark Thom 2022-12-12 00:38:40 +01:00
  • 4dc0114c52 fix mishandled if-then-else interpretation (#1659) Mark Thom 2022-12-11 16:11:57 -07:00
  • 5f2c77fa74 Add predicate lcm/2 to library(arithmetic) Adrián Arroyo Calle 2022-12-11 21:49:41 +01:00
  • 5f703afed1 Rename copy_file/2 to file_copy/2 Adrián Arroyo Calle 2022-12-11 00:08:41 +01:00
  • c6aa2068e2 Add predicate copy_file/2 in library(files) Adrián Arroyo Calle 2022-12-09 23:46:00 +01:00
  • 209f7a239a Merge pull request #1657 from aarroyoc/docs-files Mark Thom 2022-12-10 18:09:01 +01:00
  • 0d404ad374 Merge pull request #1656 from aarroyoc/docs-ordsets Mark Thom 2022-12-10 18:08:45 +01:00
  • d5db0c641c Merge pull request #1655 from triska/deref_register Mark Thom 2022-12-10 18:08:26 +01:00
  • 21d6220f3f Compatible Doclog docs for library(files) Adrián Arroyo Calle 2022-12-08 23:41:28 +01:00
  • e0464d5447 Compatible Doclog docs for library(ordsets) Adrián Arroyo Calle 2022-12-08 22:30:48 +01:00
  • 309e5b320e more uses of newly available deref_register(n) Markus Triska 2022-12-07 23:14:08 +01:00
  • afa9703eb5 Merge pull request #1653 from triska/deref_register Mark Thom 2022-12-07 05:52:07 +01:00
  • 56e5da6680 introduce and use deref_register(n) Markus Triska 2022-12-06 20:24:08 +01:00
  • a8810d73e4 Merge pull request #1652 from aarroyoc/docs-lists Mark Thom 2022-12-06 17:57:46 +01:00
  • 4b31c30cab Merge pull request #1651 from aarroyoc/docs-sockets Mark Thom 2022-12-06 17:57:36 +01:00
  • df4b56148f Compatible Doclog docs for library(lists) Adrián Arroyo Calle 2022-12-06 13:19:10 +01:00
  • f22a48f576 Compatible Doclog docs for library(sockets) Adrián Arroyo Calle 2022-12-06 11:58:26 +01:00
  • d660e4244f dereference encoding register in crypto_data_decrypt (#1650) Mark Thom 2022-12-05 23:28:44 -07:00
  • d383e5eb8b avoid pushing stack variables to the heap in get_continuation_chunk (#1644) Mark Thom 2022-12-05 23:17:15 -07:00
  • e1dc114517 Merge pull request #1649 from aarroyoc/docs-ugraphs Mark Thom 2022-12-05 06:05:13 +01:00
  • 73780ebf63 Merge pull request #1648 from aarroyoc/docs-random Mark Thom 2022-12-05 06:05:02 +01:00
  • a19f7a0b9f Merge pull request #1647 from aarroyoc/docs-uuid Mark Thom 2022-12-05 06:04:48 +01:00
  • e07473d155 Merge pull request #1646 from aarroyoc/docs-assoc Mark Thom 2022-12-05 06:04:30 +01:00
  • d429b263eb Compatible Doclog docs for library(ugraphs) Adrián Arroyo Calle 2022-12-05 00:09:32 +01:00
  • b2a0d0c1c7 Compatible Doclog docs for library(random) Adrián Arroyo Calle 2022-12-02 23:43:24 +01:00
  • 8bafd7adb1 Compatible Doclog docs for library(uuid) Adrián Arroyo Calle 2022-12-02 23:23:16 +01:00
  • 76d24fe4e3 Compatible Doclog docs for library(assoc) Adrián Arroyo Calle 2022-12-02 23:05:03 +01:00
  • 3bdcc3aba9 return -1 from get_code to indicate end of file (#1622) Mark Thom 2022-11-18 18:19:29 -07:00
  • cb25b27963 Merge pull request #1640 from gruhn/master Mark Thom 2022-11-16 20:57:35 +01:00
  • b3df81c143 Adjust Github Action: Docker Publish Niklas Gruhn 2022-11-14 23:19:07 +01:00
  • 68b3c480c9 update Dockerfile to use rustc 1.61 Mark Thom 2022-11-14 21:18:03 -07:00
  • 9fd1bf5574 mention #scryer in README Mark Thom 2022-11-14 21:16:46 -07:00
  • b491a06c6d README rustc version bump Mark Thom 2022-11-14 21:13:52 -07:00
  • d16312a314 use existing bindings in compile_is (#1545) Mark Thom 2022-11-13 22:58:00 -07:00