summaryrefslogtreecommitdiff log msg author committer range path: root/MakefileAgeCommit message (Collapse)Author 2018-05-24Starting an IDP model checker for HaStABel...Nathanael Sensfelder
