Commits · 2f7bed218fea8ddc593da66ec54b8ab8b2d33939 · real-time maude / pta2maude

Mar 22, 2023
- tests: add interpreter test · 2f7bed21
  Jaime Arias authored 1 year ago
  
  v1.0.0
  
  2f7bed21
Sep 22, 2022
- feature: add CLI to run benchmarks · 4b9f7cf7
  Jaime Arias authored 2 years ago
  
  4b9f7cf7
- fix notebook · 7c6e8fa0
  Jaime Arias authored 2 years ago
  
  7c6e8fa0
- fix: benchmarks script · 77f7b748
  Jaime Arias authored 2 years ago
  
  77f7b748
- tests: update tests · 64f2949e
  Jaime Arias authored 2 years ago
  
  64f2949e
- feature: add reachability command to collapsing version · eaac948a
  Jaime Arias authored 2 years ago
  
  eaac948a
- fix: revert coffee maude files · 6151596d
  Jaime Arias authored 2 years ago
  
  6151596d
- feature: add smt_search command · 5f33ec23
  Jaime Arias authored 2 years ago
  
  5f33ec23
- fix: location name instead of object · 2afadefe
  Jaime Arias authored 2 years ago
  
  2afadefe
- wip: smt_search · ec9b0a74
  Jaime Arias authored 2 years ago
  
  ec9b0a74
Sep 21, 2022
- refactor: benchmark script · d71515b5
  Jaime Arias authored 2 years ago
  
  d71515b5
- fix: remove file only if it exists · a3885203
  Jaime Arias authored 2 years ago
  
  a3885203
- refactor: put all in a function · 701d18d5
  Jaime Arias authored 2 years ago
  
  701d18d5
- refactor: benchmark script · 118a8b1f
  Jaime Arias authored 2 years ago
  
  118a8b1f
- refactor: compute the path of the project · b328ad24
  Jaime Arias authored 2 years ago
  
  b328ad24
- remove unused models · f333cccb
  Jaime Arias authored 2 years ago
  
  f333cccb
- fix: remove space when no parameters · bf1670eb
  Jaime Arias authored 2 years ago
  
  bf1670eb
- update pta2maude README file · 847dfa40
  Jaime Arias authored 2 years ago
  
  847dfa40
- update pta2maude README file · cc098efe
  Jaime Arias authored 2 years ago
  
  cc098efe
- update script · 61969707
  Jaime Arias authored 2 years ago
  
  61969707
- remove EF folder · a2cd7c9e
  Jaime Arias authored 2 years ago
  
  a2cd7c9e
- put maude files in a folder · 807406e8
  Jaime Arias authored 2 years ago
  
  807406e8
- rename parser to pta2maude · 5b4418e1
  Jaime Arias authored 2 years ago
  
  5b4418e1
- add LICENSE · 371af9d8
  Jaime Arias authored 2 years ago
  
  371af9d8
- Add LICENSE · ed34de58
  Jaime Arias authored 2 years ago
  
  ed34de58
Sep 08, 2022
- Merge branch 'main' of depot.lipn.univ-paris13.fr:arias/pta2maude · d7e011ba
  Carlos Olarte authored 2 years ago
  
  d7e011ba
- Adding Maude files and the PDF of the paper · aeff8a65
  Carlos Olarte authored 2 years ago
  
  aeff8a65
- upload accell model · acf3dda6
  Jaime Arias authored 2 years ago
  
  acf3dda6
Sep 07, 2022
- add parser · 09fc3fc3
  Jaime Arias authored 2 years ago
  
  09fc3fc3
- add benchmarks · 358e665a
  Jaime Arias authored 2 years ago
  
  358e665a
Aug 26, 2022
- Initial commit · b9fd0eb9
  Jaime Arias authored 2 years ago
  
  b9fd0eb9