rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,893 Commits 2 Branches 18 Tags
57ef706eb0ef7e0907b0260abc9b6fba37c21c18
Commit Graph
2893 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Mark Thom c513bbeafa another big refactor 2018-01-11 20:56:04 -07:00
Mark Thom 59ccf5d8e8 delete needless use 2018-01-11 17:07:29 -07:00
Mark Thom 930d00a806 document arg, functor, conditionals 2018-01-11 16:13:13 -07:00
Mark Thom 848068c734 transition to reference counted constants 2018-01-09 22:38:17 -07:00
Mark Thom 9b225a0a56 claw back version number 2018-01-09 17:11:17 -07:00
Mark Thom d49157bef6 add provisional functor and arg support, and give ';' and '->' their true semantics 2018-01-08 21:14:19 -07:00
Mark Thom 750e7d91ed trim down set_cp 2017-12-25 14:01:36 -07:00
Mark Thom a00d9ee5ae correct ',', backtrack bugs 2017-12-25 13:36:03 -07:00
Mark Thom 8fbe798362 correction to -> offset 2017-12-25 00:29:42 -07:00
Mark Thom 2efa7564ba remove print_code diagnostic 2017-12-25 00:10:40 -07:00
Mark Thom 2d4e4c59de remove Terminal, correct , bugs 2017-12-25 00:04:52 -07:00
Mark Thom 2dc25400ce indexing bug fixes, corrections to , 2017-12-24 15:44:40 -07:00
Mark Thom eab95a360a Merge branch 'master' of http://github.com/mthom/rusty-wam 2017-12-23 23:23:45 -07:00
Mark Thom ca16768f7e add beginning support for ',', ';', '->' 2017-12-23 23:23:30 -07:00
Mark Thom 6e87e35c7c update README 2017-12-22 12:52:55 -07:00
Mark Thom 8e38d39058 update README 2017-12-22 12:43:06 -07:00
Mark Thom f8555682d0 update README 2017-12-22 12:39:35 -07:00
Mark Thom efa8756177 correct with_capacity function in Heap ADT 2017-12-11 09:53:05 -07:00
Mark Thom 829b8278da add to README 2017-12-10 19:32:52 -07:00
Mark Thom 2dc7832f59 update README, heap ADT 2017-12-10 13:55:49 -07:00
Mark Thom 9d944e2268 is_call and is_execute are jump instructions. 2017-12-10 12:31:01 -07:00
Mark Thom 37f4450c34 bug fixes on LCO, backtracking. 2017-12-10 01:24:23 -07:00
Mark Thom e44ad111c5 don't truly truncate the heap. 2017-12-08 21:38:52 -07:00
Mark Thom cee2d5a9c4 don't truly truncate the heap. 2017-12-08 21:38:18 -07:00
Mark Thom cf6a47272a inline comparison instructions. 2017-12-04 21:01:23 -07:00
Mark Thom 8e5aaf02a4 update README, toplevel parsing for comparison operators. 2017-12-04 10:18:29 -07:00
Mark Thom 7b569becbe add support for comparison operators. 2017-12-03 17:44:51 -07:00