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

Commit Graph

  • 743602778f fix README Mark Thom 2017-03-05 10:04:45 -07:00
  • bad608a202 fix to README Mark Thom 2017-03-04 19:52:54 -07:00
  • 02827bc0e2 fix to README Mark Thom 2017-03-04 19:28:59 -07:00
  • 42ce902b3c transition to l3 Mark Thom 2017-03-04 19:22:43 -07:00
  • 97f6bee8c3 minor tweak Mark Thom 2017-02-28 13:33:28 -07:00
  • 6822be4bc9 minor tweaks. Mark Thom 2017-02-28 13:28:06 -07:00
  • 00ad58e741 remove todo Mark Thom 2017-02-27 12:36:52 -07:00
  • 42374f49dc codegen tweak. Mark Thom 2017-02-26 21:44:46 -07:00
  • e3e3f346e5 bug fixes, tests Mark Thom 2017-02-25 20:53:33 -07:00
  • 59eb04866a codegen bug fix. Mark Thom 2017-02-25 14:29:11 -07:00
  • d55224626f bug fix Mark Thom 2017-02-25 13:52:58 -07:00
  • 6346612caa typo fix Mark Thom 2017-02-25 12:30:27 -07:00
  • 80adc23984 new readme examples Mark Thom 2017-02-24 18:53:30 -07:00
  • 25eb8911f0 cosmetic changes Mark Thom 2017-02-24 18:05:17 -07:00
  • f47a161376 fix codegen bug (marking terms in rules too eagerly) Mark Thom 2017-02-24 17:54:33 -07:00
  • 2fccbb09c6 add heapview, move registers to HeapCellRef Mark Thom 2017-02-24 16:16:14 -07:00
  • cde396650c removed unnecessary lookup function Mark Thom 2017-02-22 16:04:24 -07:00
  • 4cdfc211e2 arity bug fix Mark Thom 2017-02-22 15:53:12 -07:00
  • 1b5f8a1db2 transition to l2 Mark Thom 2017-02-21 00:31:04 -07:00
  • 0c17344afe add dumb comments Mark Thom 2017-02-03 00:49:16 -07:00
  • 648b7d09fe slight polishing up, bug fixes Mark Thom 2017-02-02 16:09:18 -07:00
  • 23fc50417f bug fixes Mark Thom 2017-02-02 15:53:06 -07:00
  • a56e82f94d use CompiledFact in machine.rs Mark Thom 2017-01-29 15:03:16 -07:00
  • 33ab3ac153 codegen bug fix. Mark Thom 2017-01-27 23:26:25 -07:00
  • 081db5a38c transition to l1 Mark Thom 2017-01-27 22:06:19 -07:00
  • 0c6926b3cb fix unification bugs. Mark Thom 2017-01-27 21:54:53 -07:00
  • e7af3dc57a remove unnecessary Sized trait on CompilationTarget Mark Thom 2017-01-22 11:26:23 -07:00
  • ed2343be9f streamline code generation with iterators and traits Mark Thom 2017-01-22 11:24:29 -07:00
  • 9be3445517 cosmetic changes. Mark Thom 2016-12-26 14:09:24 -07:00
  • 92ab8406ef remove unnecessary lifetime. Mark Thom 2016-12-18 15:19:30 -07:00
  • 2874c172ba use references when executing instructions, not moves. Mark Thom 2016-12-01 17:33:02 -07:00
  • d46197f1fd fixes to binding. Mark Thom 2016-10-30 21:49:27 -06:00
  • 1272d97311 remove Term impl Mark Thom 2016-10-30 20:32:13 -06:00
  • 509b7838c7 codegen fix Mark Thom 2016-10-30 00:19:25 -06:00
  • 63075c9739 codegen fixes Mark Thom 2016-10-29 13:18:12 -06:00
  • 36ca0087c9 update Mark Thom 2016-10-28 23:49:21 -06:00
  • 5079728dbf add linebreaks Mark Thom 2016-10-28 20:00:44 -06:00
  • 5b61261cda add linebreaks Mark Thom 2016-10-28 20:00:17 -06:00
  • 57575a1523 add linebreaks Mark Thom 2016-10-28 19:58:43 -06:00
  • 2227f10d45 add linebreaks Mark Thom 2016-10-28 19:57:43 -06:00
  • 01dcca1b4d add linebreaks Mark Thom 2016-10-28 19:56:30 -06:00
  • 78f00ee562 add linebreaks Mark Thom 2016-10-28 19:54:42 -06:00
  • 8d1441e20f Initial commit. Mark Thom 2016-10-28 19:53:08 -06:00
  • a8b1d8bd4d Initial commit Mark Thom 2016-10-28 19:44:10 -06:00