adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cleanup: correct version info

This commit is contained in:
Gerwin Klein 2017-01-13 18:31:59 +01:00
parent 8ac1200329
commit 3fee2d83b4
1 changed files with 2 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
spec/design/version
View File

@ -1,32 +1,8 @@
Built from git repo at /home/agomezl/NICTA/verification/l4v/spec/haskell by agomezl
Built from git repo at /Users/kleing/verification/l4v/spec/haskell by kleing
Generated from changeset:
55a331c ExecSpec: Changes to the haskell to better reflect ASpec
9668464 cleanup: remove accidentally declared const
Warning - uncomitted changes used:
M ../design/skel/TCBDecls_H.thy
M ../design/version
?? ../../.tramp_history
?? ../../diff_sel4
?? ../../kernel_all_1.txt
?? ../../kernel_all_2.txt
?? ../../olf_kernel_all.c_pp
?? ../../proof/access-control/Syscall_AC.thy.bkp
?? ../../proof/crefine/.Fastpath_C.thy.marks
?? ../../proof/crefine/.Ipc_C.thy.marks
?? ../../proof/crefine/.IsolatedThreadAction.thy.marks
?? ../../proof/crefine/Fastpath_C2.thy
?? ../../proof/crefine/IsolatedThreadAction.thy.bkp
?? ../../proof/drefine/Tcb_DR.thy.bkp
?? ../../proof/infoflow/ADT_IF_Refine.thy.bkp
?? ../../proof/infoflow/ADT_IF_Refine_C.thy.bkp
?? ../../proof/infoflow/Example_Valid_StateH.thy.bkp
?? ../../proof/invariant-abstract/DetSchedDomainTime_AI.thy.bkp
?? ../../proof/refine/DomainTime_R.thy.bkp
?? ../cspec/c/32/
?? ../design/skel/ARM/ArchFault_H.thy.bkp
?? ../../test-images/
?? ../../tools/c-parser/testfiles/test_foo.c
?? ../../tools/c-parser/testfiles/test_foo.thy
?? ../../tws_rm.sh