Commits · master · PARTIES / tools / adt2amas

12 Feb, 2021 4 commits
- Merge branch 'develop' · 023ce1e4
  Jaime Arias authored Feb 12, 2021
  
  023ce1e4
- doc: documentation of the new functions · 1a5e54df
  Jaime Arias authored Feb 12, 2021
  
  1a5e54df
- Merge branch 'feature/or_strategy' into develop · eac255fd
  Jaime Arias authored Feb 12, 2021
  
  eac255fd
- fix: implement the strategy when there are OR gates · b07d5ad4
  Jaime Arias authored Feb 09, 2021
  
  b07d5ad4
29 Jan, 2021 1 commit
- Merge branch 'develop' · 217bad2d
  Jaime Arias authored Jan 29, 2021
  
  217bad2d
27 Jan, 2021 5 commits
- rename assignment type into assignment_t · e7f3b0e6
  Jaime Arias authored Jan 27, 2021
  
  e7f3b0e6
- Merge branch 'feature/fix_sand_minimal' into develop · c2c45796
  Jaime Arias authored Jan 27, 2021
  
  c2c45796
- add comments to added code · 7e26a1f0
  Jaime Arias authored Jan 27, 2021
  
  7e26a1f0
- remove comments · b5d64ead
  Jaime Arias authored Jan 27, 2021
  
  b5d64ead
- Implementation of the new algorithm for minimal scheduling · 6ea95784
  Jaime Arias authored Jan 22, 2021
  
  6ea95784
20 Jan, 2021 1 commit
- Merge branch 'develop' · 1392087c
  Jaime Arias authored Jan 20, 2021
  
  1392087c
18 Jan, 2021 3 commits
- Merge branch 'feature/layered_reductions' into develop · 102d4933
  Jaime Arias authored Jan 18, 2021
  
  102d4933
- refactor all the code · 3bfac857
  Jaime Arias authored Jan 18, 2021
  
  3bfac857
- refactor code · 7d271072
  Jaime Arias authored Jan 18, 2021
  
  7d271072
15 Jan, 2021 9 commits
- add layered reductions to cli · 47f68e95
  Jaime Arias authored Jan 15, 2021
  
  47f68e95
- fix: copy guards and updates of the removed transition in the optimization · d01c97eb
  Jaime Arias authored Jan 15, 2021
  
  d01c97eb
- fix: include algorithm library · 11d4eca5
  Jaime Arias authored Jan 15, 2021
  
  11d4eca5
- fix: unfold nok loop only if incoming transition has no the same action · 72a80afa
  Jaime Arias authored Jan 15, 2021
  
  72a80afa
- update optimization of end loops in imitator parser · d4cc646d
  Jaime Arias authored Jan 15, 2021
  
  d4cc646d
- fix: return True as guard when empty vector of guards · 9d548faa
  Jaime Arias authored Jan 15, 2021
  
  9d548faa
- remove transitions with label actions from t transitions · 39955d0e
  Jaime Arias authored Jan 15, 2021
  
  39955d0e
- apply reduction to all depths · 3e786d61
  Jaime Arias authored Jan 15, 2021
  
  3e786d61
- guards in automaton is a vector and not only one inequality · be6a825d
  Jaime Arias authored Jan 15, 2021
  
  be6a825d
14 Jan, 2021 4 commits
- add method that updates transitions with depth variables · 6c1e5278
  Jaime Arias authored Jan 14, 2021
  
  6c1e5278
- add method to ge the lst transitions · 34f274d7
  Jaime Arias authored Jan 14, 2021
  
  34f274d7
- add method to get t transitions · cd317046
  Jaime Arias authored Jan 14, 2021
  
  cd317046
- add method to get the sync actions not found in the child · 24213eab
  Jaime Arias authored Jan 14, 2021
  
  24213eab
13 Jan, 2021 8 commits
- add funtion to get the sync actions of an automaton · b0a2efa3
  Jaime Arias authored Jan 14, 2021
  
  b0a2efa3
- add funtion to get the sync actions of an automaton · d61041cb
  Jaime Arias authored Jan 14, 2021
  
  d61041cb
- fix: add includes · 3a666f78
  Jaime Arias authored Jan 14, 2021
  
  3a666f78
- add methods to calculate number of children in node and in depth · 76bc4efd
  Jaime Arias authored Jan 14, 2021
  
  76bc4efd
- calculate depths and height of a sg tree · 53a53c1c
  Jaime Arias authored Jan 13, 2021
  
  53a53c1c
- refactor project · 364911ea
  Jaime Arias authored Jan 13, 2021
  
  364911ea
- refactor structure of the project · dab7d64d
  Jaime Arias authored Jan 13, 2021
  
  dab7d64d
- Merge branch 'develop' · 810709f2
  Jaime Arias authored Jan 13, 2021
  
  810709f2
17 Dec, 2020 4 commits
- fix: pointer error in translation for SAND gate · d31d3c4e
  Jaime Arias authored Dec 17, 2020
  
  d31d3c4e
- refactor: add generic exception class · 65890bcb
  Jaime Arias authored Dec 17, 2020
  
  65890bcb
- update CLI11 library · e9bbd5fe
  Jaime Arias authored Dec 17, 2020
  
  e9bbd5fe
- fix: transform command load model from file · 9a3b9a4d
  Jaime Arias authored Dec 17, 2020
  
  9a3b9a4d
07 Dec, 2020 1 commit
- feature: generate log file with stdout · b5585d25
  Jaime Arias authored Dec 07, 2020
  
  b5585d25