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,345 Commits 50 Branches 0 Tags 13 MiB
74e8c6580e
Commit Graph

1345 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Joe Hendrix
74e8c6580e
Merge pull request #32 from GaloisInc/jhx/x86_tests 
Add tests for btc/btr/bts
 2019-04-03 13:59:50 -05:00
Joe Hendrix
0965896189
Remove unused flag from stack 2019-04-03 08:25:28 -07:00
Joe Hendrix
036944d42e
Add btc/btr/bts tests 2019-04-03 08:24:57 -07:00
Joe Hendrix
8fe3bd79d1
Merge pull request #31 from GaloisInc/jhx/x86-support 
Add x86-support to travis
 2019-03-26 09:33:39 -07:00
Joe Hendrix
a6149fa95f
Add x86-support to travis 2019-03-26 08:21:01 -07:00
Joe Hendrix
d01a25e92d
Merge pull request #30 from GaloisInc/jhx/no-warn 
Add Wall Werror to travis build
 2019-03-25 21:09:10 -07:00
Joe Hendrix
4267dca987
Get x86_symbolic test cases in runable state. 2019-03-25 20:29:35 -07:00
Joe Hendrix
6810d1eaf0
Drop semmc-ppc compile step. 2019-03-25 19:49:49 -07:00
Joe Hendrix
66bee7afbd
Remove extra line. 2019-03-25 19:32:13 -07:00
Joe Hendrix
4d17150f8b
Retrict to local test suites. 2019-03-25 19:31:04 -07:00
Joe Hendrix
82b96fb62a
Fix warnings; improve PLTStub comment. 2019-03-25 19:27:46 -07:00
Joe Hendrix
2bb7b2e535
Remove dismantle/semms from stack until we get warnings fixed. 2019-03-25 16:21:31 -07:00
Joe Hendrix
b3913695e1
Update llvm-pretty-bc-parser version. 2019-03-25 14:43:56 -07:00
Joe Hendrix
fbb3b300ce
Prep work to get building with warning as errors. 2019-03-25 14:39:33 -07:00
Joe Hendrix
813c9ae88d
Update 8.4 dependencies. 2019-03-25 13:35:41 -07:00
Joe Hendrix
95c59eaf52
Update travis script and dependencies. 2019-03-25 13:20:51 -07:00
Joe Hendrix
72f2ccf970
Update versions 2019-03-25 12:59:53 -07:00
Joe Hendrix
a6ae296f8c
Merge pull request #29 from GaloisInc/jhx/update-deps 
Jhx/update deps
 2019-03-25 12:56:25 -07:00
Joe Hendrix
edcf4faa18
Update travis 2019-03-22 22:34:22 -07:00
Joe Hendrix
f1f16b7509
Remove warnings 2019-03-22 14:40:14 -07:00
Joe Hendrix
fd397a80d8
Update dependencies 2019-03-22 09:41:29 -07:00
Joe Hendrix
e730e846a0
Merge branch 'master' of github.com:GaloisInc/macaw 2019-03-14 10:41:35 -07:00
Joe Hendrix
51333f4612
Deprecate outdated disassemble block functions. 2019-03-14 10:41:11 -07:00
Aaron Tomb
cd87c12f28 Update crucible submodule 2019-03-06 11:52:22 -08:00
Aaron Tomb
70981ba8ea Initial attempt at adapting to structured errors 2019-03-06 10:26:41 -08:00
Daniel Wagner
b6778a80c1 comparisons with max or min values are easy 2019-03-04 14:38:31 -05:00
Iavor Diatchki
65ca5447ea Merge branch 'master' of github.com:GaloisInc/macaw 2019-02-27 16:20:55 -08:00
Iavor Diatchki
1471740282 Only skip assignment if we are assigned to our own initial value. 2019-02-27 15:45:12 -08:00
Kevin Quick
45f5c5e7af
Update cabal version for fields used. 2019-02-27 11:52:18 -08:00
Kevin Quick
f8fce2175e
Sorting of pragma declarations in CrucGen. 2019-02-27 11:51:53 -08:00
Kevin Quick
b53b79471c
Add NondecreasingIndentation pragma to match code formatting. 2019-02-27 11:51:16 -08:00
Kevin Quick
60a3d39e98
More haddock updates for function argument information. 2019-02-27 11:35:20 -08:00
Kevin Quick
fcff1b7c3d
Update all source files for NoStarIsType pragma. 2019-02-27 11:35:09 -08:00
Kevin Quick
8ea677f7ed
[symbolic] Haddock fixes. 2019-02-27 09:30:55 -08:00
Kevin Quick
a1e6f1b841
Update NoStarIsType spec for backward compatibility. 2019-02-27 09:30:26 -08:00
Joe Hendrix
e204724358
Merge pull request #27 from GaloisInc/jhx/vec 
Add vector type and operations.
 2019-02-27 08:57:50 -08:00
Joe Hendrix
89ffdf088a
Fix macaw-x86-symbolic and update crucible. 2019-02-27 01:43:53 -08:00
Joe Hendrix
e8d2efcaae
Implement bitcast changes to macaw-symbolic 2019-02-26 17:53:34 -08:00
Kevin Quick
898e7bdb95
[refinement] Added newline to end of expected output file. 2019-02-26 14:51:49 -08:00
Kevin Quick
70657ee811
[x86_symbolic] Use stable value for generating x86 register name. 
Relying on the underlying Show instance representation for the
register name is more brittle, especially if the Show becomes a
structural representation (e.g. "X86_GP 14") that introduces spaces
and other elements that can cause problems.  Generate the register
name in a more reliable manner for the symbolic variable use case
here.
 2019-02-23 21:52:36 -08:00
Kevin Quick
3fe6fdf949
Sort refinement results for test stability and visual convenience. 2019-02-23 21:33:40 -08:00
Kevin Quick
91f871dced
Added llvm-pretty-bc-parser submodule to stack.ghc-8.6.3.yaml. 2019-02-21 22:23:43 -08:00
Kevin Quick
9662651b09
Added llvm-pretty-bc-parser submodule to cabal.project.dist. 2019-02-21 22:23:05 -08:00
Kevin Quick
11a2481135
Add llvm-pretty-bc-parser dependency. 2019-02-21 22:21:51 -08:00
Joe Hendrix
37c0aca3a5
Cleanup travis.yml further. 2019-02-20 16:24:18 -08:00
Joe Hendrix
5b1548c36c
Try fixing travis build 2019-02-20 16:16:34 -08:00
Joe Hendrix
c950affd65
Fix build errors made in previous commit. 2019-02-20 15:57:56 -08:00
Joe Hendrix
43bcf9cafa
Merge remote-tracking branch 'origin/master' into jhx/vec 2019-02-20 15:42:46 -08:00
Joe Hendrix
00096344a7
Support float/vector in reads/writes; Use floating point types. 2019-02-20 15:40:59 -08:00
Kevin Quick
731d68df40
Updated stack build for GHC 8.6.3 to include macaw-semmc packages. 2019-02-20 11:14:10 -08:00