GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-01 00:22:24 +03:00
Code Issues Projects Releases Wiki Activity
167 Commits 50 Branches 0 Tags 13 MiB
a10edcf56a
Commit Graph

8 Commits

Author SHA1 Message Date
Ben Selfridge
a10edcf56a added Cabal to stack.yaml dependencies 2017-11-09 16:13:05 -08:00
Ben Selfridge
bf0b6813d2 add cabal-doctest to stack.yaml 2017-11-09 16:02:34 -08:00
Ben Selfridge
9caacd01ef added needed submodules 2017-11-09 15:00:23 -08:00
Ben Selfridge
b19c7e3ab6 deleted badly added submodules 2017-11-09 14:59:01 -08:00
Ben Selfridge
c39ac71631 still fixing travis 2017-11-09 10:59:47 -08:00
Ben Selfridge
ff7bff7108 Added submodules to macaw/x86/tests. 2017-11-07 14:40:49 -08:00
Ben Selfridge
580cb634cd Fixed macaw-x86 test suite, all tests seem to pass fine. 2017-11-01 15:56:54 -07:00
Joe Hendrix
4dcb26ebee
Add x86 specific code. 2017-09-27 15:54:43 -07:00