Commits · e8eb4e5f45cc1ff2bab8f2a86ff79a2c06fd8a23 · PARTIES / tools / adt2amas

Nov 07, 2023
- ci: update appveyor configuration · e8eb4e5f
  Jaime Arias authored 1 year ago
  
  e8eb4e5f
Jul 05, 2023
- fix codemeta.json · 9fad73e8
  Jaime Arias authored 1 year ago
  
  9fad73e8
- add codemeta.json · 43ecd177
  Jaime Arias authored 1 year ago
  
  43ecd177
May 14, 2022
- Merge branch 'develop' · 5cdcb1b5
  Jaime Arias authored 2 years ago
  
  v2.2.0
  
  5cdcb1b5
May 05, 2022
- feat: add full-model for or gates · 65c30b5c
  Jaime Arias authored 2 years ago
  
  65c30b5c
- feat: add full-model for SNAND gate · 6fcb8844
  Jaime Arias authored 2 years ago
  
  6fcb8844
- feature: add full-model for SAND gate · 2c31a383
  Jaime Arias authored 2 years ago
  
  2c31a383
- feature: add full-model for nand gate · 1beeed4a
  Jaime Arias authored 2 years ago
  
  1beeed4a
- fix: error message for translation full · c97ac98d
  Jaime Arias authored 2 years ago
  
  c97ac98d
May 04, 2022
- fix: cast node id to string · 79974fb2
  Jaime Arias authored 2 years ago
  
  79974fb2
- feature: add symprod compatibility mode · 195f3ae0
  Jaime Arias authored 2 years ago
  
  195f3ae0
- fix: include unordered_map library · 33e8e88c
  Jaime Arias authored 2 years ago
  
  33e8e88c
- add symprod compatibility · 3d3c5a40
  Jaime Arias authored 2 years ago
  
  3d3c5a40
- Merge branch 'develop' · 33bee213
  Jaime Arias authored 2 years ago
  
  33bee213
- fix full model for AND gate · 166e1187
  Jaime Arias authored 2 years ago
  
  166e1187
Apr 30, 2022
- Merge branch 'develop' · da374539
  Jaime Arias authored 2 years ago
  
  da374539
- fix: bug in print-scheduling flag · 17db1ad1
  Jaime Arias authored 2 years ago
  
  17db1ad1
Apr 29, 2022
- update catch11 library · 23e0dbfd
  Jaime Arias authored 2 years ago
  
  23e0dbfd
Apr 21, 2022
- update appveyor.yml · 347fdb3c
  Jaime Arias authored 2 years ago
  
  347fdb3c
- fix modgraph translation · b9c56e55
  Jaime Arias authored 2 years ago
  
  b9c56e55
- add full model generation · 189519e6
  Jaime Arias authored 2 years ago
  
  189519e6
- feature: add computation time · 5d0595ac
  Jaime Arias authored 2 years ago
  
  5d0595ac
Apr 20, 2022
- fix appveyor · 9291f681
  Jaime Arias authored 2 years ago
  
  9291f681
Oct 25, 2021
- Merge branch 'develop' · 782503ba
  Jaime Arias authored 3 years ago
  
  782503ba
- fix: remove nok loop transition in leaves · 51044d0a
  Jaime Arias authored 3 years ago
  
  51044d0a
Oct 01, 2021
- Merge branch 'develop' · a85bb2b7
  Jaime Arias authored 3 years ago
  
  v2.1.3
  
  a85bb2b7
Sep 30, 2021
- fix: add an offset to the identifier of states · 0c1d65ba
  Jaime Arias authored 3 years ago
  
  0c1d65ba
Sep 29, 2021
- fix: add -top prefix to the file containing the root automaton in the modgraph tranformation · f597e9dc
  Jaime Arias authored 3 years ago
  
  f597e9dc
Sep 14, 2021
- fix: transition names in the modgraph format · 2718c246
  Jaime Arias authored 3 years ago
  
  2718c246
Sep 13, 2021
- feature: translates the EAMAS model into the modgraph format · d6781550
  Jaime Arias authored 3 years ago
  
  d6781550
Feb 12, 2021
- Merge branch 'develop' · 023ce1e4
  Jaime Arias authored 4 years ago
  
  v2.1.2
  
  023ce1e4
- doc: documentation of the new functions · 1a5e54df
  Jaime Arias authored 4 years ago
  
  1a5e54df
- Merge branch 'feature/or_strategy' into develop · eac255fd
  Jaime Arias authored 4 years ago
  
  eac255fd
- fix: implement the strategy when there are OR gates · b07d5ad4
  Jaime Arias authored 4 years ago
  
  b07d5ad4
Jan 29, 2021
- Merge branch 'develop' · 217bad2d
  Jaime Arias authored 4 years ago
  
  v2.1.1
  
  217bad2d
Jan 27, 2021
- rename assignment type into assignment_t · e7f3b0e6
  Jaime Arias authored 4 years ago
  
  e7f3b0e6
- Merge branch 'feature/fix_sand_minimal' into develop · c2c45796
  Jaime Arias authored 4 years ago
  
  c2c45796
- add comments to added code · 7e26a1f0
  Jaime Arias authored 4 years ago
  
  7e26a1f0
- remove comments · b5d64ead
  Jaime Arias authored 4 years ago
  
  b5d64ead
- Implementation of the new algorithm for minimal scheduling · 6ea95784
  Jaime Arias authored 4 years ago
  
  6ea95784