search

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

castToInt removal #287

Closed PetarMax closed 2 years ago

PetarMax commented 2 years ago

The castToInt trick will no longer be needed once https://github.com/runtimeverification/haskell-backend/pull/3202 is merged into the Haskell backend.

The allInts(XS) predicate is changed so that the associated reasoning happens at the ML-level.

PetarMax commented 2 years ago

I am not sure why there are conflicts in deps/k...