]> hydra-www.ietfng.org Git - dyna2/commit
projects / dyna2 / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d04ee0) | patch
Improve handling of planner failures
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Tue, 18 Jun 2013 06:02:13 +0000 (02:02 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Tue, 18 Jun 2013 06:06:02 +0000 (02:06 -0400)
commit11fde0cf95d59e59ef2de572a388476159c7c6f5
treeddef0b0009340a53a62beaf44006e38b74ca68b2tree | snapshot
parent3d04ee01533eeaee17492d0054504cc2e8837fcbcommit | diff
Improve handling of planner failures

The planner now reports Either an exhaustive list of failed moves
  or a list of successful plans.  When we find a plan, we forget
  the failures and begin accumulating succeses.
Add --dump-failed-plans to facilitate debugging
Report a user program error if a rule fails to have an initializer,
  partially addressing github nwf/dyna#5 .
src/Dyna/Analysis/ANFPretty.hs diff | blob | history
src/Dyna/Analysis/RuleMode.hs diff | blob | history
src/Dyna/Main/Driver.hs diff | blob | history