Commits · 3ff520606e9766fc1391f658cb2f8f3aa50ab87e · real-time maude / NPTAV2Maude

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
Apr 26, 2023
- save times in a table · f00db98f
  Jaime Arias authored 1 year ago
  
  f00db98f
- save times in a table · 18194c77
  Jaime Arias authored 1 year ago
  
  18194c77
- add style to notebook · f8ff308b
  Jaime Arias authored 1 year ago
  
  f8ff308b
- improve plot style · fc5afcc5
  Jaime Arias authored 1 year ago
  
  fc5afcc5
- improve plot style · b039acda
  Jaime Arias authored 1 year ago
  
  b039acda
- fix plot notebooks · a557ca85
  Jaime Arias authored 1 year ago
  
  a557ca85
- update analysis notebook · 95e7652e
  Jaime Arias authored 1 year ago
  
  95e7652e
Apr 25, 2023
- fix figures · 03de5068
  Jaime Arias authored 1 year ago
  
  03de5068
- add nb of ptas · b48423f0
  Jaime Arias authored 1 year ago
  
  b48423f0
- add nb of ptas · 68b1d551
  Jaime Arias authored 1 year ago
  
  68b1d551