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

Prototype SMT backend #273

Merged
merged 167 commits into from
Nov 20, 2024
Merged

Prototype SMT backend #273

merged 167 commits into from
Nov 20, 2024

Conversation

tnelson
Copy link
Owner

@tnelson tnelson commented Aug 20, 2024

No description provided.

tnelson and others added 30 commits June 18, 2024 08:14
@tnelson
add: working on contract for collector
f5958cf
@tnelson
add: template w/ Karim
88127d4
@tnelson
add: Easy way to find Java Temp folder
9d1fcc2
@tnelson
change: send-to-kodkod -> send-to-solver
ec18c92
@tnelson
change: factor out pardinus backend
1f8de89
@tnelson
Merge branch 'dev' into feat_smt
e38ad72
@tnelson
remove: experiment skeleton
5e6ed36
@k-mouline
Converted to format strings
d2ecaa0
@tnelson
fix: ->
7fe890e
@k-mouline
first changes to parsing
b82a887
@tnelson
add: join builder, no preservation of loc
19da701
@tnelson
preserve syntax loc
dfc9dbc
@k-mouline
updated interpret calls
03569ec
@k-mouline
examples added
8ec583b
@tnelson
pair with Karim, demo of match
55e3c5a
@k-mouline
identity parsing
c3aed57
@k-mouline
NNF parser
47ae4cf
@bisheshank
Draft of testing; needs to be validated
87ea87f
@k-mouline
Substitutor push
68e42ad
@bisheshank
updated testing; needs review
f61ba63
@k-mouline
updating substitutor
17dd94c
@tnelson
add: programming together in NNF/NNF testing, macros
7d83d9c
@k-mouline
quantifiers and decls fixed
5062063
@bisheshank
nnf testing updated; need to fix sig-rel contract vio
bf430e4
@k-mouline
small sub tests and nnf conversion modified
d4e8a69
@k-mouline
verbosity added and sub tests
2c9de2e
@bisheshank
nnf-testing suite rewritten
23f820e
@bisheshank
nff-test updated with comparision tests
8d69be9
@tnelson
refactor: one-sided integration prototype for cvc5
44d0280
@k-mouline
skolemization first implementation
f1e5100
tnelson and others added 20 commits August 21, 2024 13:04
@tnelson tnelson merged commit e2860d0 into dev Nov 20, 2024
1 check passed
@tnelson tnelson deleted the feat_smt branch November 20, 2024 16:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@tnelson @k-mouline @bisheshank