Sign in
chromium
/
external
/
github.com
/
stp
/
stp
Mirrored from
https://github.com/stp/stp.git
Clone this repo:
Branches
master
coverity_scan
dev/authors
extabc
extabc_trevor
gtest-change
msoos-no-const-as-macro
msoos-no-const-as-macro-2
refactor
stp-220
Tags
smtcomp2020
2.3.3
2.3.2
2.3.1
stp-2.2.0
2.1.2
2.1.1
2.1.0
8f47022
Find non-overlapping extracts of variables and replace them with fresh variables.
by Trevor Hansen
· 7 days ago
master
f13edd1
Changes to how domain information about bit-vector nodes is stored.
by Trevor Hansen
· 8 days ago
172ffac
* Add extra command line flag to disable all simplifications that increase sizes.
by Trevor Hansen
· 9 days ago
9330d83
provide the option to use the old bad names for cli flags.
by Trevor Hansen
· 10 days ago
f4d4944
user visible. remove underscores from command line flags.
by Trevor Hansen
· 10 days ago
7a1abff
mark some rules as specualitive, so we have control when to apply them.
by Trevor Hansen
· 10 days ago
73a8cf1
Wasn't respecting the disable-equalities command-line flag.
by Trevor Hansen
· 10 days ago
af48256
improved flattening.
by Trevor Hansen
· 11 days ago
92a8067
nicer flatten
by Trevor Hansen
· 11 days ago
a3121b9
refactor. Split class apart
by Trevor Hansen
· 12 days ago
e9a0823
Simplify bvplus with >2 children.
by Trevor Hansen
· 12 days ago
981ae60
Extra simplification for bvmult.
by Trevor Hansen
· 12 days ago
b4347a8
Better counting of missing simplifications rules in propagate equalities.
by Trevor Hansen
· 12 days ago
b8b18c9
check for unimplemented rules in propagate equalities.
by Trevor Hansen
· 13 days ago
6072dc2
fix typo
by Trevor Hansen
· 13 days ago
09c5021
enable speculative simplifications on bvnot
by Trevor Hansen
· 14 days ago
0e4ac06
cbitp both ways at start of simplifying.
by Trevor Hansen
· 14 days ago
e29a1b6
Ability to just accept just speculative simplifications that map to constants
by Trevor Hansen
· 14 days ago
6e8ee8c
Faster propagate equalities
by Trevor Hansen
· 14 days ago
66824b8
fix memory out on some deeply nested problems.
by Trevor Hansen
· 2 weeks ago
More »