| #
41d4aa4f |
|
25-Oct-2016 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
Isabelle2016-1: update references to renamed constants and facts
|
| #
457a55a8 |
|
01-Nov-2015 |
Joel Beeren <joel.beeren@nicta.com.au> |
add arch_tcb object to C, rename aep -> ntfn
|
| #
e3c08551 |
|
21-Sep-2015 |
Daniel Matichuk <daniel.matichuk@nicta.com.au> |
removed accidental inclusion of Apply_Trace
|
| #
c8d06920 |
|
21-Sep-2015 |
Daniel Matichuk <daniel.matichuk@nicta.com.au> |
sys-init now checks
|
| #
2b7b2589 |
|
17-Sep-2014 |
Andrew Boyton <andrew.boyton@nicta.com.au> |
sys-init: Prove the starting of threads is done correctly.
We no longer assume the starting of threads, but prove it correct
(assuming the behaviour of the scheduler).
|