| .. |
|
code
|
76ea7e971f
Fixed call in PN_interface to transforms
|
8 سال پیش |
|
my_petrinet_with_MM_and_constraints.mvc
|
48a5fd6de9
Added constraints and added some test cases
|
9 سال پیش |
|
test_binary2decimal.py
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
8 سال پیش |
|
test_constructors_al.py
|
cbf7128816
Fixed model constructors
|
8 سال پیش |
|
test_constructors_al_linkable.py
|
cbf7128816
Fixed model constructors
|
8 سال پیش |
|
test_constructors_models.py
|
cbf7128816
Fixed model constructors
|
8 سال پیش |
|
test_constructors_models_compiled.py
|
21d7f23d3c
Even more fixes for the model constructors
|
8 سال پیش |
|
test_factorial.py
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
8 سال پیش |
|
test_fibonacci.py
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
8 سال پیش |
|
test_fibonacci_smart.py
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
8 سال پیش |
|
test_if_elif.py
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
8 سال پیش |
|
test_leap_year.py
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
8 سال پیش |
|
test_main.py
|
e527d9b485
Initial commit from svn
|
9 سال پیش |
|
test_pn_interface.py
|
a045b60f16
Rewrote transformation file structure to contain a match and rewrite phase
|
8 سال پیش |
|
test_power.py
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
8 سال پیش |
|
test_remainder.py
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
8 سال پیش |
|
test_revert.py
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
8 سال پیش |
|
utils.py
|
45b6b74a7f
Small extension to bootstrap primitives (list_pop) and some minor changes to test to include a test for transformations
|
8 سال پیش |
Yentl Van Tendeloo
a045b60f16
Rewrote transformation file structure to contain a match and rewrite phase