Commits · master · PARTIES / tools / adt2maude

May 02, 2022
- fix typos · e870387d
  Jaime Arias authored 2 years ago
  
  View commits for tag v1.0.0 v1.0.0
  
  e870387d
- Merge branch 'master' of depot.lipn.univ-paris13.fr:parties/tools/adt2maude · 7eb0dbdd
  Jaime Arias authored 2 years ago
  
  7eb0dbdd
- feature: add script to install maude and python dependencies · b8790fe7
  Jaime Arias authored 2 years ago
  
  b8790fe7
- Merge branch 'master' into 'master' · d8d5a4a3
  Carlos Olarte authored 2 years ago
  
  fix: use absolute path to import maude modules See merge request !1
  d8d5a4a3
May 01, 2022
- fix: use absolute path to import maude modules · cb40816c
  Jaime Arias authored 2 years ago
  
  cb40816c
Apr 30, 2022
- Adding examples · d1e5a215
  Carlos Olarte authored 3 years ago
  
  d1e5a215
- Initial version of maude and python files · a7751875
  Carlos Olarte authored 3 years ago
  
  a7751875
- Adding LICENSE and README files · 700f1542
  Carlos Olarte authored 3 years ago
  
  700f1542