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

CFI update for Value inference to work with hack mode #285

Open
wants to merge 63 commits into
base: master
Choose a base branch
from
Open

CFI update for Value inference to work with hack mode #285

wants to merge 63 commits into from

Conversation

txiang61
Copy link
Member

@txiang61 txiang61 commented Nov 9, 2020

No description provided.

Jenny Xiang and others added 30 commits September 23, 2019 17:16
Added Z3smt solver
8fadcc7
correct z3smt package name
ca34b12
@txiang61
clean up debug code and unused code
87ddb4c
@txiang61
little format adjestment
ad0f0f3
@txiang61
eliminate one TODO
80048c4
@txiang61
Update .travis-build-without-test.sh
26e5c06
@txiang61
Update .travis-build-without-test.sh
8a7c31b
@txiang61
Update .travis-build-without-test.sh
f7b2b91
@txiang61
Update .travis-build-without-test.sh
6f9b878
@txiang61
added preference for subtype constraints to prefer constant slot over…
658c3ee 
… variable slots
@txiang61
restructure Z3SmtSolver so it can be overriden by both the unit-infer…
b6dc6dd 
…ence and the value-inference
@txiang61
reformat Z3SmtConstraintEncoderFactory
c62dbc0
@txiang61
Added operation kind for comparable constraints encoder and its slot
f068fc7
@txiang61
added underlying type to Variable Slot
8f1669d
@txiang61
removed comparable slot
1f62945
@txiang61
added underlying type to Variable Slot
ea8d0a5
@txiang61
Addded unary and compount assginment handling in variable annotator
a1f8853
@txiang61
improve javadoc in variable annotator for unary and compound assignme…
8748fa2 
…nt handling
@txiang61
Merge branch 'unary_compound'
692c126
@xingweitian
Merge branch 'master' into add_variable_slot_type
7476de4
@txiang61
Slot refactor. Make all slots that extends varaibleslot to extends sl…
c1f65d1 
…ots instead
@txiang61
Merge branch 'add_variable_slot_type' of https://github.com/txiang61/…
d31f22b 
…checker-framework-inference into add_variable_slot_type
@txiang61
Slot refactor. Make all slots that extends varaibleslot to extends sl…
36fe6ed 
…ots instead
@txiang61
Merge opprop master to this
ad0c61d
@txiang61
Merge branch 'master' into add_z3
2193c77
@txiang61
slot refactoring. Remove all cast to VariableSlot and uses Slot instead
d52c20f
@txiang61
slot refactoring. Remove all cast to VariableSlot and uses Slot instead
30de4f6
@txiang61
Merge branch 'master' of https://github.com/opprop/checker-framework-…
07eb554 
…inference
@txiang61
add ArithmeticVariableSlot serialization and clean up some code
abaeae7
@txiang61
add ArithmeticVariableSlot serialization and clean up some code
9af2d34
@txiang61
Update JsonSerializer.java
a6574c0
@txiang61
Update ToStringSerializer.java
e1a1850
@txiang61
Update PrintUtils.java
cd33d90
@txiang61
Merge pull request #1 from txiang61/add_variable_slot_type
0dea5d4 
Refactored slot structure and add variable slot type
@txiang61
Merge branch 'master' of https://github.com/txiang61/checker-framewor…
3364a49 
…k-inference
@txiang61
Merge remote-tracking branch 'opprop/master'
5337de0
@txiang61
Merge branch 'master' into add_z3
95cbef7
@txiang61
Merge pull request #2 from txiang61/add_z3
4d28ec7 
Add z3
@txiang61
fix error
a433be3
@txiang61
Change comparable constraint structure and rename operators
57cd019
@txiang61
create refinment slot when decalre variable with initialization
4c0c314
@txiang61
create refinment slot when decalre variable with initialization
d0e855e
@txiang61
Merge branch 'master' of https://github.com/txiang61/checker-framewor…
4022263 
…k-inference
@txiang61
create refinment variable for desugared trees since the desugared tre…
c2fd065 
…e now have a tree path
@txiang61
Update repo with changes in opprop/master
59ac962
@txiang61
Merge remote-tracking branch 'opprop/master'
9b3fd11
@txiang61
Add comparison constraint instead of modifying comparable constriant …
9ddab04 
…and add comparison result
@txiang61
clean up
df85f55
@txiang61
add variable slot create
e5f6eeb
@txiang61
fixed problems with the comparison constraints
0b14f91
@txiang61
hacks
0191dd1
@txiang61
add hacks to fix poly problem
5132e87
@txiang61
add hacks to avoid null pointer exceptions
162066f
@txiang61
fix refinement to get declared instead of comparison slot
87514a1
@txiang61
fixed problems with the comparison constraints
a6c1efd
@txiang61
fixed problems with the comparison constraints
06e5e5e
@txiang61
Merge remote-tracking branch 'opprop/master'
9c961c5
@txiang61
Merge branch 'master' into value-benchmark
8911126
@xingweitian
Copy link

There are still 80 files edited in this PR. Maybe we cherry-pick and open another PR.

@xingweitian xingweitian self-assigned this Dec 14, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@xingweitian xingweitian

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@txiang61 @xingweitian