Skip to content
Snippets Groups Projects
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
Van-François LE's avatar
pushed to branch master at cosyverif / formalisms
  • 438c8045 · feat: set number type for numvalue
Van-François LE's avatar
pushed to branch master at cosyverif / formalisms
  • 11204794 · fix(adtree): add defaultValue to root attribute
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
  • 978ee3d3 · fix: add defaultValue to name attribute
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
  • e9ad23f7 · fix: a model can contain other models
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
  • 0d5c29bc · fix: remove arctype from the network-pta
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
  • 24e773f4 · fix: rename of the network of ptas
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
  • 64f6dbd6 · wip: fml for networks of pta
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
  • df2585e2 · refactor: parametric timed automaton
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
  • 1aa3b184 · refactor: timed automaton and parametric timed automaton
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
  • ccb3d5c2 · refactor: remove abstract PTA
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
  • 3269c35b · add fml files for parametric pt nets
Van-François LE's avatar
deleted branch updateFML at cosyverif / formalisms
Jaime Arias's avatar
accepted merge request !3 "feat: add cat fml example and update fml" at cosyverif / formalisms
Jaime Arias's avatar
pushed to branch master at cosyverif / formalisms
Jaime Arias's avatar
approved merge request !3 "feat: add cat fml example and update fml" at cosyverif / formalisms
Van-François LE's avatar
opened merge request !3 "feat: add cat fml example and update fml" at cosyverif / formalisms