docs/sphinx/_build
test/*/*.out
+test/*/*.plan
+test/*/*.plan.py
libpeerconnection.log
.PHONY: clean veryclean
clean:
rm -rf examples/*.dyna.*.plan \
+ examples/*.dyna.*.planc \
+ examples/*.dyna.plan.py \
+ examples/*.dyna.plan.pyc \
examples/*.dyna.*.out \
- examples/*.dyna.d
+ examples/*.dyna.d \
+ examples/*.hist
rm -rf test/*/*.out
rm -f tags TAGS
veryclean: clean
The python modules required
- $ easy_install numpy ipython pygments path.py
+ $ easy_install numpy ipython pygments path.py matplotlib
You should probably run
+---------------------------------------------------------------------------
+-- | Pretty-printer for ANF
+-- Header material {{{
module Dyna.Analysis.ANFPretty (renderANF, renderCruxes) where
import Data.Either
-- import Dyna.XXX.TrifectaTest
import Text.PrettyPrint.Free
--- XXX Aaaaany second now
--- import Dyna.Analysis.Mode.Execution.Base
--- import Dyna.Analysis.Mode.Execution.Functions
-
------------------------------------------------------------------------}}}
-- Bindings {{{
% binary rules
rewrite(X, Y, Z) :=
rules_tsv(Linenum, Cost, X, R),
- List is pycall("split", R, "\\s+"),
- cons(Y, &cons(Z, &nil)) is List,
+ cons(Y, &cons(Z, &nil)) is pycall("split", R, "\\s+"),
pycall("float", Cost).
% load unary rules