GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 08:53:12 +03:00
Code Issues Projects Releases Wiki Activity
1,363 Commits 50 Branches 0 Tags 13 MiB
888c1abab6
Commit Graph

19 Commits

Author SHA1 Message Date
Kevin Quick
11a2481135
Add llvm-pretty-bc-parser dependency. 2019-02-21 22:21:51 -08:00
Kevin Quick
101a638add
Eliminate duplication in submodules. 2019-02-18 11:42:24 -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
730f855c71
Update to use macaw-loader for uniform binary loading. 2018-10-29 15:51:42 -07:00
Tristan Ravitch
4ca53dfb5c Submodule updates 
The code was already updated, but there were some missing submodule updates
 2018-05-21 17:53:10 -07:00
Joe Hendrix
655491bae3
Fix repo urls 2018-04-25 00:32:43 -07:00
Joe Hendrix
72b667a49c
Add crucible so we can build macaw-symbolic on travis. 2018-04-25 00:16:53 -07:00
Joe Hendrix
000c2f900e
Move macaw stack.yaml to root for similiarity with other Galois packages. 2018-04-24 09:05:36 -07:00
Tristan Ravitch
1ebf0cabb7 Submodule updates 
These updates include a new version of cabal required to build macaw-symbolic.
macaw-symbolic is also now added to the cabal.project file.
 2018-03-29 09:57:17 -07:00
Tristan Ravitch
43babd43cf Add macaw-x86 to the cabal.project file 2018-03-28 17:00:38 -07:00
Kevin Quick
ce8ebff929 Switch back to main s-cargot package: pretty-printing is now fast. 2018-03-05 13:36:53 -08:00
Kevin Quick
8d020b18b8 Update (temporarily) to kquick branch of s-cargot with fast pretty-printing. 2018-02-16 13:48:16 -08:00
Kevin Quick
4a8a84ba9b Add s-cargot-letbind submodule. 2018-02-16 13:40:41 -08:00
Ben Selfridge
372301aecc s-cargot now under submodules 2018-01-31 16:44:16 -08:00
Ben Selfridge
8f99d9982f changed submodules to HTTPS origin to avoid authentication failure 2017-11-09 15:19:40 -08:00
Ben Selfridge
9caacd01ef added needed submodules 2017-11-09 15:00:23 -08:00
Tristan Ravitch
8e981b94bd Update the macaw and semmc submodules 
The semmc submodule seemed to point to a non-existent commit.
 2017-10-02 09:19:15 -07:00
Tristan Ravitch
b298b26355 Remove the macaw submodule (it moved) 2017-10-02 09:16:22 -07:00
Ben Selfridge
bf9b320e38 first commit 2017-08-28 15:48:55 -07:00