Commits · 2aadfc4f7a559539e6ab0177289ac2bd1466a2a0 · real-time maude / NPTAV2Maude

May 02, 2023
- add ATM maude files · 2aadfc4f
  Jaime Arias authored 1 year ago
  
  2aadfc4f
- update logs with ATM · 4c524e1c
  Jaime Arias authored 1 year ago
  
  4c524e1c
- add ATM model · fc614f9e
  Jaime Arias authored 1 year ago
  
  fc614f9e
Apr 30, 2023
- fix simop2 locations · 321720f8
  Jaime Arias authored 1 year ago
  
  321720f8
- add simop2 results · f08a1e1f
  Jaime Arias authored 1 year ago
  
  f08a1e1f
- add witness and synth plots · 598daf01
  Jaime Arias authored 1 year ago
  
  598daf01
- finish basic benchmarks · 0f7354b0
  Jaime Arias authored 1 year ago
  
  0f7354b0
- add imitator witness and synth · 2946bf4f
  Jaime Arias authored 1 year ago
  
  2946bf4f
- add synth property · 42bf77a5
  Jaime Arias authored 1 year ago
  
  42bf77a5
- update benchmarks script · ad010028
  Jaime Arias authored 1 year ago
  
  ad010028
Apr 29, 2023
- plot gear-1000 · 3ff52060
  Jaime Arias authored 1 year ago
  
  3ff52060
- Merge branch 'main' of depot.lipn.univ-paris13.fr:arias/nptav2maude into main · c296a631
  Jaime Arias authored 1 year ago
  
  c296a631
- add gear-1000 results · cb5dc904
  Jaime Arias authored 1 year ago
  
  cb5dc904
- fix notebook · f3a28f74
  Jaime Arias authored 1 year ago
  
  f3a28f74
- add accel plots · f2e16117
  Jaime Arias authored 1 year ago
  
  f2e16117
- update logs · 1d6de390
  Jaime Arias authored 1 year ago
  
  1d6de390
Apr 28, 2023
- Merge branch 'main' of depot.lipn.univ-paris13.fr:arias/nptav2maude into main · 33880230
  Jaime Arias authored 1 year ago
  
  33880230
- add gear-1000 results · 4354e7c3
  Jaime Arias authored 1 year ago
  
  4354e7c3
- renaming figures · 4dd224b2
  Jaime Arias authored 1 year ago
  
  4dd224b2
- add TOs table · bdf10bb9
  Jaime Arias authored 1 year ago
  
  bdf10bb9
- update blowup figures · f38a3148
  Jaime Arias authored 1 year ago
  
  f38a3148
- Merge branch 'main' of depot.lipn.univ-paris13.fr:arias/nptav2maude into main · ba4fd59a
  Jaime Arias authored 1 year ago
  
  ba4fd59a
- update logs with blowup-200 · aca0cbbd
  Jaime Arias authored 1 year ago
  
  aca0cbbd
- update figures · 7fe363f8
  Jaime Arias authored 1 year ago
  
  7fe363f8
- update plots · b5912812
  Jaime Arias authored 1 year ago
  
  b5912812
- update results · bbc3a6df
  Jaime Arias authored 1 year ago
  
  bbc3a6df
Apr 27, 2023
- Merge branch 'main' of depot.lipn.univ-paris13.fr:arias/nptav2maude into main · 853479ed
  Jaime Arias authored 1 year ago
  
  853479ed
- new results · 8103bb29
  Jaime Arias authored 1 year ago
  
  8103bb29
- fix min abbrv · 3020a7b0
  Jaime Arias authored 1 year ago
  
  3020a7b0
- replace ms by m · 05f1b604
  Jaime Arias authored 1 year ago
  
  05f1b604
- fix benchmark script · d7c02cb1
  Jaime Arias authored 1 year ago
  
  d7c02cb1
- add folding test · b7dd0339
  Jaime Arias authored 1 year ago
  
  b7dd0339
- add interpreter version · c7027f0a
  Jaime Arias authored 1 year ago
  
  c7027f0a
- refactoring code · 5b9b295b
  Jaime Arias authored 1 year ago
  
  5b9b295b
- rename parser · ddebd816
  Jaime Arias authored 1 year ago
  
  ddebd816
- rename tests · 4062fe02
  Jaime Arias authored 1 year ago
  
  4062fe02
- add partial results · 25d79e2e
  Jaime Arias authored 1 year ago
  
  25d79e2e
- add RCP figures · e247ebb9
  Jaime Arias authored 1 year ago
  
  e247ebb9
- clean logs · 3b3b0141
  Jaime Arias authored 1 year ago
  
  3b3b0141
- add temporal logs · 9b70d06d
  Jaime Arias authored 1 year ago
  
  9b70d06d