Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. concatentation of bit values
  2. prefer canonically oriented lists of bits and more direct characterizations in definitions
  3. more simp rules for concrete numerical values
  4. words added to code generator test
Changeset 72028:08f1e4cb735f by haftmann:
concatentation of bit values
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/Word/Ancient_Numeral.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)
Changeset 72027:759532ef0885 by haftmann:
prefer canonically oriented lists of bits and more direct characterizations in definitions
The file was modified src/HOL/Word/Bit_Comprehension.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
Changeset 72026:5689f0db4508 by haftmann:
more simp rules for concrete numerical values
The file was modified src/HOL/Parity.thy (diff)
Changeset 72025:b4ed07cbe954 by haftmann:
words added to code generator test
The file was modified src/HOL/Codegenerator_Test/Candidates.thy (diff)