Commits · main · real-time maude / pitpn2maude

Dec 08, 2023
- fix README · 8fb21b23
  Jaime Arias authored 1 year ago
  
  8fb21b23
Jul 25, 2023
- remove colors from stdout · 5bea065c
  Jaime Arias authored 1 year ago
  
  5bea065c
- fix cli script · 4c32f6a0
  Jaime Arias authored 1 year ago
  
  4c32f6a0
- refactor cli script · cd6ef866
  Jaime Arias authored 1 year ago
  
  cd6ef866
- improve cli.sh script · 8c8fe3df
  Jaime Arias authored 1 year ago
  
  8c8fe3df
- refactor: run.sh script · e8239883
  Jaime Arias authored 1 year ago
  
  e8239883
Jul 24, 2023
- fix: improve maude call · 37e211b5
  Jaime Arias authored 1 year ago
  
  37e211b5
- fix run script · 8117a7a8
  Jaime Arias authored 1 year ago
  
  8117a7a8
- improve run.sh · f0b8ac00
  Jaime Arias authored 1 year ago
  
  f0b8ac00
- feat: add script for cosyverif · 25e40f32
  Jaime Arias authored 1 year ago
  
  25e40f32
Feb 06, 2023
- Concrete theories · 767b21ee
  Carlos Olarte authored 2 years ago
  
  View commits for tag v1.0.0 v1.0.0
  
  767b21ee
Jan 28, 2023
- update README · c2a64061
  Jaime Arias authored 2 years ago
  
  c2a64061
- update README · 40c62a27
  Jaime Arias authored 2 years ago
  
  40c62a27
- add README · e6851707
  Jaime Arias authored 2 years ago
  
  e6851707
Jan 27, 2023
- tech report in the readme · b1160e06
  Carlos Olarte authored 2 years ago
  
  b1160e06
- add tech report · 20f35957
  Jaime Arias authored 2 years ago
  
  20f35957
Jan 25, 2023
- update results · d545c7e8
  Jaime Arias authored 2 years ago
  
  d545c7e8
- add p2 logs · cc6b72ac
  Jaime Arias authored 2 years ago
  
  cc6b72ac
- update logs p1 · 1860c334
  Jaime Arias authored 2 years ago
  
  1860c334
- add foldig tutorial p0 · a865ba39
  Jaime Arias authored 2 years ago
  
  a865ba39
- fix benchmarks script · 80d4d517
  Jaime Arias authored 2 years ago
  
  80d4d517
- add tutorial folding · f0b2667d
  Jaime Arias authored 2 years ago
  
  f0b2667d
- fix notebook · 873f0ce1
  Jaime Arias authored 2 years ago
  
  873f0ce1
- remove unnnecesary files · b0a87224
  Jaime Arias authored 2 years ago
  
  b0a87224
- fix suffix · edb1e7dd
  Jaime Arias authored 2 years ago
  
  edb1e7dd
- fix notebook · 81dfbd26
  Jaime Arias authored 2 years ago
  
  81dfbd26
- fix notebook · 43681a30
  Jaime Arias authored 2 years ago
  
  43681a30
- update images · dd6837df
  Jaime Arias authored 2 years ago
  
  dd6837df
- update notebook · 29e7632b
  Jaime Arias authored 2 years ago
  
  29e7632b
- fix results csv · d4bebb6b
  Jaime Arias authored 2 years ago
  
  d4bebb6b
- rename logs · cce1a5a3
  Jaime Arias authored 2 years ago
  
  cce1a5a3
- remove old logs · 86dff15a
  Jaime Arias authored 2 years ago
  
  86dff15a
- add p>1 tests · 5f57e9c5
  Jaime Arias authored 2 years ago
  
  5f57e9c5
Jan 24, 2023
- add logs for p>0 · 2aba1682
  Jaime Arias authored 2 years ago
  
  2aba1682
- Merge branch 'main' of depot.lipn.univ-paris13.fr:arias/pitpn2maude into main · a1ead1ce
  Jaime Arias authored 2 years ago
  
  a1ead1ce
- rename · b3c86327
  Jaime Arias authored 2 years ago
  
  b3c86327
- add new results · a8052c43
  Jaime Arias authored 2 years ago
  
  a8052c43
- Merge branch 'main' of depot.lipn.univ-paris13.fr:arias/pitpn2maude into main · 5a0022ed
  Jaime Arias authored 2 years ago
  
  5a0022ed
- add consumer folding · 5b01cccd
  Jaime Arias authored 2 years ago
  
  5b01cccd
- add folding results · 9a8b7036
  Jaime Arias authored 2 years ago
  
  9a8b7036