GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-02 23:43:52 +03:00
Code Issues Projects Releases Wiki Activity
1,339 Commits 51 Branches 0 Tags 13 MiB
4267dca987
Commit Graph

3 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
Ben Selfridge
0a1d46c581 Finally have an actual PPC binary for test-just-exit test. 2017-10-25 15:02:16 -07:00
Ben Selfridge
2a7213f416 Added a simple test, which fails. 2017-10-24 16:36:36 -07:00