GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-11 06:49:12 +03:00
Code Issues Projects Releases Wiki Activity
160 Commits 51 Branches 0 Tags 14 MiB
fcb694ccb9
Commit Graph

1 Commits

Author SHA1 Message Date
Tristan Ravitch
fcb694ccb9 Add a test for conditional branches 
It doesn't pass yet.  It is hung up on an unsupported register type (Crrc, used
in a compare).
 2017-11-06 17:19:16 -08:00