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

add consume & produce commands #309

Closed giltho closed 3 weeks ago

giltho commented 1 month ago

Signed-off-by: Sacha Ayoun sachaayoun@gmail.com

giltho commented 1 month ago

would be nicer to define some shared function for consume + SepAssert

I tried but didn’t quite work, the two functions return different things, I’d need to return a substitution etc… it could be done but it’s not a clean cut