]> hydra-www.ietfng.org Git - dyna2/commit
projects / dyna2 / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17b9eb1) | patch
Generate update plans for backchained items
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Fri, 5 Jul 2013 18:12:04 +0000 (14:12 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Fri, 5 Jul 2013 18:17:37 +0000 (14:17 -0400)
commit82500e410fb5a61a14fafa73a6c93f7ab16fb4f8
tree620f75c4c7d433d32f08c3f5f89962d60545a34atree | snapshot
parent17b9eb184536c2e51bfd6c9d6c7517d09eb1ecdccommit | diff
Generate update plans for backchained items

This is necessary to allow retraction.

While here, wire up a backchain example into the test harness.
examples/expected/factorial-bc.py.out [new file with mode: 0644] blob
examples/factorial-bc.dyna [moved from examples/backchain.dyna with 100% similarity] blob | history
src/Dyna/Analysis/RuleMode.hs diff | blob | history
src/Dyna/Backend/Python/Selftest.hs diff | blob | history