Etusivu Tutki Apua
Kirjaudu sisään
lucas
/
modelverse
forkattu lähteestä yentl/modelverse
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot
Puu: ccab31a43c
Branchit Tagit
modelverse
/
models
Yentl Van Tendeloo ccab31a43c Compress bootstrap file even more 8 vuotta sitten
..
CBD_mapper.mvc 41c99bebea Several fixes to the concrete syntax mapper for CBDs: update AS identifier as well 8 vuotta sitten
MM_rendered_graphical.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
MM_rendered_plot.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
SCCD.mvc 902d79108a Added code for creation and deletion of classes 8 vuotta sitten
SCCD_execute.alc ccab31a43c Compress bootstrap file even more 8 vuotta sitten
architecture.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
architecture_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
bfs.alc 27d911f2a6 Updated .alc files for ActionLanguage model operations with new 8 vuotta sitten
combine_EPN.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
control_PW.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
control_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
control_model_wrong.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
control_to_EPN.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
environment_PW.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
environment_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
environment_to_EPN.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
epn_print.alc c31ce9b43d Fixed (e)pn_print code 8 vuotta sitten
initialize.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
matches.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
merge_EPN.alc c6740f14b0 Add missing model 8 vuotta sitten
my_pn.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
petrinet_ports.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
petrinets.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
plant_PW.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
plant_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
plant_to_EPN.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
pm_req_analyse.mvc 69f9e63b5c Fixed power window tests 8 vuotta sitten
pm_req_analyse_debug.mvc 69f9e63b5c Fixed power window tests 8 vuotta sitten
pn_print.alc c31ce9b43d Fixed (e)pn_print code 8 vuotta sitten
query.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
query_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
reachability.alc 5b3f86ba17 Unified AL, Manual, and Transformations in core algorithm 8 vuotta sitten
reachability_graph.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
reachabilitygraph_print.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
requirements.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
requirements_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
trace.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
trace_example.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 vuotta sitten
trace_mapper.mvc 9095484e0d Fixes to concrete syntax front-end 8 vuotta sitten