search

GillianPlatform / Gillian

The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
74 stars 11 forks source link

Predicates with cost #239

Closed PetarMax closed 1 year ago

PetarMax commented 1 year ago

This PR adds an optional cost to GIL predidates.

Cost is an assertion that is consumed at unfold and produced at fold.