Commits · c2c45796e5e8aec260f15fd52b9398edc3adb9df · PARTIES / tools / adt2amas

27 Jan, 2021 4 commits
- 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
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 7 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
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 5 commits
- feature: generate log file with stdout · b5585d25
  Jaime Arias authored Dec 07, 2020
  
  b5585d25
- Merge branch 'bugfix/fix_ci' into develop · 8a3ef0d2
  Jaime Arias authored Dec 07, 2020
  
  8a3ef0d2
- ci: add libclang-9 · 6c991489
  Jaime Arias authored Dec 07, 2020
  
  6c991489
- ci: update dependencies for linux target · 64148381
  Jaime Arias authored Dec 07, 2020
  
  64148381
- ci: update linux image for appveyor · 56402a41
  Jaime Arias authored Dec 07, 2020
  
  56402a41
04 Dec, 2020 2 commits
- add cand and scand types · fe056158
  Jaime Arias authored Dec 04, 2020
  
  fe056158
- fix: support cand and scand names · bf6f083f
  Jaime Arias authored Dec 04, 2020
  
  bf6f083f
18 Nov, 2020 2 commits
- ci: add libclang as dependency · 89438899
  Jaime Arias authored Nov 18, 2020
  
  89438899
- remove cosyverif files · 46c0d8bf
  Jaime Arias authored Nov 18, 2020
  
  46c0d8bf