Add missing range check bound to `assert_nn_le()` spec#195

Open

Julek wants to merge 12 commits intomasterfrom

julek/assert_nn_le_spec_fix

Commits on Mar 24, 2023

Don't verify `@external`-generated wrapper functions

Ferinko
authored and
langfield
committed

Commits on Mar 28, 2023

Add `README.md` section on details of `CairoSemanticsL`
langfield
committed
Merge pull request #168 from NethermindEth/ferinko/extern_fix
langfield
authored
Add some high-level comments in `FunctionAnalysis.hs` and `Global.hs`.
langfield
committed
Add FAQ about commenting-out annotations
langfield
committed
Add `@external` decorator to code-commenting FAQ
langfield
committed
Add mathsat installation to Github actions workflow
langfield
committed
Merge pull request #193 from NethermindEth/langfield/mathsat
langfield
authored
Merge pull request #166 from NethermindEth/langfield/comments
langfield
authored
Merge pull request #156 from NethermindEth/langfield/faq-about-commented-specs
langfield
authored
Merge pull request #192 from NethermindEth/langfield/cairosemantics-readme-additions
langfield
authored

Commits on Mar 29, 2023

Add missing range check bound to `assert_nn_le` spec

Julek
authored and
langfield
committed