]> hydra-www.ietfng.org Git - dyna2/commit
projects / dyna2 / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb280b8) | patch
Fix and expand Analysis.Mode.Inst
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Tue, 12 Feb 2013 07:12:57 +0000 (02:12 -0500)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Tue, 12 Feb 2013 07:15:45 +0000 (02:15 -0500)
commit913b9da50ad28b746631dd86f099c1a4a122ebaa
treee19da86a7db1c048a9213ff9b9fbbf92609fbf06tree | snapshot
parentcb280b867e0990a6c8a4ac1043a74c4caf439632commit | diff
Fix and expand Analysis.Mode.Inst

Correct iSubGLB_ definition
Add iEq_ and iSubLUB_
Expand commentary
Better IBound-vs-IBound cases in GLB functions

Some additional utilities appeared in XXX.DataUtils and XXX.MonadUtils.
src/Dyna/Analysis/Mode/Inst.hs diff | blob | history
src/Dyna/XXX/DataUtils.hs diff | blob | history
src/Dyna/XXX/MonadUtils.hs diff | blob | history