Commits · ebfa0a60be3baf73853b917be63d97d2670966c0 · cosyverif / Services / service adt2amas

07 Dec, 2020 2 commits
- wip: read output from minimal · ebfa0a60
  Jaime Arias authored Dec 07, 2020
  
  ebfa0a60
- update adt2amas artifact URL · 39d2d967
  Jaime Arias authored Dec 07, 2020
  
  39d2d967
04 Dec, 2020 2 commits
- doc: add documentation to the methods · cbd93357
  Jaime Arias authored Dec 04, 2020
  
  cbd93357
- feature: parsing adt2amas GRML file · a92b47c5
  Jaime Arias authored Dec 04, 2020
  
  a92b47c5
03 Dec, 2020 2 commits
- remove eclipse files · e27eb603
  Jaime Arias authored Dec 03, 2020
  
  e27eb603
- first commit · 00350378
  Jaime Arias authored Dec 03, 2020
  
  00350378