lucas/modelverse: Code repository for master thesis about example-driven DSML design @ 703a4a801412555ae7c481a50059696da9e34ab0

Yentl Van Tendeloo 703a4a8014 PM enactment seems to work (though reachability doesn't)		8 سال پیش
..
core_algorithm.alc	703a4a8014 PM enactment seems to work (though reachability doesn't)	8 سال پیش
core_formalism.mvc	c3fd91f447 Removed debugging code	8 سال پیش
mini_modify.alc	6fe7b7aca6 Fixed manual transformations	8 سال پیش
mini_modify.alh	c2b8f8ab4d Even more (untested) code for the core algorithm	8 سال پیش
pm.mvc	7636820ea9 Add draft of PM enactment	8 سال پیش