Dead: Symbolic abstraction - #46

Open

octalsrc wants to merge 14 commits into

symbolic-abstraction

Commits on May 2, 2017

Progress on symbolic abstraction
octalsrc
committed
535008f

Commits on May 15, 2017

Tests and whole algorithm implementation (failing on strange errors)
octalsrc
committed
be7aa3b

Commits on Jun 2, 2017

Switch out CafeSAT for JavaSMT
octalsrc
committed
cf33648
Pull in scala-smtlib dependency
octalsrc
committed
96bd549
Redefine B3 and abstractions
octalsrc
committed
408215d

Commits on Jun 7, 2017

Define symbolic transformers voteYay and voteNay as SMT terms
octalsrc
committed
a8dd1e1

Commits on Jun 9, 2017

Define postHatUp on parametric types
octalsrc
committed
8a767dc
Stub out B3 requirements for postHatUp
octalsrc
committed
62b5a63

Commits on Jun 13, 2017

Merge remote-tracking branch 'origin/HEAD' into symbolic-abstraction
octalsrc
committed
ac4d4a7

Commits on Jun 14, 2017

Add examples for scala-smtlib as a test suite
octalsrc
committed
3d365ae
Stub out tests
octalsrc
committed
6111f33
Add Core theory example to ScalaSmtlibExample
octalsrc
committed
4cd9ec0
Correctly implement B3 Symbolic Abstraction tests
octalsrc
committed
406fbc8
Clean up, author name
octalsrc
committed
850fce7