GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-25 15:13:24 +03:00
Code Issues Projects Releases Wiki Activity
db2da637b0
macaw/macaw-ppc
History
Tristan Ravitch cf0a6df0da Simplify the sequencing of our generated monadic PPCGenerator actions 
We were building up a list and calling sequence; instead, just generate a single
do block directly
2017-10-16 19:51:32 -07:00
..
src/Data/Macaw Simplify the sequencing of our generated monadic PPCGenerator actions 2017-10-16 19:51:32 -07:00
ChangeLog.md first commit 2017-08-28 15:48:55 -07:00
LICENSE first commit 2017-08-28 15:48:55 -07:00
macaw-ppc.cabal [ppc] Add a helper for turning operands into bitvectors 2017-10-16 15:11:16 -07:00
Setup.hs first commit 2017-08-28 15:48:55 -07:00