.. |
binary_to_decimal.alc
|
2ec1ad9500
Updated tests to new format
|
hace 9 años |
factorial.alc
|
2ec1ad9500
Updated tests to new format
|
hace 9 años |
fibonacci.alc
|
2ec1ad9500
Updated tests to new format
|
hace 9 años |
fibonacci_smart.alc
|
2ec1ad9500
Updated tests to new format
|
hace 9 años |
if_elif.alc
|
2ec1ad9500
Updated tests to new format
|
hace 9 años |
if_elif_else.alc
|
2ec1ad9500
Updated tests to new format
|
hace 9 años |
leap_year.alc
|
2ec1ad9500
Updated tests to new format
|
hace 9 años |
lib_remainder.alc
|
2ec1ad9500
Updated tests to new format
|
hace 9 años |
main.alc
|
16aea7da03
Initial commit from svn
|
hace 9 años |
my_petrinet.mvc
|
89eb245299
Added more tests for the simple interface; updated to allow for anonymous elements
|
hace 9 años |
my_petrinet_with_MM.mvc
|
ef986ecd53
Added constraints and added some test cases
|
hace 9 años |
my_petrinet_with_MM_and_constraints.mvc
|
ef986ecd53
Added constraints and added some test cases
|
hace 9 años |
petrinets.mvc
|
89eb245299
Added more tests for the simple interface; updated to allow for anonymous elements
|
hace 9 años |
petrinets_constraints.mvc
|
ef986ecd53
Added constraints and added some test cases
|
hace 9 años |
pn_interface.alc
|
d844df3fab
Rename main function
|
hace 9 años |
pn_semantics.alc
|
5ed2215925
PetriNet semantics checks for conformance to PetriNets first
|
hace 9 años |
power.alc
|
2ec1ad9500
Updated tests to new format
|
hace 9 años |
remainder.alc
|
16aea7da03
Initial commit from svn
|
hace 9 años |
revert.alc
|
2ec1ad9500
Updated tests to new format
|
hace 9 años |
rpgame.mvc
|
443bcc8773
Added RPGame metamodel and allowed model constructor to use inheritance
|
hace 9 años |
rpgame_semantics.alc
|
5eb3b3a328
Added RPGame semantics in action language
|
hace 9 años |
several_petrinets.mvc
|
364db14b2a
Fixed tests again
|
hace 9 años |
simpleclassdiagrams.mvc
|
89eb245299
Added more tests for the simple interface; updated to allow for anonymous elements
|
hace 9 años |