andrei/modelverse @ 964e613c380b12f81f6b3d62baf415e0e365d8a1

Yentl Van Tendeloo 964e613c38 Fixed some bugs and added debugging functions in the JIT (at generated code level)		7 年之前
..
mvkcontroller.xml	0e48e93215 Fixed PM enactment code from set to list (for double enactment of e.g., join)	7 年之前
server.xml	2a15d5d502 Fixed everything	8 年之前
service.xml	4d7a950958 Removed spurious prints	8 年之前
socket.xml	0e48e93215 Fixed PM enactment code from set to list (for double enactment of e.g., join)	7 年之前
task.xml	964e613c38 Fixed some bugs and added debugging functions in the JIT (at generated code level)	7 年之前