Home Esplora Aiuto
Accedi
arys
/
sccd
forkato da simon/SCCD
Segui 1
Vota 0
Forka 0
File Problemi 0 Wiki
Albero (Tree): 0664fd0abb
Rami (Branch) Tag
sccd
/
test
/
target_js
/
big_step_maximality
Simon Van Mierlo 0664fd0abb a trigger with no port specification is now also triggered by an external 9 anni fa
..
00_take_one.js 0664fd0abb a trigger with no port specification is now also triggered by an external 9 anni fa
01_take_many.js 0664fd0abb a trigger with no port specification is now also triggered by an external 9 anni fa
10_orthogonal_take_one.js 0664fd0abb a trigger with no port specification is now also triggered by an external 9 anni fa
11_orthogonal_take_many.js 0664fd0abb a trigger with no port specification is now also triggered by an external 9 anni fa