Commits · fa5a003239c511418acd12de79bc65bdca7e8806 · PARTIES / tools / adt2amas · GitLab

Snippets Groups Projects

Aug 28, 2019
- 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
Nov 27, 2018
- All gates are in a folder · df7df7ae
  Jaime Arias authored 6 years ago
  
  df7df7ae
Nov 26, 2018
- Merge branch 'feature/implementation_translator' into develop · 2ee75d48
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  2ee75d48
- Examples in report implemented · afaf2664
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  afaf2664
Nov 23, 2018
- Gates translation finished · 841584b6
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  841584b6
Nov 22, 2018
- nand and nor gates added · e199426e
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  e199426e
Nov 21, 2018
- Or gate translation added · 995f8036
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  995f8036
- And gate translation added · 82656d74
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  82656d74
Nov 20, 2018
- Adding leaf translation but problems with getting type nodes · cd647d14
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  cd647d14
Nov 19, 2018
- Fix conflicts · eb92659f
  Jaime Arias authored 6 years ago
  
  eb92659f
- Merge branch 'feature/implementation_amas' into develop · 6b4089bc
  Jaime Arias authored 6 years ago
  
  6b4089bc
- ready to merge with adtrees · 2afe6392
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  2afe6392
- ready to merge with amas · b334cde5
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  b334cde5
- Removing improved but not completed · c6b9538f
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  c6b9538f
- Returning gate names accordingly · 15df0c75
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  15df0c75
- Removing channels and automaton, no proofs yet · b273990e
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  b273990e
Nov 16, 2018
- Adding and removing states and transitions implemented · eef0e9c1
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  eef0e9c1
Nov 15, 2018
- Channels added to the design · 798ad577
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  798ad577
- partial implementation: Treasure hunters · ea4dfe3f
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  ea4dfe3f
- partial implementation: Treasure hunters · 35e421c8
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  35e421c8
- example presentation: treasure hunters · d72dddaa
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  d72dddaa
- example implementation first attempt · a856955c
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  a856955c
- amas implementation ended · 703f1997
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  703f1997
Nov 14, 2018
- adding transitions and automata implemented · 261b7804
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  261b7804
- virtual get_info in gate not needed · 4cb2af13
  Giann Karlo Aguirre Samboní authored 6 years ago
  
  4cb2af13