Open source binary analysis tools.

starred-galoisinc-repostarred-repo

Tristan Ravitch 498ff33a6d Finish the disassembler skeleton ... There are still some IP values to compute, but the shape of the algorithm is there		2017-10-04 10:10:06 -07:00
macaw-ppc	Finish the disassembler skeleton	2017-10-04 10:10:06 -07:00
macaw-semmc	second commit	2017-09-29 09:37:45 -07:00
submodules	Added Semantics directory, had forgotten to add it previously	2017-10-04 10:03:29 -07:00
.gitmodules	Update the macaw and semmc submodules	2017-10-02 09:19:15 -07:00
cabal.project	Add a cabal.project file for cabal new-build	2017-10-02 10:33:05 -07:00
semmc-macaw.org	second commit	2017-09-29 09:37:45 -07:00
stack.yaml	merging some things	2017-10-02 11:23:08 -07:00