2012-04-16 | zhang | The result for "Set" operation gets strengthened. | file | diff | annotate |
2012-02-28 | urbanc | fixed typo | file | diff | annotate |
2012-02-20 | urbanc | some polishing of the repository | file | diff | annotate |
2012-02-13 | urbanc | added implementation section | file | diff | annotate |
2012-02-12 | urbanc | completed model section; vt has only state as argument | file | diff | annotate |
2012-02-10 | urbanc | more on paper | file | diff | annotate |
2012-02-01 | zhang | All comments added. | file | diff | annotate |
2012-01-24 | urbanc | initial version of the PIP formalisation | file | diff | annotate |