hydra-www.ietfng.org Git

]> hydra-www.ietfng.org Git - dyna2/commit

author	Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
	Tue, 13 Aug 2013 23:43:58 +0000 (19:43 -0400)
committer	Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
	Tue, 13 Aug 2013 23:43:58 +0000 (19:43 -0400)
commit	87aebf0ec453c394ee1a59fac4b96d20f8afaf49
tree	879e9db2cfd73c654cf41ac9281f777ca1be0b9c	tree \| snapshot
parent	fb40b6addf34d6de91f45e163deba2e79465df04	commit \| diff

New automata library

Factor out all the automata logic from Analysis.Mode.Execution.NamedInst to
its own library (Dyna.Analysis.Automata) and port everything over. I won't
claim it's perfect, but I think it's a good start.

Analysis.Automata.Class is probably the right place to start reading.

13 files changed:

src/Dyna/Analysis/Automata/Class.hs	[new file with mode: 0644]	blob
src/Dyna/Analysis/Automata/NamedAut.hs	[new file with mode: 0644]	blob
src/Dyna/Analysis/Automata/Utilities.hs	[new file with mode: 0644]	blob
src/Dyna/Analysis/Mode/Execution/Context.hs		diff \| blob \| history
src/Dyna/Analysis/Mode/Execution/ContextNoAlias.hs		diff \| blob \| history
src/Dyna/Analysis/Mode/Execution/Functions.hs		diff \| blob \| history
src/Dyna/Analysis/Mode/Execution/FunctionsNoAlias.hs		diff \| blob \| history
src/Dyna/Analysis/Mode/Execution/NamedInst.hs		diff \| blob \| history
src/Dyna/Analysis/Mode/Inst.hs		diff \| blob \| history
src/Dyna/Analysis/Mode/Selftest/NamedInst.hs		diff \| blob \| history
src/Dyna/Analysis/Mode/Selftest/Term.hs		diff \| blob \| history
src/Dyna/Backend/Python/Backend.hs		diff \| blob \| history
src/Dyna/XXX/MonadUtils.hs		diff \| blob \| history

RSS Atom