PIPBasics.thy
2016-12-09 Christian Urban updated
2016-10-21 Christian Urban updated
2016-10-07 Christian Urban updated
2016-10-02 Christian Urban updated
2016-08-24 Christian Urban updated
2016-08-16 Christian Urban updated tG definition
2016-07-08 Christian Urban updated
2016-07-07 Christian Urban updated
2016-07-04 Christian Urban added version with fgraphs
2016-06-27 Christian Urban unified Rtree.
2016-06-17 Christian Urban updated
2016-06-14 Christian Urban removed some files to attic
2016-06-14 Christian Urban removed most instances of raw
2016-06-09 Christian Urban updated
2016-06-02 Christian Urban updated
2016-03-21 Christian Urban added ? to PIPBasics
2016-03-21 Christian Urban updated to Isabelle 2016
2016-03-21 Christian Urban updated partially
2016-02-13 zhangx Slight changes in commenting.
2016-02-12 zhangx PIPBasics.thy is tidied up now.
2016-02-12 zhangx Commenting of PIPBasics.thy almost completed. The last section needs to be distributed to Correctness.thy and Implementation.thy
2016-02-09 zhangx More refinements in PIPBasics.thy.
2016-02-08 zhangx More improvements in PIPBasics.thy and Implemenation.thy.
2016-02-07 zhangx Small improvements.
2016-02-06 zhangx More redundant lemmas are reomved.
2016-02-06 zhangx About to change the proof of waiting_unique_pre and waiting_unqie.
2016-02-05 zhangx wq_in_inv and wq_out_inv are removed, a number of loop holes need to be filled.
2016-02-04 zhangx Several redundant lemmas removed.
2016-02-04 Christian Urban updated Correctness, Implementation and PIPBasics so that they work with Isabelle 2014 and 2015
2016-02-03 Christian Urban updated files
2016-02-03 zhangx A fake merge. Used to revert to 98
2016-02-03 zhangx PIPBasics.thy reorganized into sections. The structure is now stable. Next step is to put in more comments.
2016-02-03 zhangx Reorganizing PIPBasics.thy and making small changes to Implementation.thy and Correctness.thy.
2016-02-03 zhangx Reorganzing PIPBasics.thy intro sections.
2016-02-01 zhangx Reorganizing PIPBasics.thy
2016-01-31 zhangx Small improvemnts in PIPBasis.thy
2016-01-29 Christian Urban merged
2016-01-28 Christian Urban changes to my repository
2016-01-29 zhangx The overwriten original .thy files are working now. The ones in last revision aren't.
2016-01-29 zhangx Original files overwrite by their parallels (Correctness.thy v.s. PrioG.thy, PIPBasics.thy v.s. CpsG.thy, Implementation v.s. ExtGG.thy).
2016-01-28 zhangx Retrofiting of:
2016-01-27 zhangx The parallel of Implementation.thy, i.e. ExtGG.thy has been updated. And some errors in
2016-01-27 zhangx CpsG.thy retrofiting almost completed. An important mile stone.
2016-01-16 zhangx CpsG.thy updated. It is a copy of PIPBasics.thy under drastic improvement.
2016-01-13 Christian Urban simplified Moment.thy
2016-01-12 zhangx Before retrofiting PIPBasics.thy
2016-01-09 zhangx Correctness simplified a great deal.
2016-01-07 zhangx Reorganization completed, added "scripts_structure.pdf" and "scirpts_structure.pptx".
2016-01-06 Christian Urban renamed files
less more (0) tip