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 години