| .. |
|
binary_to_decimal.alc
|
75c761e091
Updated tests to new format
|
9 年 前 |
|
factorial.alc
|
75c761e091
Updated tests to new format
|
9 年 前 |
|
fibonacci.alc
|
75c761e091
Updated tests to new format
|
9 年 前 |
|
fibonacci_smart.alc
|
75c761e091
Updated tests to new format
|
9 年 前 |
|
if_elif.alc
|
75c761e091
Updated tests to new format
|
9 年 前 |
|
if_elif_else.alc
|
75c761e091
Updated tests to new format
|
9 年 前 |
|
leap_year.alc
|
75c761e091
Updated tests to new format
|
9 年 前 |
|
lib_remainder.alc
|
75c761e091
Updated tests to new format
|
9 年 前 |
|
main.alc
|
e527d9b485
Initial commit from svn
|
9 年 前 |
|
my_petrinet.mvc
|
f907ff01e4
Added more tests for the simple interface; updated to allow for anonymous elements
|
9 年 前 |
|
my_petrinet_with_MM.mvc
|
48a5fd6de9
Added constraints and added some test cases
|
9 年 前 |
|
my_petrinet_with_MM_and_constraints.mvc
|
48a5fd6de9
Added constraints and added some test cases
|
9 年 前 |
|
petrinets.mvc
|
f907ff01e4
Added more tests for the simple interface; updated to allow for anonymous elements
|
9 年 前 |
|
petrinets_constraints.mvc
|
48a5fd6de9
Added constraints and added some test cases
|
9 年 前 |
|
pn_interface.alc
|
bdbb6db0dd
Split the petri nets operational semantics from the pn_interface
|
9 年 前 |
|
pn_semantics.alc
|
25eccb9aca
PetriNet semantics checks for conformance to PetriNets first
|
9 年 前 |
|
power.alc
|
75c761e091
Updated tests to new format
|
9 年 前 |
|
remainder.alc
|
e527d9b485
Initial commit from svn
|
9 年 前 |
|
revert.alc
|
75c761e091
Updated tests to new format
|
9 年 前 |
|
rpgame.mvc
|
60b6da2da9
Added RPGame metamodel and allowed model constructor to use inheritance
|
9 年 前 |
|
rpgame_semantics.alc
|
1cdda7cf40
Added RPGame semantics in action language
|
9 年 前 |
|
several_petrinets.mvc
|
7e3021bdfc
Added an execute_model script, which adds the model, as well as compiling everything
|
9 年 前 |
|
simpleclassdiagrams.mvc
|
f907ff01e4
Added more tests for the simple interface; updated to allow for anonymous elements
|
9 年 前 |
Yentl Van Tendeloo
1cdda7cf40
Added RPGame semantics in action language