GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-01 17:26:45 +03:00
Code Issues Projects Releases Wiki Activity
2,162 Commits 50 Branches 0 Tags 13 MiB
c68cda07ac
Commit Graph

5 Commits

Author SHA1 Message Date
Langston Barrett
a2ac7f4300 macaw-symbolic-syntax: Concrete syntax for macaw-symbolic CFGs 
This code was ported from ambient-verifier.
 2023-11-01 17:19:13 -04:00
Tristan Ravitch
765d2e43cb
ci: Have the CI build and test more things (#181) 
- Use an explicit package-level build step for each architecture, which will
build utility binaries and not just the tests/libraries
- Enable builds/tests for the PowerPC backend
- Build macaw-aarch32-symbolic
 2020-12-19 17:16:04 -08:00
Joe Hendrix
98b69d992c Add compare-dwarfdump 2020-11-06 14:35:06 -08:00
Joe Hendrix
402f99071f Fix warnings and ensure travis uses werror on some packages. 2020-11-06 13:58:39 -08:00
Joe Hendrix
0baa499c2a Migrate from Travis to Github Actions 2020-09-29 13:47:34 -07:00