| #
c4dc578b |
|
17-Sep-2018 |
Edward Pierzchalski <ed.pierzchalski@data61.csiro.au> |
Fix up proofs after word lemma moves
|
| #
d7574020 |
|
20-Sep-2018 |
Edward Pierzchalski <ed.pierzchalski@data61.csiro.au> |
Remove pure word lemmas from proof/*
Removes redundant lemmas after moving them up to Word_Lib.
|
| #
6b9d9d24 |
|
09-Jun-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Isabelle2018: new "op x" syntax; now is "(x)"
(result of "isabelle update_op -m <dir>")
|
| #
4fedfb5e |
|
06-May-2018 |
Michael Sproul <michael.sproul@data61.csiro.au> |
x64: crefine: clear remaining sorry in Interrupt_C (VER-879)
|
| #
82474647 |
|
09-Mar-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
x64 crefine: FPU updates
|
| #
3fb9903e |
|
25-Feb-2018 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
x64: crefine: update for C-parser change to avoid complex call lvals (JIRA VER-881)
|
| #
dbf763ad |
|
08-Jan-2018 |
Joel Beeren <joel.beeren@data61.csiro.au> |
x64: crefine: cleared sorries in SyscallArgs_C
|
| #
a07380a7 |
|
16-Oct-2017 |
Joel Beeren <joel.beeren@data61.csiro.au> |
x64: crefine: added SyscallArgs_C
|