Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Rebuild with Eclipse 2020-03 | Kristóf Marussy | 2020-05-07 |
* | Adjust classpath for Z3 in viatra2logic | ArenBabikian | 2020-05-06 |
* | Able to run Pledge Case Study | ArenBabikian | 2020-04-28 |
* | Migrating Additional projects | OszkarSemerath | 2017-06-10 |