Add support for translating Cryptol constraint guards#1911

Merged

mergify[bot] merged 10 commits intomasterfrom bb/constraint-guards

Aug 18, 2023

+153-5

Commits on Aug 15, 2023

Add support for translating Cryptol constraint guards
Brett Boston
committed

Commits on Aug 16, 2023

Add test for strict less than
Brett Boston
committed
Update cryptol-saw-core/saw/Cryptol.sawcore

bboston7
and
RyanGlScott
authored
Pretty print props
Brett Boston
committed
Handle user types
Brett Boston
committed
Add more dependently typed test
Brett Boston
committed
importErasedTerm -> importNumericConstraintAsBool + docs
Brett Boston
committed
inf < inf now returns True
Brett Boston
committed

Commits on Aug 17, 2023

Update changelog with info on numeric constraint guards
Brett Boston
committed
Merge remote-tracking branch 'origin/master' into bb/constraint-guards
Brett Boston
committed