Commits · 06a09a934b19cdb183fda38c67cfccb876728966 · real-time maude / NPTAV2Maude

Nov 22, 2023
- docs: updating docs · 06a09a93
  Jaime Arias authored 1 year ago
  
  v2.0.0
  
  06a09a93
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
May 05, 2023
- update plots · a41ec688
  Jaime Arias authored 1 year ago
  
  a41ec688
- 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
- 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
- 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
- add gear-1000 results · 4354e7c3
  Jaime Arias authored 1 year ago
  
  4354e7c3
- renaming figures · 4dd224b2
  Jaime Arias authored 1 year ago
  
  4dd224b2