Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | P-FP: port P-FP plugin used in B. Brandenburg's | Sven Dziadek | 2012-07-23 |
dissertation (branch bbb-diss) to current version of litmus This is needed for ongoing projects I took the unchanged code but removed some leftovers of OMLP which is not implemented |