]> hydra-www.ietfng.org Git - dyna2/commit
New output format
authorTim Vieira <tim.f.vieira@gmail.com>
Tue, 25 Jun 2013 01:53:03 +0000 (21:53 -0400)
committerTim Vieira <tim.f.vieira@gmail.com>
Tue, 25 Jun 2013 01:53:03 +0000 (21:53 -0400)
commitd5e14c3ebc74f2249e15112eb9be00777e0d2127
tree8e5f7baf7a85fb5ac7a8f1966c876aa5f27db111
parent882df6b3f8b1a0ff4aac78b72e262e445539e425
New output format

 - print nullary terms together at the top.

 - don't print empty charts

 - heading is "Solution" instead of "Charts"

REPL cmd 'chart' renamed to 'sol'

Added lots of help documentation for REPL
21 files changed:
examples/expected/dijkstra.py.out
examples/expected/equalities.py.out
examples/expected/fib-limit.py.out
examples/expected/matrixops.py.out
examples/expected/papa2.py.out
examples/expected/simple.py.out
src/Dyna/Backend/Python/Backend.hs
src/Dyna/Backend/Python/chart.py
src/Dyna/Backend/Python/defn.py
src/Dyna/Backend/Python/interpreter.py
src/Dyna/Backend/Python/load/__init__.py
src/Dyna/Backend/Python/post/__init__.py
src/Dyna/Backend/Python/post/draw_circuit.py
src/Dyna/Backend/Python/post/dump_solution.py [moved from src/Dyna/Backend/Python/post/dump_chart.py with 75% similarity]
src/Dyna/Backend/Python/post/graph.py
src/Dyna/Backend/Python/post/save.py
src/Dyna/Backend/Python/repl.py
test/repl/aggregator-conflict.expect
test/repl/late-aggregator-assignment.expect
test/repl/retract-rule
test/repl/retract-rule.expect