rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
270 Commits 2 Branches 18 Tags
ab182b6e3b6418dff804f6420c3b36583fba15da
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom ab182b6e3b add error messages on failed batch entry 2018-03-07 17:19:28 -07:00
Mark Thom beeb246632 cleanup README 2018-03-05 21:18:55 -07:00
Mark Thom b1c41f211b add qualified imports 2018-03-05 21:13:07 -07:00
Mark Thom dbab7a8667 fix README 2018-03-04 21:38:55 -07:00
Mark Thom 6d3bde1144 correct module bugs 2018-03-04 21:37:29 -07:00
Mark Thom 0c66743db5 correct module bugs 2018-03-04 21:35:30 -07:00
Mark Thom ba6d753a56 remove module decls from toplevel when they are redeclared. 2018-03-03 22:31:10 -07:00
Mark Thom 7edf924c05 update README with build instructions 2018-03-03 16:48:00 -07:00
Mark Thom c4a206da02 simplify heap_iter.rs 2018-03-02 22:31:34 -07:00
Mark Thom 8a63623516 add provisional module support. 2018-03-02 22:28:12 -07:00
Mark Thom 33834609c3 add ; key. 2018-02-27 17:21:43 -07:00
Mark Thom 92cd018bc7 . 2018-02-26 19:28:19 -07:00
Mark Thom 7906982d4d clean up compile_seq. 2018-02-26 17:12:06 -07:00
Mark Thom 07675b3675 fix exception handling when thrown by throw_exception, and within setup_call_cleanup and call_with_inference_limit. 2018-02-25 23:43:37 -07:00
Mark Thom c133931134 add fixes, further test cases. 2018-02-25 22:38:28 -07:00
Mark Thom 82f0f7c7fe updated blurbs 2018-02-25 12:48:54 -07:00
Mark Thom cf9db43d5b major refactor. 2018-02-25 12:13:07 -07:00
Mark Thom 05c1275acf switch internal counts to use BigUint. 2018-02-24 09:41:25 -07:00
Mark Thom ec276a7766 add more tests. 2018-02-23 16:43:12 -07:00
Mark Thom 8d182b3f02 fix bugs in call_with_inference_limit 2018-02-23 00:16:40 -07:00
Mark Thom 5c5257bdbd add more tests 2018-02-22 18:33:00 -07:00
Mark Thom bdd4fe6eb3 add more tests 2018-02-22 17:00:03 -07:00
Mark Thom 9aac3cb086 add compare predicate. 2018-02-21 23:21:18 -07:00
Mark Thom 5de03444eb fix bugs in call_with_inference_limit 2018-02-21 19:46:15 -07:00
Mark Thom 7313472a70 add call_with_inference_limit 2018-02-19 22:34:56 -07:00
Mark Thom 8b566ab4e5 set compound to succeed on non-empty lists. 2018-02-16 22:34:27 -07:00
Mark Thom 61bc5a2a29 fix compile_seq, variable printing on standalone inlines. 2018-02-16 22:18:17 -07:00
Mark Thom 280dbe9539 clear unintended whitespace 2018-02-16 16:21:37 -07:00
Mark Thom cf67b938c0 add structural equality and inequality predicates. 2018-02-15 18:31:03 -07:00
Mark Thom f1ac75f21d add (\=)/2. 2018-02-14 23:21:56 -07:00
Mark Thom a13501dc1a add term comparison operators. 2018-02-13 23:53:16 -07:00
Mark Thom 1a5eab180a add term comparison operators. 2018-02-13 23:52:52 -07:00
Mark Thom ae323a0cdf add term comparison operators. 2018-02-13 23:34:44 -07:00
Mark Thom a1fb4f529b move several builtins to control. 2018-02-12 18:30:44 -07:00
Mark Thom 47055d189d fix allocator bug. 2018-02-11 15:21:30 -07:00
Mark Thom 54e36f0d24 correct allocation bugs. 2018-02-11 12:03:13 -07:00
Mark Thom e7560150b0 add eq, neq predicates. 2018-02-10 23:34:30 -07:00
Mark Thom 211bdd3a13 correct acyclic iteration. 2018-02-09 16:31:56 -07:00
Mark Thom 5b1475435a fix crashes caused by inlined optimization. 2018-02-09 00:09:34 -07:00
Mark Thom 9c1b48865b add ground/1. 2018-02-08 23:51:05 -07:00
Mark Thom df3e8b8fce minor cleanup. 2018-02-08 18:29:45 -07:00
Mark Thom 1b4d1c04c9 finalize transition to CutPolicy trait object. 2018-02-07 21:46:40 -07:00
Mark Thom 1bf9c0d205 defer cut actions to cut policy trait objects. 2018-02-06 23:41:31 -07:00
Mark Thom f01997ba3f fix bug in is/2 code generation. 2018-02-05 22:33:25 -07:00
Mark Thom 9d5f897fed add more type predicates. 2018-02-05 20:10:41 -07:00
Mark Thom 8326a573d9 cosmetic touchups; 2018-02-04 22:28:41 -07:00
Mark Thom 2c7dc9e2c6 parse negation properly. 2018-02-03 18:39:55 -07:00
Mark Thom 4b33c4a6ca parse negation. 2018-02-03 18:27:12 -07:00
Mark Thom b99f5064f0 fix arg_ bug. 2018-02-03 12:24:43 -07:00
Mark Thom 23f81946c5 reverse builtin instructions 2018-02-02 17:10:57 -07:00
Mark Thom 9c2e8dfd72 fix setup_call_cleanup bug 2018-02-01 23:39:03 -07:00
Mark Thom 7b5a2786da add support for setup_call_cleanup 2018-02-01 23:03:57 -07:00
Mark Thom d1c281ac0a clean up codegen.rs 2018-01-31 19:49:48 -07:00
Mark Thom b761575f7f add library routines for lists. 2018-01-30 01:00:46 -07:00
Mark Thom 2628e27595 add batch processing. 2018-01-30 00:59:42 -07:00
Mark Thom 9ce6403244 prepare for batch processing 2018-01-29 22:07:56 -07:00
Mark Thom 73714e8aa2 prepare for batch processing. 2018-01-29 22:04:51 -07:00
Mark Thom bb49f35027 prepare for batch processing. 2018-01-29 16:17:12 -07:00
Mark Thom a1070ceacb prepare for batch processing 2018-01-29 16:08:24 -07:00
Mark Thom 53c6fc1f1b prepare for batch processing. 2018-01-29 00:26:33 -07:00
Mark Thom e148152eef prepare for batch processing. 2018-01-28 23:25:39 -07:00
Mark Thom f72ad860c6 add item to README 2018-01-28 17:37:00 -07:00
Mark Thom 17d98f3942 fix bug in printer over lists. 2018-01-27 18:28:20 -07:00
Mark Thom 60440ea86b tighten =.. code 2018-01-27 15:54:05 -07:00
Mark Thom 4f645b4664 add length, =.., more tests of builtins. 2018-01-27 15:37:59 -07:00
Mark Thom f939a9e129 correct marker bug, edit README. 2018-01-27 01:27:17 -07:00
Mark Thom 1412071ea9 disjunctions do operate correctly (so far), write more tests. 2018-01-27 00:23:32 -07:00
Mark Thom 6894162c91 cleanup notes and sloppy formatting. 2018-01-27 00:14:10 -07:00
Mark Thom ab7ba0a207 write tests to detect disjunction bugs 2018-01-26 23:26:19 -07:00
Mark Thom a9a397c047 add more tests for builtins. 2018-01-25 22:25:00 -07:00
Mark Thom d240eaca78 add tests for builtins 2018-01-25 21:01:23 -07:00
Mark Thom 700f031cd9 remove indirection in jmp instructions 2018-01-25 09:10:30 -07:00
Mark Thom f2124448d0 add tests for conditionals 2018-01-24 22:30:20 -07:00
Mark Thom 41dc8e8d6a inline and expand conditionals whenever possible 2018-01-23 21:01:53 -07:00
Mark Thom 677beedec3 update tests to properly reflect answer order. 2018-01-20 15:08:55 -07:00
Mark Thom 03c96d45b3 update README 2018-01-19 23:22:54 -07:00
Mark Thom be0ec3f9b4 add tests for callable is, comparisons. 2018-01-19 21:01:01 -07:00
Mark Thom f28b975343 add call support for numeric comparisons. 2018-01-19 19:39:46 -07:00
Mark Thom f9b53856ac add callable is/2 2018-01-19 00:08:55 -07:00
Mark Thom 1b402b2673 clean up arithmetic.rs 2018-01-18 19:54:15 -07:00
Mark Thom 8f012ecfd3 move instruction increment 2018-01-17 23:19:49 -07:00
Mark Thom 1fefcc2d28 abstract out iterator for arithmetic terms. 2018-01-17 22:43:46 -07:00
Mark Thom f95901a6d0 change arithmetic evaluation iterator to new target type 2018-01-17 21:39:59 -07:00
Mark Thom d8be7b5b49 add an atom table. 2018-01-16 23:26:59 -07:00
Mark Thom 38cd9e5db7 expand remaining tests. 2018-01-16 19:53:49 -07:00
Mark Thom 4597a1d5a8 add tests on lists 2018-01-16 09:41:45 -07:00
Mark Thom 30d1336b25 add cut tests 2018-01-16 09:12:25 -07:00
Mark Thom f59763da67 start adding output checks to test 2018-01-15 23:42:09 -07:00
Mark Thom bdb7da3ccf correct formatting on heap_print 2018-01-15 20:28:25 -07:00
Mark Thom f265546203 abstract Outputter of heap_print 2018-01-15 20:18:08 -07:00
Mark Thom 579b9f21dc remove preliminary file 2018-01-15 09:20:11 -07:00
Mark Thom a4022d569f fix duplicate_term bug 2018-01-14 23:05:15 -07:00
Mark Thom 08b94dcdf5 add display predicate 2018-01-14 22:11:02 -07:00
Mark Thom 58ba368280 mark structures with their fixity 2018-01-14 21:48:10 -07:00
Mark Thom b2b4ce6877 print ops properly. 2018-01-14 20:46:03 -07:00
Mark Thom d1a1463ff2 remove commented out print_term 2018-01-13 21:53:38 -07:00
Mark Thom 933c4ada35 remove commented out print_term 2018-01-13 21:53:12 -07:00
Mark Thom 0fb64f412e refactor heapview 2018-01-13 21:50:47 -07:00
Mark Thom 20972f18c2 update token type 2018-01-12 22:26:57 -07:00
Mark Thom b5844eaf19 move MachineState to a submodule 2018-01-11 22:02:34 -07:00