Commits · d2af23a90155b5e6448e2e9bf816adc14da11411 · PARTIES / tools / adt2amas · GitLab

Snippets Groups Projects

Aug 29, 2019
- 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
- Move case studies to the folder case_studies · 62511b60
  Jaime Arias authored 5 years ago
  
  62511b60
- Add forestall case study · ce1e55be
  Jaime Arias authored 5 years ago
  
  ce1e55be
- Add basic tests for the iot_dev case study · f7d32314
  Jaime Arias authored 5 years ago
  
  f7d32314
- Add basic tests for snand gates. Add the iot_dev adtree · 81349041
  Jaime Arias authored 5 years ago
  
  81349041
- replacing _ by \_ for latex representation · 828de6b2
  Jaime Arias authored 5 years ago
  
  828de6b2
- Improve the tikz translation of automata · 766b663b
  Jaime Arias authored 5 years ago
  
  766b663b
- first attempt to tikz an automat · 9f23ba68
  Jaime Arias authored 5 years ago
  
  9f23ba68
- Add tikz representation for the states, transitions and automata · 04d70c6d
  Jaime Arias authored 5 years ago
  
  04d70c6d
Aug 28, 2019
- Fix bug: Duplicate channels are not added in the final automata · 971b882c
  Jaime Arias authored 5 years ago
  
  971b882c
- Add example of treasure hunters ADTree · 26c800c6
  Jaime Arias authored 5 years ago
  
  26c800c6
- Add basic tests for the sand gate translation · d8347352
  Jaime Arias authored 5 years ago
  
  d8347352
- Add basic tests for the And and Nand translations · da2bd079
  Jaime Arias authored 5 years ago
  
  da2bd079
- Add basic tests for leaf and OR gate translation · 5a60892d
  Jaime Arias authored 5 years ago
  
  5a60892d
- Refactor CMake structure project · a6040c10
  Jaime Arias authored 5 years ago
  
  a6040c10
- Add basic tests for the automata class · fa5a0032
  Jaime Arias authored 5 years ago
  
  fa5a0032
Aug 27, 2019
- Add basic tests for the automaton class · ff6b5985
  Jaime Arias authored 5 years ago
  
  ff6b5985
- Add test files to tests/CMakeList.txt · 9751caa0
  Jaime Arias authored 5 years ago
  
  9751caa0
- Add basic tests for the State class · 599c1c53
  Jaime Arias authored 5 years ago
  
  599c1c53
- Add basic tests for synchronization class · ece26cc2
  Jaime Arias authored 5 years ago
  
  ece26cc2
- add basic tests for the state_type class · 436ccade
  Jaime Arias authored 5 years ago
  
  436ccade
- Add basic tests for channel, label and sychronization_types clases · 4e0ffaa1
  Jaime Arias authored 5 years ago
  
  4e0ffaa1
- Add basic tests for ad_tree class · 4d8d133f
  Jaime Arias authored 5 years ago
  
  4d8d133f
- move evaluation strategies into their own folder · e91201ee
  Jaime Arias authored 5 years ago
  
  e91201ee
- move evaluation strategies into their own folder · 1e346dd8
  Jaime Arias authored 5 years ago
  
  1e346dd8
- Add basic tests for the leaf class · 0531b76e
  Jaime Arias authored 5 years ago
  
  0531b76e
- Add basic tests for the tree node class · f7482f76
  Jaime Arias authored 5 years ago
  
  f7482f76
Aug 22, 2019
- Add unit tests for node_type · b83770d5
  Jaime Arias authored 5 years ago
  
  b83770d5
Aug 19, 2019
- Merge branch 'feature/documentation' into develop · f98926a1
  Jaime Arias authored 5 years ago
  
  f98926a1
May 15, 2019
- more documentation added · a471d538
  Giann Karlo authored 5 years ago
  
  a471d538
Dec 05, 2018
- main classes of amas implementation were documented · 758707a9
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  758707a9