Replace "monomorphised" lemmas with generic versions

viperproject / gobra-libs

Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.

MIT License

2 stars 1 forks source link

Replace "monomorphised" lemmas with generic versions #17

Open jcp19 opened 4 months ago

jcp19 commented 4 months ago

The usability of the library is limited by the fact that all lemmas that we have are not generic. When https://github.com/viperproject/gobra/pull/671 is merged, we should generalise all "monomorphised" implementations by the generic one.