]> hydra-www.ietfng.org Git - dyna2/commit
projects / dyna2 / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8af9d4) | patch
Another change to ANF
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Wed, 15 May 2013 05:15:04 +0000 (01:15 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Wed, 15 May 2013 05:15:04 +0000 (01:15 -0400)
commitd3aed807c4d470ed0595cc4fa66b7e54ae268d0f
tree8390b85870ae5eb8ccfdfe23b1d914455d9afb7ctree | snapshot
parente8af9d4b84f6fcb87c0bc1bfb79f550f1700850fcommit | diff
Another change to ANF

Now that we are indexing evals by an unique Int, we may as well
enforce that with an IntMap, rather than just a Set.

This is in preparation for displaying each update's ANF after
double-counting prevention cruxes have been added.
src/Dyna/Analysis/ANF.hs diff | blob | history
src/Dyna/Analysis/ANFPretty.hs diff | blob | history
src/Dyna/Analysis/Aggregation.hs diff | blob | history
src/Dyna/Analysis/RuleMode.hs diff | blob | history
src/Dyna/Backend/Python/Backend.hs diff | blob | history