Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Refactor skeleton / boilerplate generation #668

Merged
merged 25 commits into from
Sep 17, 2020
Merged

Refactor skeleton / boilerplate generation #668

Show file tree
Hide file tree
Changes from 17 commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
e84d9d7
Updated skeleton generation
chameco Feb 10, 2020
00afdcb
Merge remote-tracking branch 'upstream/master' into skeleton
chameco Feb 18, 2020
8138a1c
WIP
chameco Mar 5, 2020
6d3e0dc
Global variable handling in skeleton builtins
chameco Mar 6, 2020
5ea57e2
Don't try to generate return values of type void
chameco Mar 8, 2020
2b96ccb
Include function name in return value fresh variable
chameco Mar 12, 2020
0a2ed20
SAWScript interface to new skeleton generation infrastructure
chameco Mar 16, 2020
b1390e1
Properly handle uninitialized pointers in precondition
chameco Apr 6, 2020
ae1f148
Clean up generated boilerplate a bit
chameco Apr 6, 2020
9ec2774
Add docstrings for new SAWScript functions
chameco Apr 6, 2020
e6a6a36
Remove unused imports, don't create arrays of length 1
chameco Apr 6, 2020
8b22909
Correctly propagate initialization status
chameco May 8, 2020
d4545c8
Merge remote-tracking branch 'origin/master' into skeleton
chameco Aug 4, 2020
b989468
Update to reflect recent changes
chameco Aug 4, 2020
cd0a2c6
Add explicit export lists
chameco Aug 7, 2020
462346f
Fix spacing on verifySimulate
chameco Aug 7, 2020
61f8ce7
Add boilerplate generation mode that doesn't use skeleton builtins
chameco Aug 10, 2020
7373fa8
Merge branch 'master' into skeleton
chameco Aug 11, 2020
8812935
Update submodule commits
chameco Aug 11, 2020
8dd5fe4
Merge remote-tracking branch 'origin/skeleton' into skeleton
chameco Aug 11, 2020
c1c28f3
Merge branch 'master' into skeleton
chameco Aug 11, 2020
f5d1ae9
Fix warning in SAWScript.Crucible.LLVM.ResolveSetupValue
chameco Aug 11, 2020
099197c
Disable test_boilerplate
chameco Aug 11, 2020
542819d
Merge branch 'master' into skeleton
chameco Aug 14, 2020
5c410fd
Add parameter for lemmas to crucible_llvm_array_size_profile
chameco Aug 20, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions saw-script.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -143,6 +143,8 @@ library
SAWScript.Crucible.LLVM.Override
SAWScript.Crucible.LLVM.MethodSpecIR
SAWScript.Crucible.LLVM.ResolveSetupValue
SAWScript.Crucible.LLVM.Skeleton
SAWScript.Crucible.LLVM.Skeleton.Builtins
SAWScript.Crucible.LLVM.X86

SAWScript.Crucible.JVM.Builtins
Expand Down
Loading