Commit graph

3 commits

Author SHA1 Message Date
Sipke Schoorstra 2b669fe39f Extracting contracts to abstractions library 2018-10-16 12:26:43 +02:00
Sipke Schoorstra a459a05517 Some refactorings 2018-10-16 11:52:55 +02:00
Sipke Schoorstra ccea05ffdd Separated data from behavior 2018-10-15 14:15:36 +02:00