Closed PetarMax closed 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.
allInts(XS)
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.