summaryrefslogtreecommitdiff log msg author committer range path: root/MakefileAgeCommit message (Expand)Author 2018-05-24Let's have it just load everything, to start with.Nathanael Sensfelder 2018-05-24Starting an IDP model checker for HaStABel...Nathanael Sensfelder
