issues
search
GillianPlatform
/
Gillian
The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73
stars
11
forks
source link
EVEN MORE RUST
#300
Closed
giltho
closed
2 months ago
giltho
commented
2 months ago
Some printing and slightly more reduction of list
tmi-ing some verbose stuff
I won't even talk about this nightmare
aaaaa
expose Delayed.reduce_formula
mli expose reduce_f
fix z3 smt dump, less information but at least no segfault
z3 upgrade
model validate?
things within lists cannot be sets
no model-validate because it doesn't do anything
Add implication to GIL expressions
lift BImpl
more reductions
MORE REDUCTIONS
MORE. REDUCTIONS.
Let's see if this breaks anything
urgh
M.O.R.E. REDUCTIONS