Commits · 41518a737034de949af76ea0c87365e87d199d52 · PARTIES / tools / adt2amas · GitLab

Snippets Groups Projects

Oct 01, 2019
- replace node_type by node_role that corresponds to the correct meaning · 41518a73
  Jaime Arias authored 5 years ago
  
  41518a73
- remove <bits/stdc++> library · 00276e00
  Jaime Arias authored 5 years ago
  
  00276e00
- Add configuration for modules to the documentation · 551810a7
  Jaime Arias authored 5 years ago
  
  551810a7
- remove including libraries that are not used in the translator header · e9150df6
  Jaime Arias authored 5 years ago
  
  e9150df6
- Install documentation in the assets folder · 88c26b6d
  Jaime Arias authored 5 years ago
  
  88c26b6d
Sep 30, 2019
- Add documentation to the translator module · 432adcb1
  Jaime Arias authored 5 years ago
  
  432adcb1
- Update README · 75fb7ee9
  Jaime Arias authored 5 years ago
  
  75fb7ee9
- Add installation folder · ddc4b101
  Jaime Arias authored 5 years ago
  
  ddc4b101
- Add treasure hunters model into the main file · 5e78dd6e
  Jaime Arias authored 5 years ago
  
  5e78dd6e
- Add main file as entrypoint of the tool · 1eb5ca79
  Jaime Arias authored 5 years ago
  
  1eb5ca79
- Remove gates with no translation rules · cde20234
  Jaime Arias authored 5 years ago
  
  cde20234
- Add tests for the nor translation · 63a9a294
  Jaime Arias authored 5 years ago
  
  63a9a294
- 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