Commit Graph

Select branches

Hide Pull Requests

exian-v0.10.0-patched

master

remove

v0.10.0

v0.8.110

v0.8.111

v0.8.112

v0.8.113

v0.8.114

v0.8.115

v0.8.116

v0.8.118

v0.8.119

v0.8.123

v0.8.127

v0.9.0

v0.9.1

v0.9.2

v0.9.3

v0.9.4

Mono Color

• 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