Commits · 166844332e857b7e69ac53e37e276244661bce3a · real-time maude / NPTAV2Maude

Jul 28, 2023
- 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
- 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