Commits · 6558272820cc162219e1cd59ece9cb0c4d5b15e2 · PARTIES / tools / adt2amas · GitLab

Snippets Groups Projects

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
- Update gates with attributes · 9ff7c0ca
  Jaime Arias authored 5 years ago
  
  9ff7c0ca
- Add basic tests for attributes in tree_node · 8e4fe73d
  Jaime Arias authored 5 years ago
  
  8e4fe73d
- Replace int value by vector<Attribute> attributes in the node class · 613fe2f0
  Jaime Arias authored 5 years ago
  
  613fe2f0
- Add cost and time classes · 65de777b
  Jaime Arias authored 5 years ago
  
  65de777b
- Add attribute class · 56e30d2c
  Jaime Arias authored 5 years ago
  
  56e30d2c
- Merge branch 'feature/tests' into develop · f3d0279a
  Jaime Arias authored 5 years ago
  
  f3d0279a