Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. for generated Haskell code, never use let-binds with pattern matching: irrefutable patterns destroy partial correctness
  2. early abort on depth limit
  3. obsolete
  4. tuned
Changeset 65483:1cb9fd58d55e by haftmann:
for generated Haskell code, never use let-binds with pattern matching: irrefutable patterns destroy partial correctness
The file was modified src/Tools/Code/code_haskell.ML (diff)
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 65482:721feefce9c6 by haftmann:
early abort on depth limit
The file was modified src/HOL/Quickcheck_Narrowing.thy (diff)
Changeset 65481:b11b7ad22684 by haftmann:
obsolete
The file was modified src/HOL/Quickcheck_Narrowing.thy (diff)
Changeset 65480:5407bc278c9a by haftmann:
tuned
The file was modified src/HOL/Quickcheck_Narrowing.thy (diff)