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