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
Rename "pure formulae" to "path conditions" in the debugger
#286
Open
NatKarmios
opened
5 months ago