2012-04-30 | urbanc | slightly changed the definition of holdends and detached | file | diff | annotate |
2012-02-12 | urbanc | completed model section; vt has only state as argument | file | diff | annotate |
2012-02-11 | urbanc | fixed problem with back | file | diff | annotate |
2012-02-11 | urbanc | renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun | 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 | changes by Xingyuan | file | diff | annotate |
2012-02-09 | urbanc | more on the specification section | file | diff | annotate |
2012-01-24 | urbanc | initial version of the PIP formalisation | file | diff | annotate |