fixed command line

[cdsspec-compiler.git] / correctness-model / writeup / figures / CVS / Entries

diff --git a/correctness-model/writeup/figures/CVS/Entries b/correctness-model/writeup/figures/CVS/Entries
deleted file mode 100644 (file)
index 998018a..0000000
--- a/correctness-model/writeup/figures/CVS/Entries
+++ /dev/null
@@ -1,42 +0,0 @@
-/fence_sw.dot/1.1/Wed Jan 14 22:53:32 2015//
-/fence_sw2.dot/1.1/Wed Jan 14 22:53:32 2015//
-/fence_sw_r_collapse.dot/1.1/Wed Jan 14 22:53:32 2015//
-/fence_sw_r_collapse2.dot/1.1/Wed Jan 14 22:53:32 2015//
-/fence_sw_w_collapse.dot/1.1/Wed Jan 14 22:53:32 2015//
-/fence_sw_w_collapse2.dot/1.1/Wed Jan 14 22:53:32 2015//
-/ff_sc_rf.dot/1.1/Wed Jan 14 22:53:32 2015//
-/ff_sc_rf2.dot/1.1/Wed Jan 14 22:53:32 2015//
-/fw_sc_rf.dot/1.1/Wed Jan 14 22:53:32 2015//
-/fw_sc_rf2.dot/1.1/Wed Jan 14 22:53:32 2015//
-/lockhistory.pdf/1.1/Wed Jan 14 22:53:32 2015/-kb/
-/release_seq.pdf/1.1/Wed Jan 14 22:53:32 2015/-kb/
-/rmw_atomicity.dot/1.1/Wed Jan 14 22:53:32 2015//
-/rmw_atomicity2.dot/1.1/Wed Jan 14 22:53:32 2015//
-/rmw_mo.dot/1.1/Wed Jan 14 22:53:32 2015//
-/rmw_mo2.dot/1.1/Wed Jan 14 22:53:32 2015//
-/rr_mo.dot/1.1/Wed Jan 14 22:53:32 2015//
-/rr_mo2.dot/1.1/Wed Jan 14 22:53:32 2015//
-/rw_mo.dot/1.1/Wed Jan 14 22:53:32 2015//
-/rw_mo2.dot/1.1/Wed Jan 14 22:53:33 2015//
-/sc_mo.dot/1.1/Wed Jan 14 22:53:33 2015//
-/sc_mo2.dot/1.1/Wed Jan 14 22:53:33 2015//
-/sc_wr_mo.dot/1.1/Wed Jan 14 22:53:33 2015//
-/sc_wr_mo2.dot/1.1/Wed Jan 14 22:53:33 2015//
-/specdesign.pdf/1.1/Wed Jan 14 22:53:33 2015/-kb/
-/specworkflow.pdf/1.1/Wed Jan 14 22:53:33 2015/-kb/
-/wf_sc_rf.dot/1.1/Wed Jan 14 22:53:33 2015//
-/wf_sc_rf2.dot/1.1/Wed Jan 14 22:53:33 2015//
-/workflow.pdf/1.1/Wed Jan 14 22:53:33 2015/-kb/
-/wr_mo.dot/1.1/Wed Jan 14 22:53:33 2015//
-/wr_mo2.dot/1.1/Wed Jan 14 22:53:33 2015//
-/ww_mo.dot/1.1/Wed Jan 14 22:53:33 2015//
-/ww_mo2.dot/1.1/Wed Jan 14 22:53:33 2015//
-/ww_sc_fence_first_collapse.dot/1.1/Wed Jan 14 22:53:33 2015//
-/ww_sc_fence_first_collapse2.dot/1.1/Wed Jan 14 22:53:33 2015//
-/ww_sc_fence_mo.dot/1.1/Wed Jan 14 22:53:33 2015//
-/ww_sc_fence_mo2.dot/1.1/Wed Jan 14 22:53:33 2015//
-/ww_sc_fence_second_collapse.dot/1.1/Wed Jan 14 22:53:33 2015//
-/ww_sc_fence_second_collapse2.dot/1.1/Wed Jan 14 22:53:33 2015//
-/rcuhistory.odg/1.2/Wed Jan 21 22:50:28 2015//
-/rcuhistory.pdf/1.4/Wed Jan 21 22:50:15 2015/-kb/
-D