GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-23 16:35:02 +03:00
Code Issues Projects Releases Wiki Activity
Open source binary analysis tools.
197 Commits 50 Branches 0 Tags 13 MiB
Haskell 54.9%
C++ 37.4%
C 5.8%
Roff 0.8%
Assembly 0.7%
Other 0.4%
94b72b2c73
Go to file
Tristan Ravitch 94b72b2c73 Improvements for the generated semantics transformers 
This change now memoizes translations of SimpleBuilder expression fragments,
which allows us to restore the sharing in semantics formulas.  The generator
re-uses shared sub-expressions automatically now.  This generates less Haskell
code, yielding better code density and fewer terms constructed at run time.  It
also reduces compile times.

It seems to cut the size of the generated TH code by about half.  It also
generates less deeply-nested Haskell code, making the resulting TH splices human
readable.
2017-11-13 10:46:33 -08:00
doc Add some more detail on the instruction semantics writeup 2017-11-09 15:37:05 -08:00
macaw-ppc Improvements for the generated semantics transformers 2017-11-13 10:46:33 -08:00
macaw-semmc second commit 2017-09-29 09:37:45 -07:00
submodules Add some bugfixes for popcount in the semmc submodule 2017-11-10 17:22:52 -08:00
.gitignore Tracing to track rewriting bug 2017-10-31 18:52:12 -07:00
.gitmodules Update the macaw and semmc submodules 2017-10-02 09:19:15 -07:00
cabal.project.dist Rename the cabal.project file 2017-10-23 09:46:00 -07:00
semmc-macaw.org second commit 2017-09-29 09:37:45 -07:00
stack.yaml Tracing to track rewriting bug 2017-10-31 18:52:12 -07:00