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
forall exprs
#295
Closed
giltho
closed
2 months ago
giltho
commented
2 months ago
add EForall to expression AST
Don't crash when reducing || or && and one of the sides can't be reduced.