Edward Pierzchalski
|
d75740201c
|
Remove pure word lemmas from proof/*
Removes redundant lemmas after moving them up to Word_Lib.
|
2018-10-10 14:15:00 +11:00 |
Gerwin Klein
|
6b9d9d24dd
|
Isabelle2018: new "op x" syntax; now is "(x)"
(result of "isabelle update_op -m <dir>")
|
2018-08-20 09:06:35 +10:00 |
Corey Lewis
|
571ef6d0ca
|
crefine+drefine+access+infoflow: update proofs for SetTLSBase (VER-807)
|
2018-07-03 13:42:22 +10:00 |
Japheth Lim
|
d7ec3eb986
|
crefine: update for C-parser change to avoid complex call lvals (JIRA VER-881)
|
2018-02-28 11:22:53 +11:00 |
Matthew Brecknell
|
184d6b70b7
|
remove most tab characters
|
2017-10-20 14:22:36 +11:00 |
|
Gerwin Klein
|
564359b13e
|
arm crefine: proof updates for bitfield generator changes
The name mangling of "v" changes in a few places, and mask_def is
occasionally needed where it wasn't before.
|
2017-09-20 22:03:04 +10:00 |
Alejandro Gomez-Londono
|
796887d9b1
|
Removes all trailing whitespaces
|
2017-07-12 15:13:51 +10:00 |
Rafal Kolanski
|
f00bd94abe
|
crefine: move crefine/* into crefine/ARM/*
|
2017-03-31 16:13:41 +11:00 |