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

Commit Graph

  • 61bc5a2a29 fix compile_seq, variable printing on standalone inlines. Mark Thom 2018-02-16 22:18:17 -07:00
  • 280dbe9539 clear unintended whitespace Mark Thom 2018-02-16 16:21:37 -07:00
  • cf67b938c0 add structural equality and inequality predicates. Mark Thom 2018-02-15 18:31:03 -07:00
  • f1ac75f21d add (\=)/2. Mark Thom 2018-02-14 23:21:56 -07:00
  • a13501dc1a add term comparison operators. Mark Thom 2018-02-13 23:53:16 -07:00
  • 1a5eab180a add term comparison operators. Mark Thom 2018-02-13 23:52:52 -07:00
  • ae323a0cdf add term comparison operators. Mark Thom 2018-02-13 23:34:44 -07:00
  • a1fb4f529b move several builtins to control. Mark Thom 2018-02-12 18:30:44 -07:00
  • 47055d189d fix allocator bug. Mark Thom 2018-02-11 15:21:30 -07:00
  • 54e36f0d24 correct allocation bugs. Mark Thom 2018-02-11 12:03:13 -07:00
  • e7560150b0 add eq, neq predicates. Mark Thom 2018-02-10 23:34:30 -07:00
  • 211bdd3a13 correct acyclic iteration. Mark Thom 2018-02-09 16:31:56 -07:00
  • 5b1475435a fix crashes caused by inlined optimization. Mark Thom 2018-02-09 00:09:34 -07:00
  • 9c1b48865b add ground/1. Mark Thom 2018-02-08 23:51:05 -07:00
  • df3e8b8fce minor cleanup. Mark Thom 2018-02-08 18:29:45 -07:00
  • 1b4d1c04c9 finalize transition to CutPolicy trait object. Mark Thom 2018-02-07 21:46:40 -07:00
  • 1bf9c0d205 defer cut actions to cut policy trait objects. Mark Thom 2018-02-06 23:41:31 -07:00
  • f01997ba3f fix bug in is/2 code generation. Mark Thom 2018-02-05 22:33:25 -07:00
  • 9d5f897fed add more type predicates. Mark Thom 2018-02-05 20:10:41 -07:00
  • 8326a573d9 cosmetic touchups; Mark Thom 2018-02-04 22:28:41 -07:00
  • 2c7dc9e2c6 parse negation properly. Mark Thom 2018-02-03 18:39:55 -07:00
  • 4b33c4a6ca parse negation. Mark Thom 2018-02-03 18:27:12 -07:00
  • b99f5064f0 fix arg_ bug. Mark Thom 2018-02-03 12:24:43 -07:00
  • 23f81946c5 reverse builtin instructions Mark Thom 2018-02-02 17:10:57 -07:00
  • 9c2e8dfd72 fix setup_call_cleanup bug Mark Thom 2018-02-01 23:39:03 -07:00
  • 7b5a2786da add support for setup_call_cleanup Mark Thom 2018-02-01 23:03:57 -07:00
  • d1c281ac0a clean up codegen.rs Mark Thom 2018-01-31 19:49:48 -07:00
  • b761575f7f add library routines for lists. Mark Thom 2018-01-30 01:00:46 -07:00
  • 2628e27595 add batch processing. Mark Thom 2018-01-30 00:59:42 -07:00
  • 9ce6403244 prepare for batch processing Mark Thom 2018-01-29 22:07:56 -07:00
  • 73714e8aa2 prepare for batch processing. Mark Thom 2018-01-29 22:04:51 -07:00
  • bb49f35027 prepare for batch processing. Mark Thom 2018-01-29 16:17:12 -07:00
  • a1070ceacb prepare for batch processing Mark Thom 2018-01-29 16:08:24 -07:00
  • 53c6fc1f1b prepare for batch processing. Mark Thom 2018-01-29 00:26:33 -07:00
  • e148152eef prepare for batch processing. Mark Thom 2018-01-28 23:25:39 -07:00
  • f72ad860c6 add item to README Mark Thom 2018-01-28 17:37:00 -07:00
  • 17d98f3942 fix bug in printer over lists. Mark Thom 2018-01-27 18:28:20 -07:00
  • 60440ea86b tighten =.. code Mark Thom 2018-01-27 15:54:05 -07:00
  • 4f645b4664 add length, =.., more tests of builtins. Mark Thom 2018-01-27 15:37:59 -07:00
  • f939a9e129 correct marker bug, edit README. Mark Thom 2018-01-27 01:27:17 -07:00
  • 1412071ea9 disjunctions do operate correctly (so far), write more tests. Mark Thom 2018-01-27 00:23:32 -07:00
  • 6894162c91 cleanup notes and sloppy formatting. Mark Thom 2018-01-27 00:14:10 -07:00
  • ab7ba0a207 write tests to detect disjunction bugs Mark Thom 2018-01-26 23:26:19 -07:00
  • a9a397c047 add more tests for builtins. Mark Thom 2018-01-25 22:25:00 -07:00
  • d240eaca78 add tests for builtins Mark Thom 2018-01-25 21:01:23 -07:00
  • 700f031cd9 remove indirection in jmp instructions Mark Thom 2018-01-25 09:10:30 -07:00
  • f2124448d0 add tests for conditionals Mark Thom 2018-01-24 22:30:20 -07:00
  • 41dc8e8d6a inline and expand conditionals whenever possible Mark Thom 2018-01-23 21:01:53 -07:00
  • 677beedec3 update tests to properly reflect answer order. Mark Thom 2018-01-20 15:08:55 -07:00
  • 03c96d45b3 update README Mark Thom 2018-01-19 23:22:54 -07:00
  • be0ec3f9b4 add tests for callable is, comparisons. Mark Thom 2018-01-19 21:01:01 -07:00
  • f28b975343 add call support for numeric comparisons. Mark Thom 2018-01-19 19:39:46 -07:00
  • f9b53856ac add callable is/2 Mark Thom 2018-01-19 00:08:55 -07:00
  • 1b402b2673 clean up arithmetic.rs Mark Thom 2018-01-18 19:54:15 -07:00
  • 8f012ecfd3 move instruction increment Mark Thom 2018-01-17 23:19:49 -07:00
  • 1fefcc2d28 abstract out iterator for arithmetic terms. Mark Thom 2018-01-17 22:43:46 -07:00
  • f95901a6d0 change arithmetic evaluation iterator to new target type Mark Thom 2018-01-17 21:39:59 -07:00
  • d8be7b5b49 add an atom table. Mark Thom 2018-01-16 23:26:59 -07:00
  • 38cd9e5db7 expand remaining tests. Mark Thom 2018-01-16 19:53:49 -07:00
  • 4597a1d5a8 add tests on lists Mark Thom 2018-01-16 09:41:45 -07:00
  • 30d1336b25 add cut tests Mark Thom 2018-01-16 09:12:25 -07:00
  • f59763da67 start adding output checks to test Mark Thom 2018-01-15 23:42:09 -07:00
  • bdb7da3ccf correct formatting on heap_print Mark Thom 2018-01-15 20:28:25 -07:00
  • f265546203 abstract Outputter of heap_print Mark Thom 2018-01-15 20:18:08 -07:00
  • 579b9f21dc remove preliminary file Mark Thom 2018-01-15 09:20:11 -07:00
  • a4022d569f fix duplicate_term bug Mark Thom 2018-01-14 23:05:15 -07:00
  • 08b94dcdf5 add display predicate Mark Thom 2018-01-14 22:11:02 -07:00
  • 58ba368280 mark structures with their fixity Mark Thom 2018-01-14 21:48:10 -07:00
  • b2b4ce6877 print ops properly. Mark Thom 2018-01-14 20:46:03 -07:00
  • d1a1463ff2 remove commented out print_term Mark Thom 2018-01-13 21:53:38 -07:00
  • 933c4ada35 remove commented out print_term Mark Thom 2018-01-13 21:53:12 -07:00
  • 0fb64f412e refactor heapview Mark Thom 2018-01-13 21:50:47 -07:00
  • 20972f18c2 update token type Mark Thom 2018-01-12 22:26:57 -07:00
  • b5844eaf19 move MachineState to a submodule Mark Thom 2018-01-11 22:02:34 -07:00
  • c513bbeafa another big refactor Mark Thom 2018-01-11 20:56:04 -07:00
  • 59ccf5d8e8 delete needless use Mark Thom 2018-01-11 17:07:29 -07:00
  • 930d00a806 document arg, functor, conditionals Mark Thom 2018-01-11 16:13:13 -07:00
  • 848068c734 transition to reference counted constants Mark Thom 2018-01-09 22:38:17 -07:00
  • 9b225a0a56 claw back version number Mark Thom 2018-01-09 17:11:17 -07:00
  • d49157bef6 add provisional functor and arg support, and give ';' and '->' their true semantics Mark Thom 2018-01-08 21:14:19 -07:00
  • 750e7d91ed trim down set_cp Mark Thom 2017-12-25 14:01:36 -07:00
  • a00d9ee5ae correct ',', backtrack bugs Mark Thom 2017-12-25 13:36:03 -07:00
  • 8fbe798362 correction to -> offset Mark Thom 2017-12-25 00:29:42 -07:00
  • 2efa7564ba remove print_code diagnostic Mark Thom 2017-12-25 00:10:40 -07:00
  • 2d4e4c59de remove Terminal, correct , bugs Mark Thom 2017-12-25 00:04:52 -07:00
  • 2dc25400ce indexing bug fixes, corrections to , Mark Thom 2017-12-24 15:44:40 -07:00
  • eab95a360a Merge branch 'master' of http://github.com/mthom/rusty-wam Mark Thom 2017-12-23 23:23:45 -07:00
  • ca16768f7e add beginning support for ',', ';', '->' Mark Thom 2017-12-23 23:23:30 -07:00
  • 6e87e35c7c update README Mark Thom 2017-12-22 12:52:55 -07:00
  • 8e38d39058 update README Mark Thom 2017-12-22 12:43:06 -07:00
  • f8555682d0 update README Mark Thom 2017-12-22 12:39:35 -07:00
  • efa8756177 correct with_capacity function in Heap ADT Mark Thom 2017-12-11 09:53:05 -07:00
  • 829b8278da add to README Mark Thom 2017-12-10 19:32:52 -07:00
  • 2dc7832f59 update README, heap ADT Mark Thom 2017-12-10 13:55:49 -07:00
  • 9d944e2268 is_call and is_execute are jump instructions. Mark Thom 2017-12-10 12:31:01 -07:00
  • 37f4450c34 bug fixes on LCO, backtracking. Mark Thom 2017-12-10 01:24:23 -07:00
  • e44ad111c5 don't truly truncate the heap. Mark Thom 2017-12-08 21:38:52 -07:00
  • cee2d5a9c4 don't truly truncate the heap. Mark Thom 2017-12-08 21:38:18 -07:00
  • cf6a47272a inline comparison instructions. Mark Thom 2017-12-04 21:01:23 -07:00
  • 8e5aaf02a4 update README, toplevel parsing for comparison operators. Mark Thom 2017-12-04 10:18:29 -07:00