| 2014-05-24 | Christian Urban |
simplified RAG_acyclic proof | changeset | files |
| 2014-05-23 | Christian Urban |
added a test theory for polishing teh proofs | changeset | files |
| 2014-05-22 | Christian Urban |
added a bit more text to the paper and separated a theory about Max | changeset | files |
| 2014-05-20 | Christian Urban |
updated ROOT file | changeset | files |
| 2014-05-15 | Christian Urban |
simplified the cp_rec proof | changeset | files |
| 2014-05-06 | Christian Urban |
made some modifications. | changeset | files |
| 2014-03-12 | Christian Urban |
added paper | changeset | files |
| 2014-05-14 | Christian Urban |
test | changeset | files |
| 2014-03-04 | Christian Urban |
updated readme | changeset | files |
| 2014-03-04 | Christian Urban |
updated | changeset | files |
| 2014-03-04 | Christian Urban |
cleaned up | changeset | files |
| 2014-03-04 | Christian Urban |
updated | changeset | files |
| 2014-03-04 | Christian Urban |
added two more references | changeset | files |
| 2014-03-04 | Christian Urban |
some additions | changeset | files |
| 2014-03-04 | Christian Urban |
made some small chages | changeset | files |
| 2014-03-03 | Christian Urban |
updated | changeset | files |
| 2014-02-28 | Christian Urban |
added llncs to journal | changeset | files |
| 2014-02-25 | Christian Urban |
added | changeset | files |
| 2013-06-21 | Christian Urban |
added paper | changeset | files |
| 2013-06-20 | Christian Urban |
added nasa talk | changeset | files |
| 2012-12-22 | Christian Urban |
updated | changeset | files |
| 2012-12-22 | Christian Urban |
added | changeset | files |
| 2012-12-21 | Christian Urban |
added | changeset | files |
| 2012-12-21 | Christian Urban |
more one the implementation | changeset | files |
| 2012-12-21 | Christian Urban |
added explanation of the code | changeset | files |
| 2012-12-21 | Christian Urban |
updated | changeset | files |
| 2012-12-20 | Christian Urban |
added | changeset | files |
| 2012-12-20 | Christian Urban |
added two papers about PIP on multiprocs | changeset | files |
| 2012-12-20 | Christian Urban |
added original Sha paper | changeset | files |
| 2012-12-19 | Christian Urban |
added a paragraph about RAGS | changeset | files |
| 2012-12-19 | Christian Urban |
started code explanation | changeset | files |
| 2012-12-17 | Christian Urban |
updated | changeset | files |
| 2012-12-10 | Christian Urban |
updated | changeset | files |
| 2012-12-06 | Christian Urban |
added | changeset | files |
| 2012-12-06 | Christian Urban |
made everything working | changeset | files |
| 2012-12-06 | Christian Urban |
added | changeset | files |
| 2012-12-06 | Christian Urban |
added | changeset | files |
| 2012-12-06 | Christian Urban |
added | changeset | files |