Commits · e001626299668a799ffd180a1676c3078c9431c2 · PARTIES / tools / adt2amas · GitLab

Snippets Groups Projects

Sep 30, 2019
- Add documentation of the ad_tree module · e0016262
  Jaime Arias authored 5 years ago
  
  e0016262
Sep 26, 2019
- Add Authors file · 72b87691
  Jaime Arias authored 5 years ago
  
  72b87691
Sep 25, 2019
- Add missing dependency for find_if function · 704b0685
  Jaime Arias authored 5 years ago
  
  704b0685
- Update README with Graphviz dependency · 06bccbe1
  Jaime Arias authored 5 years ago
  
  06bccbe1
- replacing get_tikz by visitor patter · c0dc125b
  Jaime Arias authored 5 years ago
  
  c0dc125b
- Fix tikz visitor pattern · 26f648f3
  Jaime Arias authored 5 years ago
  
  26f648f3
Sep 19, 2019
- Require C++14 · 65582728
  Jaime Arias authored 5 years ago
  
  65582728
Sep 15, 2019
- Use linear expression tikz visitor in amas tikz visitor · 7a32a106
  Jaime Arias authored 5 years ago
  
  7a32a106
- Add visitor for linear expressions · 6054189f
  Jaime Arias authored 5 years ago
  
  6054189f
Sep 13, 2019
- refactor amas parser · 6d3cbe3a
  Jaime Arias authored 5 years ago
  
  6d3cbe3a
- Generalize tikz_visitor to automata · c2857a11
  Jaime Arias authored 5 years ago
  
  c2857a11
Sep 12, 2019
- Add visitor pattern for parsing to tikz instead of a get_tikz() method · 261171ea
  Jaime Arias authored 5 years ago
  
  261171ea
Aug 30, 2019
- replace arc by wire in the fml files · d6794ce0
  Jaime Arias authored 5 years ago
  
  d6794ce0
- Merge branch 'feature/cosyverif' into develop · 46426271
  Jaime Arias authored 5 years ago
  
  46426271
- Add rule to restrict counter gates to have only one child with inverse role · 345f720b
  Jaime Arias authored 5 years ago
  
  345f720b
- Add rule to check that root must always be defined · f6ec92b2
  Jaime Arias authored 5 years ago
  
  f6ec92b2
- Add basic rules to the fml · 3323969b
  Jaime Arias authored 5 years ago
  
  3323969b
- fix: replace refname by refName. fml file validate agains fml schema · d669d48d
  Jaime Arias authored 5 years ago
  
  d669d48d
- Add all the gate as nodeType · cb6b2e0e
  Jaime Arias authored 5 years ago
  
  cb6b2e0e
- Add first version of the fml for adtrees · e9b5be68
  Jaime Arias authored 5 years ago
  
  e9b5be68
- Merge branch 'feature/attributes' into develop · c5d292fb
  Jaime Arias authored 5 years ago
  
  c5d292fb
- Reduce size of transition updates · df5a745a
  Jaime Arias authored 5 years ago
  
  df5a745a
- Add function to or gate · b6fe502a
  Jaime Arias authored 5 years ago
  
  b6fe502a
- add functions to nand translation · ff3249be
  Jaime Arias authored 5 years ago
  
  ff3249be
- Add attributes to sand translation · 87667742
  Jaime Arias authored 5 years ago
  
  87667742
- Add functions to the and gate translation · da1ac501
  Jaime Arias authored 5 years ago
  
  da1ac501
- [adtree] Attribute has a computation function · ef3ac48b
  Jaime Arias authored 5 years ago
  
  ef3ac48b
- Add functions to transitions · 497cbdda
  Jaime Arias authored 5 years ago
  
  497cbdda
- Add functions to transitions · 8c8981f2
  Jaime Arias authored 5 years ago
  
  8c8981f2
Aug 29, 2019
- Add attributes to the leaf transformation · 5e68dd48
  Jaime Arias authored 5 years ago
  
  5e68dd48
- Add tikz for operator of linear expressions · c8fa01b7
  Jaime Arias authored 5 years ago
  
  c8fa01b7
- Add tikz representation of updates into the transition tikz representation · 7b022373
  Jaime Arias authored 5 years ago
  
  7b022373
- Fix bug: getting correct initial state for the tikz representation of the automaton · 1ae8bfe6
  Jaime Arias authored 5 years ago
  
  1ae8bfe6
- Add basic tests for updates on transitions · 27dcbeae
  Jaime Arias authored 5 years ago
  
  27dcbeae
- Fix precondition for adding new automaton · 96f65f3d
  Jaime Arias authored 5 years ago
  
  96f65f3d
- removing asserts and replacing them by throw · a73c4dd8
  Jaime Arias authored 5 years ago
  
  a73c4dd8
- Add operators of linear expressions · d2af23a9
  Jaime Arias authored 5 years ago
  
  d2af23a9
- save work · 1cc31ef4
  Jaime Arias authored 5 years ago
  
  1cc31ef4
- Add basic classes for linear expressions · 6aba714c
  Jaime Arias authored 5 years ago
  
  6aba714c
- Add time and cost to treasure hunters · 7a91ff80
  Jaime Arias authored 5 years ago
  
  7a91ff80