Commits

Commits on May 31, 2019

regression-new/ini-spec-gen: add a new test seq
daejunpark
committed

Commits on May 28, 2019

k-distribution/kprove-ini: proper analysis of sub-cases of proofs
ehildenb
committed

Commits on May 27, 2019

Commits on May 24, 2019

k-distribution/gen-specs: including trusted lemmas correctly
ehildenb
committed
k-distribution/gen-specs: allow specifying proof dependencies as trusted lemmas
ehildenb
committed

Commits on May 22, 2019

Collection pattern docs (#488)
dwightguth
authored

Commits on May 21, 2019

haskell-backend/src/main/native/haskell-backend: update submodule (#487)

ehildenb
authored and
dwightguth
committed
fix performance regression (#483)

dwightguth
authored and
ehildenb
committed

Commits on May 20, 2019

haskell-backend/src/main/native/haskell-backend: update submodule (#484)

ehildenb
authored and
dwightguth
committed

Commits on May 16, 2019

Resolve interaction between macros and function context (#477)
dwightguth
authored
another unused open (#481)
dwightguth
authored
pending documentation list (#480)
dwightguth
authored
remove another ocaml warning (#479)
dwightguth
authored

Commits on May 15, 2019