| #
a424d55e |
|
09-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
licenses: convert license tags to SPDX
|
| #
a5e27933 |
|
03-Sep-2019 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
riscv: cleanup; resolve remaining FIXMEs
|
| #
bd7a6113 |
|
16-Nov-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
lib: more library lemmas for OptionMonad
|
| #
c53f7850 |
|
18-Oct-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Base ASpec + machine on OptionMonad_ND; fix proof fallout
|
| #
f3dca686 |
|
10-Oct-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
lib: option (reader) monad syntax and gets_map operator
|
| #
796887d9 |
|
11-Jul-2017 |
Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au> |
Removes all trailing whitespaces
|
| #
41d4aa4f |
|
25-Oct-2016 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
Isabelle2016-1: update references to renamed constants and facts
|
| #
f0faa90f |
|
17-Apr-2016 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
lib/spec/proof/tools: fix word change fallout
|
| #
84b923a6 |
|
17-Apr-2016 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
lib: start disentangling spaghetti word dependencies
|