projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c09ba1a) | patch
changes
authorPeizhao Ou <peizhaoo@uci.edu>
Fri, 10 Apr 2015 18:02:05 +0000 (11:02 -0700)
committerPeizhao Ou <peizhaoo@uci.edu>
Fri, 10 Apr 2015 18:02:05 +0000 (11:02 -0700)
commitf7207fbf6086300565ee3f30c220fd37a891eb4e
tree4a062c0ed076e3e955dbb659959967284f8d2148tree | snapshot
parentc09ba1a1a43b3a3761eb3ed1351a7b6780aeb73acommit | diff
changes
78 files changed:
correctness-model/note.txt [new file with mode: 0644] blob
correctness-model/writeup/.#implementation.tex.1.9 [new file with mode: 0644] blob
correctness-model/writeup/.#introduction.tex.1.24 [new file with mode: 0644] blob
correctness-model/writeup/.#introduction.tex.1.26 [new file with mode: 0644] blob
correctness-model/writeup/.#memorymodel.tex.1.1 [new file with mode: 0644] blob
correctness-model/writeup/.#specification.tex.1.47 [new file with mode: 0644] blob
correctness-model/writeup/CVS/Entries [new file with mode: 0644] blob
correctness-model/writeup/CVS/Repository [new file with mode: 0644] blob
correctness-model/writeup/CVS/Root [new file with mode: 0644] blob
correctness-model/writeup/abstract.tex [new file with mode: 0644] blob
correctness-model/writeup/conclusion.tex [new file with mode: 0644] blob
correctness-model/writeup/confstrs-abbrv.bib [new file with mode: 0644] blob
correctness-model/writeup/confstrs-long.bib [new file with mode: 0644] blob
correctness-model/writeup/evaluation.tex [new file with mode: 0644] blob
correctness-model/writeup/example.tex [new file with mode: 0644] blob
correctness-model/writeup/figures/CVS/Entries [new file with mode: 0644] blob
correctness-model/writeup/figures/CVS/Repository [new file with mode: 0644] blob
correctness-model/writeup/figures/CVS/Root [new file with mode: 0644] blob
correctness-model/writeup/figures/fence_sw.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/fence_sw2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/fence_sw_r_collapse.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/fence_sw_r_collapse2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/fence_sw_w_collapse.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/fence_sw_w_collapse2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/ff_sc_rf.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/ff_sc_rf2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/fw_sc_rf.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/fw_sc_rf2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/lockhistory.pdf [new file with mode: 0644] blob
correctness-model/writeup/figures/rcuhistory.odg [new file with mode: 0644] blob
correctness-model/writeup/figures/rcuhistory.pdf [new file with mode: 0644] blob
correctness-model/writeup/figures/release_seq.pdf [new file with mode: 0644] blob
correctness-model/writeup/figures/rmw_atomicity.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/rmw_atomicity2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/rmw_mo.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/rmw_mo2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/rr_mo.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/rr_mo2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/rw_mo.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/rw_mo2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/sc_mo.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/sc_mo2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/sc_wr_mo.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/sc_wr_mo2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/specdesign.pdf [new file with mode: 0644] blob
correctness-model/writeup/figures/specworkflow.pdf [new file with mode: 0644] blob
correctness-model/writeup/figures/wf_sc_rf.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/wf_sc_rf2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/workflow.pdf [new file with mode: 0644] blob
correctness-model/writeup/figures/wr_mo.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/wr_mo2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/ww_mo.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/ww_mo2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/ww_sc_fence_first_collapse.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/ww_sc_fence_first_collapse2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/ww_sc_fence_mo.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/ww_sc_fence_mo2.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/ww_sc_fence_second_collapse.dot [new file with mode: 0644] blob
correctness-model/writeup/figures/ww_sc_fence_second_collapse2.dot [new file with mode: 0644] blob
correctness-model/writeup/formalization.tex [new file with mode: 0644] blob
correctness-model/writeup/implementation.tex [new file with mode: 0644] blob
correctness-model/writeup/introduction.tex [new file with mode: 0644] blob
correctness-model/writeup/issta15_submission.pdf [new file with mode: 0644] blob
correctness-model/writeup/makefile [new file with mode: 0644] blob
correctness-model/writeup/memorymodel.tex [new file with mode: 0644] blob
correctness-model/writeup/paper.aux [new file with mode: 0644] blob
correctness-model/writeup/paper.bbl [new file with mode: 0644] blob
correctness-model/writeup/paper.bib [new file with mode: 0644] blob
correctness-model/writeup/paper.blg [new file with mode: 0644] blob
correctness-model/writeup/paper.log [new file with mode: 0644] blob
correctness-model/writeup/paper.pdf [new file with mode: 0644] blob
correctness-model/writeup/paper.tex [new file with mode: 0644] blob
correctness-model/writeup/related.tex [new file with mode: 0644] blob
correctness-model/writeup/sig-alternate.cls [new file with mode: 0644] blob
correctness-model/writeup/speccfg.tex [new file with mode: 0644] blob
correctness-model/writeup/specification.tex [new file with mode: 0644] blob
correctness-model/writeup/spell.lst [new file with mode: 0644] blob
correctness-model/writeup/technical.tex [new file with mode: 0644] blob
This is the public repository for the CDSSpec specification compiler.