Commits · main · real-time maude / NPTAV2Maude

Nov 22, 2023
- docs: updating docs · 06a09a93
  Jaime Arias authored 1 year ago
  
  v2.0.0
  
  06a09a93
- Version of Maude used · 9a2f3c4c
  Carlos Olarte authored 1 year ago
  
  9a2f3c4c
Nov 20, 2023
- refactor: structure of the fodler · 311d7dae
  Jaime Arias authored 1 year ago
  
  311d7dae
- new plots · 0a4417f5
  Jaime Arias authored 1 year ago
  
  0a4417f5
- add new plots using only Maude · 8af3f204
  Jaime Arias authored 1 year ago
  
  8af3f204
Nov 17, 2023
- Making it possible to run the benchmarks with Maude 3.2 · 9bf807b7
  Carlos Olarte authored 1 year ago
  
  9bf807b7
Jul 28, 2023
- feat: add tranformation to the cli · 68d4c5b0
  Jaime Arias authored 1 year ago
  
  v1.0.1
  
  68d4c5b0
- refactor: rename variable theory by method · 16684433
  Jaime Arias authored 1 year ago
  
  16684433
- feature: add script to run the pipeline in CosyVerif · 77766764
  Jaime Arias authored 1 year ago
  
  77766764
May 19, 2023
- Improving Readme · cb3a405b
  Carlos Olarte authored 1 year ago
  
  v1.0.0
  
  cb3a405b
- Description of Maude's files · b64bc687
  Carlos Olarte authored 1 year ago
  
  b64bc687
- fix readme · 132c23d1
  Jaime Arias authored 1 year ago
  
  132c23d1
- update README · c93dc1f1
  Jaime Arias authored 1 year ago
  
  c93dc1f1
May 05, 2023
- update plots · a41ec688
  Jaime Arias authored 1 year ago
  
  a41ec688
- Merge branch 'main' of depot.lipn.univ-paris13.fr:arias/nptav2maude into main · fa2bad8d
  Jaime Arias authored 1 year ago
  
  fa2bad8d
- update logs · cf06ef39
  Jaime Arias authored 1 year ago
  
  cf06ef39
May 04, 2023
- add IMPO resutls · f8ba4444
  Jaime Arias authored 1 year ago
  
  f8ba4444
May 02, 2023
- add table · 3887beb5
  Jaime Arias authored 1 year ago
  
  3887beb5
- add title to plots · b88f58c4
  Jaime Arias authored 1 year ago
  
  b88f58c4
- remove DS_Store files · 249f016f
  Jaime Arias authored 1 year ago
  
  249f016f
- add title to plots · ecb12550
  Jaime Arias authored 1 year ago
  
  ecb12550
- add new results · 3ba276a1
  Jaime Arias authored 1 year ago
  
  3ba276a1
- add WFAS, packaging, NuclearPlant results · 6039f57a
  Jaime Arias authored 1 year ago
  
  6039f57a
- add results jobshop · 8bfbbd7b
  Jaime Arias authored 1 year ago
  
  8bfbbd7b
- add NuclearPlant model · ceb6479a
  Jaime Arias authored 1 year ago
  
  ceb6479a
- add packaging model · 65e44755
  Jaime Arias authored 1 year ago
  
  65e44755
- add locs for WFAS · aef6fe8a
  Jaime Arias authored 1 year ago
  
  aef6fe8a
- add WFAS model · bbe87c40
  Jaime Arias authored 1 year ago
  
  bbe87c40
- add jobshop models · 1fb3682d
  Jaime Arias authored 1 year ago
  
  1fb3682d
- add jobshop_2_4 model · 591fc40d
  Jaime Arias authored 1 year ago
  
  591fc40d
- add jobshop model · bbb18f7f
  Jaime Arias authored 1 year ago
  
  bbb18f7f
- add IMPO results · 53359ff1
  Jaime Arias authored 1 year ago
  
  53359ff1
- Merge branch 'main' of depot.lipn.univ-paris13.fr:arias/nptav2maude · 5ee2fee3
  Jaime Arias authored 1 year ago
  
  5ee2fee3
- add IMPO model · f3b23cc0
  Jaime Arias authored 1 year ago
  
  f3b23cc0
- 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