pip: Graph

Mercurial Mercurial > hg > pip / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
less more | (0) -100 -50 -30 +30 +50 tip

More redundant lemmas are reomved.
2016-02-06, by zhangx
About to change the proof of waiting_unique_pre and waiting_unqie.
2016-02-06, by zhangx
wq_in_inv and wq_out_inv are removed, a number of loop holes need to be filled.
2016-02-05, by zhangx
Several redundant lemmas removed.
2016-02-04, by zhangx
updated Correctness, Implementation and PIPBasics so that they work with Isabelle 2014 and 2015
2016-02-04, by Christian Urban
updated files
2016-02-03, by Christian Urban
Commit to revert
2016-02-03, by zhangx
A fake merge. Used to revert to 98
2016-02-03, by zhangx
PIPBasics.thy reorganized into sections. The structure is now stable. Next step is to put in more comments.
2016-02-03, by zhangx
Reorganizing PIPBasics.thy and making small changes to Implementation.thy and Correctness.thy.
2016-02-03, by zhangx
Reorganzing PIPBasics.thy intro sections.
2016-02-03, by zhangx
Reorganizing PIPBasics.thy
2016-02-01, by zhangx
Small improvemnts in PIPBasis.thy
2016-01-31, by zhangx
deleted superflous files
2016-01-29, by Christian Urban
merged
2016-01-29, by Christian Urban
merged
2016-01-28, by Christian Urban
changes to my repository
2016-01-28, by Christian Urban
some small changes
2016-01-28, by Christian Urban
The overwriten original .thy files are working now. The ones in last revision aren't.
2016-01-29, by 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-29, by zhangx
Removed *.*~, #***#, log, etc.
2016-01-29, by zhangx
Retrofiting of:
2016-01-28, by zhangx
Slightly modified ExtGG.thy and PrioG.thy.
2016-01-28, by zhangx
Merged back ExtGG.thy and PrioG.thy.
2016-01-28, by zhangx
Tracking ExtGG.thy etc., so that a update to 83 is possible.
2016-01-28, by zhangx
Added PrioG.thy again
2016-01-28, by zhangx
Added PrioG.thy as a parallel copy of Correctness.thy
2016-01-28, by zhangx
The parallel of Implementation.thy, i.e. ExtGG.thy has been updated. And some errors in
2016-01-27, by zhangx
merged
2016-01-27, by Christian Urban
some small changes to Correctness and Paper
2016-01-27, by Christian Urban

less more | (0) -100 -50 -30 +30 +50 tip

pip