Daniel Matichuk
a98dec23c0
bump submodules
2020-02-26 23:05:08 -08:00
Joe Hendrix
e8d2efcaae
Implement bitcast changes to macaw-symbolic
2019-02-26 17:53:34 -08:00
Kevin Quick
8aefd5224f
Merge ../macaw-semmc
...
Combined .gitignore rules and merged .gitmodules as the concatenation
of the individual .gitmodules; this will result in duplicate
submodules which will be resolved in a subsequent commit.
2019-02-18 09:44:31 -08:00
Kevin Quick
522121b7d8
Update gitignore.
2019-01-22 23:46:33 -08:00
Tristan Ravitch
18a53057d0
Update gitignore
2019-01-08 13:37:55 -08:00
Kevin Quick
307450ce14
Add generated output files and editor backup files to gitignore.
2017-12-20 10:13:31 -08:00
David Johnson
c611717735
Tracing to track rewriting bug
2017-10-31 18:52:12 -07:00
Joe Hendrix
19c0274682
Remove script for building just these dependencies
2017-05-05 00:13:54 -07:00
Joe Hendrix
7b568edc0c
Initial commit of macaw
2016-11-28 23:14:04 -08:00