From 3fee2d83b42dc6dd6515d5d4ba7dc3781466fe4e Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 13 Jan 2017 18:31:59 +0100 Subject: [PATCH] cleanup: correct version info --- spec/design/version | 28 ++-------------------------- 1 file changed, 2 insertions(+), 26 deletions(-) diff --git a/spec/design/version b/spec/design/version index 3552f5794..397d9fa6b 100644 --- a/spec/design/version +++ b/spec/design/version @@ -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