Commits · master · PARTIES / tools / adt2amas

14 May, 2022 1 commit
- Merge branch 'develop' · 5cdcb1b5
  Jaime Arias authored May 14, 2022
  
  5cdcb1b5
05 May, 2022 5 commits
- feat: add full-model for or gates · 65c30b5c
  Jaime Arias authored May 05, 2022
  
  65c30b5c
- feat: add full-model for SNAND gate · 6fcb8844
  Jaime Arias authored May 05, 2022
  
  6fcb8844
- feature: add full-model for SAND gate · 2c31a383
  Jaime Arias authored May 05, 2022
  
  2c31a383
- feature: add full-model for nand gate · 1beeed4a
  Jaime Arias authored May 05, 2022
  
  1beeed4a
- fix: error message for translation full · c97ac98d
  Jaime Arias authored May 05, 2022
  
  c97ac98d
04 May, 2022 6 commits
- fix: cast node id to string · 79974fb2
  Jaime Arias authored May 04, 2022
  
  79974fb2
- feature: add symprod compatibility mode · 195f3ae0
  Jaime Arias authored May 04, 2022
  
  195f3ae0
- fix: include unordered_map library · 33e8e88c
  Jaime Arias authored May 04, 2022
  
  33e8e88c
- add symprod compatibility · 3d3c5a40
  Jaime Arias authored May 04, 2022
  
  3d3c5a40
- Merge branch 'develop' · 33bee213
  Jaime Arias authored May 04, 2022
  
  33bee213
- fix full model for AND gate · 166e1187
  Jaime Arias authored May 04, 2022
  
  166e1187
30 Apr, 2022 2 commits
- Merge branch 'develop' · da374539
  Jaime Arias authored May 01, 2022
  
  da374539
- fix: bug in print-scheduling flag · 17db1ad1
  Jaime Arias authored May 01, 2022
  
  17db1ad1
29 Apr, 2022 1 commit
- update catch11 library · 23e0dbfd
  Jaime Arias authored Apr 29, 2022
  
  23e0dbfd
21 Apr, 2022 4 commits
- update appveyor.yml · 347fdb3c
  Jaime Arias authored Apr 21, 2022
  
  347fdb3c
- fix modgraph translation · b9c56e55
  Jaime Arias authored Apr 20, 2022
  
  b9c56e55
- add full model generation · 189519e6
  Jaime Arias authored Apr 20, 2022
  
  189519e6
- feature: add computation time · 5d0595ac
  Jaime Arias authored Apr 08, 2022
  
  5d0595ac
20 Apr, 2022 1 commit
- fix appveyor · 9291f681
  Jaime Arias authored Apr 20, 2022
  
  9291f681
25 Oct, 2021 2 commits
- Merge branch 'develop' · 782503ba
  Jaime Arias authored Oct 25, 2021
  
  782503ba
- fix: remove nok loop transition in leaves · 51044d0a
  Jaime Arias authored Oct 25, 2021
  
  51044d0a
01 Oct, 2021 1 commit
- Merge branch 'develop' · a85bb2b7
  Jaime Arias authored Oct 01, 2021
  
  a85bb2b7
30 Sep, 2021 1 commit
- fix: add an offset to the identifier of states · 0c1d65ba
  Jaime Arias authored Sep 30, 2021
  
  0c1d65ba
29 Sep, 2021 1 commit
- fix: add -top prefix to the file containing the root automaton in the modgraph tranformation · f597e9dc
  Jaime Arias authored Sep 29, 2021
  
  f597e9dc
14 Sep, 2021 1 commit
- fix: transition names in the modgraph format · 2718c246
  Jaime Arias authored Sep 14, 2021
  
  2718c246
13 Sep, 2021 1 commit
- feature: translates the EAMAS model into the modgraph format · d6781550
  Jaime Arias authored Sep 13, 2021
  
  d6781550
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 2 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