| 2012-05-09 |
urbanc |
comments by Xingyuan
|
file |
diff |
annotate
|
| 2012-05-03 |
urbanc |
some small editing
|
file |
diff |
annotate
|
| 2012-05-03 |
urbanc |
tuned paragraph on multiprocesors
|
file |
diff |
annotate
|
| 2012-05-02 |
urbanc |
added section about PINTOS and rewritten multi-processor section
|
file |
diff |
annotate
|
| 2012-04-30 |
urbanc |
slightly changed the definition of holdends and detached
|
file |
diff |
annotate
|
| 2012-04-20 |
urbanc |
changes to get the files through for CU
|
file |
diff |
annotate
|
| 2012-04-17 |
urbanc |
added an acknowledgement
|
file |
diff |
annotate
|
| 2012-04-17 |
urbanc |
some small tuning
|
file |
diff |
annotate
|
| 2012-04-17 |
urbanc |
some small improvements
|
file |
diff |
annotate
|
| 2012-04-16 |
urbanc |
???-marks
|
file |
diff |
annotate
|
| 2012-04-16 |
urbanc |
changes requested by the reviewers
|
file |
diff |
annotate
|
| 2012-04-16 |
urbanc |
polished
|
file |
diff |
annotate
|
| 2012-04-15 |
urbanc |
added some of the comments of the reviewers and made it compile with current Isabelle
|
file |
diff |
annotate
|
| 2012-03-06 |
urbanc |
typo
|
file |
diff |
annotate
|
| 2012-02-28 |
urbanc |
fixed typo
|
file |
diff |
annotate
|
| 2012-02-27 |
urbanc |
typo
|
file |
diff |
annotate
|
| 2012-02-20 |
urbanc |
some polishing of the repository
|
file |
diff |
annotate
|
| 2012-02-16 |
urbanc |
one typo
|
file |
diff |
annotate
|
| 2012-02-14 |
urbanc |
changes by Xingyuan
|
file |
diff |
annotate
|
| 2012-02-14 |
urbanc |
live
|
file |
diff |
annotate
|
| 2012-02-14 |
urbanc |
live
|
file |
diff |
annotate
|
| 2012-02-14 |
urbanc |
draft
|
file |
diff |
annotate
|
| 2012-02-14 |
urbanc |
draft
|
file |
diff |
annotate
|
| 2012-02-14 |
urbanc |
key lemma
|
file |
diff |
annotate
|
| 2012-02-14 |
urbanc |
fixed 1st paragraph
|
file |
diff |
annotate
|
| 2012-02-14 |
urbanc |
1st paragraph
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
1st paragraph
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
polished implementation
|
file |
diff |
annotate
|
| 2012-02-13 |
zhang |
Line numbers added.
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
more conclusion
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
more conclusion
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
more conclusion
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
more conclusion
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
some parts of the conclusion
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
proof idea
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
added implementation section
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
merged Xingyuan's changes
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
polished
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
more on the paper
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
more on the paper
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
assumptions
|
file |
diff |
annotate
|
| 2012-02-13 |
urbanc |
some polishing
|
file |
diff |
annotate
|
| 2012-02-12 |
urbanc |
some polishing
|
file |
diff |
annotate
|
| 2012-02-12 |
urbanc |
contribution section
|
file |
diff |
annotate
|
| 2012-02-12 |
urbanc |
lates
|
file |
diff |
annotate
|
| 2012-02-12 |
urbanc |
correct RAG
|
file |
diff |
annotate
|
| 2012-02-12 |
urbanc |
small polishing
|
file |
diff |
annotate
|
| 2012-02-12 |
urbanc |
completed model section; vt has only state as argument
|
file |
diff |
annotate
|
| 2012-02-11 |
urbanc |
added picture
|
file |
diff |
annotate
|
| 2012-02-11 |
urbanc |
spell check; release
|
file |
diff |
annotate
|
| 2012-02-11 |
urbanc |
renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun
|
file |
diff |
annotate
|
| 2012-02-11 |
urbanc |
some polishing
|
file |
diff |
annotate
|
| 2012-02-11 |
urbanc |
fixed problem with Latexsugar
|
file |
diff |
annotate
|
| 2012-02-10 |
urbanc |
more on paper; modified schs functions; it is still compatible with the old definition
|
file |
diff |
annotate
|
| 2012-02-10 |
urbanc |
more on paper
|
file |
diff |
annotate
|
| 2012-02-09 |
urbanc |
more on the specification section
|
file |
diff |
annotate
|
| 2012-02-08 |
urbanc |
corrections by Xingyuan
|
file |
diff |
annotate
|
| 2012-02-07 |
urbanc |
more on paper
|
file |
diff |
annotate
|
| 2012-02-07 |
urbanc |
more on paper
|
file |
diff |
annotate
|
| 2012-02-06 |
urbanc |
paper updatated
|
file |
diff |
annotate
|
| 2012-02-04 |
urbanc |
updated
|
file |
diff |
annotate
|
| 2012-02-04 |
urbanc |
slight polishing
|
file |
diff |
annotate
|
| 2012-02-03 |
urbanc |
a bit more on the introduction
|
file |
diff |
annotate
|
| 2012-02-02 |
urbanc |
slight tuning
|
file |
diff |
annotate
|
| 2012-02-01 |
urbanc |
more on intro
|
file |
diff |
annotate
|
| 2012-02-01 |
urbanc |
more on intro
|
file |
diff |
annotate
|
| 2012-02-01 |
urbanc |
more on intro
|
file |
diff |
annotate
|
| 2012-02-01 |
urbanc |
slightly more on text
|
file |
diff |
annotate
|
| 2012-02-01 |
zhang |
All comments added.
|
file |
diff |
annotate
|
| 2012-01-30 |
urbanc |
spell check
|
file |
diff |
annotate
|
| 2012-01-30 |
urbanc |
slight polishing
|
file |
diff |
annotate
|
| 2012-01-30 |
urbanc |
more text
|
file |
diff |
annotate
|
| 2012-01-30 |
urbanc |
added two paragraphs to the introduction
|
file |
diff |
annotate
|
| 2012-01-29 |
zhang |
More explanations added by XY.
|
file |
diff |
annotate
|
| 2012-01-27 |
urbanc |
changed abstract, intro and IsaMakefile
|
file |
diff |
annotate
|
| 2012-01-27 |
zhang |
Newer version.
|
file |
diff |
annotate
|
| 2012-01-24 |
urbanc |
initial version of the PIP formalisation
|
file |
diff |
annotate
|