| .. |
|
code
|
49d7ad8c3e
First working version of PetriNets transformation that marks transition as "executing"
|
8 lat temu |
|
my_petrinet_with_MM_and_constraints.mvc
|
ef986ecd53
Added constraints and added some test cases
|
9 lat temu |
|
test_binary2decimal.py
|
ae85a354ed
Removed manual json serialization in most code generators and in tests
|
8 lat temu |
|
test_constructors_al.py
|
3a41606a79
Fixed model constructors
|
8 lat temu |
|
test_constructors_al_linkable.py
|
3a41606a79
Fixed model constructors
|
8 lat temu |
|
test_constructors_models.py
|
3a41606a79
Fixed model constructors
|
8 lat temu |
|
test_constructors_models_compiled.py
|
8f0caf16d9
Even more fixes for the model constructors
|
8 lat temu |
|
test_factorial.py
|
ae85a354ed
Removed manual json serialization in most code generators and in tests
|
8 lat temu |
|
test_fibonacci.py
|
ae85a354ed
Removed manual json serialization in most code generators and in tests
|
8 lat temu |
|
test_fibonacci_smart.py
|
ae85a354ed
Removed manual json serialization in most code generators and in tests
|
8 lat temu |
|
test_if_elif.py
|
ae85a354ed
Removed manual json serialization in most code generators and in tests
|
8 lat temu |
|
test_leap_year.py
|
ae85a354ed
Removed manual json serialization in most code generators and in tests
|
8 lat temu |
|
test_main.py
|
16aea7da03
Initial commit from svn
|
9 lat temu |
|
test_pn_interface.py
|
49d7ad8c3e
First working version of PetriNets transformation that marks transition as "executing"
|
8 lat temu |
|
test_power.py
|
ae85a354ed
Removed manual json serialization in most code generators and in tests
|
8 lat temu |
|
test_remainder.py
|
ae85a354ed
Removed manual json serialization in most code generators and in tests
|
8 lat temu |
|
test_revert.py
|
ae85a354ed
Removed manual json serialization in most code generators and in tests
|
8 lat temu |
|
utils.py
|
b9d6aeb2ae
Small extension to bootstrap primitives (list_pop) and some minor changes to test to include a test for transformations
|
8 lat temu |
Yentl Van Tendeloo
49d7ad8c3e
First working version of PetriNets transformation that marks transition as "executing"