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

Rework SSA building in TreeAutomizer #143

Closed
alexandernutz opened this issue Mar 25, 2017 · 0 comments
Closed

Rework SSA building in TreeAutomizer #143

alexandernutz opened this issue Mar 25, 2017 · 0 comments
Assignees
@alexandernutz
Labels
TreeAutomizer

Comments

@alexandernutz
Copy link
Member

alexandernutz commented Mar 25, 2017 •
edited
Loading

No description provided.

@alexandernutz alexandernutz self-assigned this Mar 25, 2017
alexandernutz added a commit that referenced this issue Mar 27, 2017
@alexandernutz
intermediate commit, working towards #143
b1b3978
alexandernutz added a commit that referenced this issue Mar 27, 2017
@alexandernutz
more fixes towards #143
274b23e
alexandernutz added a commit that referenced this issue Mar 27, 2017
@alexandernutz
PredicateUnifier was called in a solver state that was still unsat fr…
1f5aacf 
…om the tree-check, in HCSSABuilder.backVersion, towards #143

 adapted locking of ManagedScript to better avoid this in the future, reordered interpolant computation and evaluation for that
alexandernutz added a commit that referenced this issue Mar 29, 2017
@alexandernutz
reimplemented HCHoareTripleChecker's check method for new HCIn/OutVar…
55dbd26 
…-scheme, see #143
alexandernutz added a commit that referenced this issue Apr 4, 2017
@alexandernutz
towards a working HCHoareTripleChecker, see #143
16c45de
alexandernutz added a commit that referenced this issue Apr 4, 2017
@alexandernutz
intermediate backup commit, towards #143
933d020
alexandernutz added a commit that referenced this issue Apr 4, 2017
@alexandernutz
reworking of interpolants computation (ssa, postorder stuff, HcVars e…
5bf3274 
…tc) roughly there now, see #143
alexandernutz added a commit that referenced this issue Aug 2, 2017
@alexandernutz
added failing test case for TreeAutomizer, #143
5593e53
alexandernutz added a commit that referenced this issue Aug 5, 2017
@alexandernutz
towards new variable handling in TreeAutomizer, #143
be2d5f0
alexandernutz added a commit that referenced this issue Aug 5, 2017
@alexandernutz
reworked ssa building and hoare triple checking in treeAutomizer, #143
e6d8f38
alexandernutz added a commit that referenced this issue Aug 7, 2017
@alexandernutz
bugfixes, #143
68539cb
alexandernutz added a commit that referenced this issue Aug 7, 2017
@alexandernutz
some fixes concerning recent changes
f19a7d2 
cleanup
#143
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alexandernutz alexandernutz

Labels
TreeAutomizer
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@danieldietsch @alexandernutz