Commit Graph

1407 Commits

Author SHA1 Message Date
Joe Hendrix
f0d2f16b64
Merge pull request #51 from GaloisInc/jhx/no-haddock
Stop building haddock
2019-06-13 22:30:13 -07:00
Joe Hendrix
2ca07b49e1
Stop building haddock 2019-06-13 13:03:40 -07:00
Joe Hendrix
7fb1e80ae0
Merge pull request #50 from GaloisInc/jhx/funargs
Jhx/funargs
2019-06-13 10:35:59 -07:00
Joe Hendrix
cbb3814017
Fix warnings. 2019-06-13 09:33:58 -07:00
Joe Hendrix
e9b9379234
Add haddock to .travis so we catch errors in documentation strings. 2019-06-12 15:53:38 -07:00
Joe Hendrix
c4870f9a37
Merge remote-tracking branch 'origin/master' into jhx/funargs 2019-06-12 15:51:55 -07:00
Joe Hendrix
dba7a2e88d
Bump submodules; version dependencies 2019-06-12 15:49:05 -07:00
Joe Hendrix
ee6f1379ae
Additional cleanup to function args; bump versions.
This also provides some exports needed by Reopt.
2019-06-12 15:26:19 -07:00
Kevin Quick
e2819759df
Merge pull request #49 from GaloisInc/fixhaddockbase2
[base] fix haddock syntax error.
2019-06-05 15:34:54 -07:00
Kevin Quick
7bacee3e9d
[base] fix haddock syntax error. 2019-06-05 14:40:59 -07:00
Joe Hendrix
3565f32e74
Merge pull request #48 from GaloisInc/jhx/funargs
Generalize function argument analysis.
2019-06-05 16:36:57 -04:00
Joe Hendrix
d3c23cbe55
Remove CPP extension 2019-06-05 15:55:29 -04:00
Joe Hendrix
ee137cccc4
Cleanup warnings. 2019-06-05 15:31:03 -04:00
Joe Hendrix
4368ed6239
Fix parameterized-utils and bump version. 2019-06-05 09:50:12 -04:00
Joe Hendrix
c3f747aa86
Update dependencies/minor corrections. 2019-06-05 09:02:25 -04:00
Joe Hendrix
d58292feda
Generalize function argument analysis.
This patch focuses on function argument analysis, but includes some
other cleanups.

The main changes are to add additional comments and cleanups to the
function argument analysis code.  This also extends the analysis so
that we can annotate the types of some of the functions and use those
types during analysis.

As part of this we tighten the PLTStub checking, and clean up the
elfloader in some minor ways.
2019-06-05 04:42:02 -04:00
Joe Hendrix
a31638d8db
Merge pull request #46 from GaloisInc/jhx/minor-changes
Jhx/minor changes
2019-06-05 01:41:22 -07:00
Joe Hendrix
6a4b75852f
Fix missing case in macaw-symbolic 2019-05-30 23:39:38 -07:00
Joe Hendrix
5c097b45b7
Continue exporting width equality proofs comparison/equality. 2019-05-30 22:54:49 -07:00
Joe Hendrix
78927cce64
Merge remote-tracking branch 'origin/master' into jhx/minor-changes 2019-05-30 22:52:30 -07:00
Joe Hendrix
0b248c44c4
Merge pull request #45 from GaloisInc/jhx/bump-submodules
Increment submodules
2019-05-30 22:51:50 -07:00
Joe Hendrix
5221880b10
This makes a few minor changes primarily for reopt.
WidthEqProofs are now irrelevant.  Two proofs with the same
coercision source and destination will be equal.  This allows us to
add a transitivity constructor without introducing spurious
inequalities, and will in the future allow us to collapse multiple
bitcasts into a single bitcast.

adjustedLoadRegionIndex is exported for reopt.

TypeRepr now has a pretty instance.
2019-05-30 10:31:45 -07:00
Joe Hendrix
41a75597a0
Submodule/stack updates. 2019-05-28 14:25:50 -07:00
Joe Hendrix
b13c3b3c63
Bump submodules 2019-05-28 13:07:35 -07:00
Joe Hendrix
208971ed15
Merge pull request #43 from GaloisInc/jhx/no-branch
Drop ite support
2019-05-14 21:53:13 -07:00
Joe Hendrix
f0f5d0e123
Improve jump table bounds accuracy.
This adds functionality to the jump table bounds to work with trunc
that was deliberately removed in the last patch due to buggy code.
2019-05-14 21:03:08 -07:00
Joe Hendrix
d0a1a156d4
Change stack files and travis to stop failing on Crucible warnings. 2019-05-14 18:59:09 -07:00
Joe Hendrix
9e86ffde60
Fix stack dependencies and update versions. 2019-05-14 18:24:01 -07:00
Joe Hendrix
0b7dae7add
Merge remote-tracking branch 'origin/jhx/no-branch' into jhx/no-branch 2019-05-14 17:48:37 -07:00
Joe Hendrix
1607e83eef
Minor refactoring; improved branch abstract state propagation.
This primarily refines the abstract state propagated to branch
pairs.  It was needed on the ARM platform to support the IT blocks
with the changes to the Core representation in macaw-base 0.3.6.

This also includes a few simplifications added and comment
improvements.
2019-05-14 17:45:30 -07:00
Joe Hendrix
6299fa489b
Fix bug in AbsState.trunc 2019-05-11 16:29:54 -07:00
Joe Hendrix
ca2ca7d130
Merge remote-tracking branch 'origin/master' into jhx/no-branch 2019-05-06 10:54:35 -07:00
Joe Hendrix
7245b6a1c5
Merge pull request #44 from GaloisInc/jhx/dynamic-resolution
Update elf loader to use dynamic symbol table.
2019-05-02 15:23:05 -07:00
Joe Hendrix
56cadae3ae
Update submodules 2019-05-02 14:29:10 -07:00
Joe Hendrix
d20a3a9820
Update elf loader to use dynamic symbol table. 2019-05-02 12:36:43 -07:00
Joe Hendrix
008a53f3db
Add parsedTermSucc 2019-04-30 13:09:39 -07:00
Joe Hendrix
c6a7ba7cd6
Rename pblock fields to be more descriptive. 2019-04-29 22:21:10 -07:00
Joe Hendrix
327003ae56
Fix test case. 2019-04-29 22:04:21 -07:00
Joe Hendrix
581a01b5ef
Delete BlockLabel now that it is unused. 2019-04-29 21:57:41 -07:00
Joe Hendrix
315cd2f9f0
Cleanups to macaw-symbolic 2019-04-29 21:30:59 -07:00
Joe Hendrix
70ea5b9036
Remove ParsedIte 2019-04-29 20:46:54 -07:00
Joe Hendrix
8aa4650683
Introduce ParsedBranch constructor. 2019-04-29 10:49:00 -07:00
Joe Hendrix
3331a19571
Drop support for branches within blocks. 2019-04-28 13:19:20 -07:00
Joe Hendrix
f8c43540c1
Merge pull request #40 from GaloisInc/jhx/cond-write
Add conditional write support (useful for ARM)
2019-04-26 12:48:32 -07:00
Joe Hendrix
888c1abab6
Update travis to build crucible without -Werror. 2019-04-26 10:42:45 -07:00
Joe Hendrix
2d12aea63b
Merge branch 'jhx/bump-submodules' into jhx/cond-write 2019-04-26 10:38:50 -07:00
Joe Hendrix
b05d7cc1b5
Update versions. 2019-04-26 10:37:04 -07:00
Joe Hendrix
15676a2e45
Bump versions; Update macaw-symbol for conditional write. 2019-04-17 21:36:49 -07:00
Joe Hendrix
89f89e9ce6
This adds a conditional memory write to macaw. 2019-04-17 11:15:12 -07:00
Joe Hendrix
39b9d368f6
Merge pull request #38 from GaloisInc/jhx/comments
Minor fixes/clasification.
2019-04-12 12:42:49 -07:00