Commits · master · PARTIES / publications / Minimal Scheduling

02 May, 2022 4 commits
- fix typo · 7bd53d2f
  Jaime Arias authored May 02, 2022
  
  7bd53d2f
- update README · ecf4ad86
  Jaime Arias authored May 02, 2022
  
  ecf4ad86
- update README · 5ad1381e
  Jaime Arias authored May 02, 2022
  
  5ad1381e
- add adt2amas as submodule · 6c9f0760
  Jaime Arias authored May 02, 2022
  
  6c9f0760
01 May, 2022 14 commits
- update README · 7ea38584
  Jaime Arias authored May 01, 2022
  
  7ea38584
- convert table in png image · 879009d5
  Jaime Arias authored May 01, 2022
  
  879009d5
- update header of the script · bae273ff
  Jaime Arias authored May 01, 2022
  
  bae273ff
- update README · 2a709716
  Jaime Arias authored May 01, 2022
  
  2a709716
- format csv files · 939e16a4
  Jaime Arias authored May 01, 2022
  
  939e16a4
- generate python script to benchmarks · f7211156
  Jaime Arias authored May 01, 2022
  
  f7211156
- script to run benchmarks experiments · 844990b3
  Jaime Arias authored May 01, 2022
  
  844990b3
- add adt2maude to script · 0626fffe
  Jaime Arias authored May 01, 2022
  
  0626fffe
- add script to install adt2maude · 3264871b
  Jaime Arias authored May 01, 2022
  
  3264871b
- fix README · 9ac1889f
  Jaime Arias authored May 01, 2022
  
  9ac1889f
- update README · b809532c
  Jaime Arias authored May 01, 2022
  
  b809532c
- add figures · ff471105
  Jaime Arias authored May 01, 2022
  
  ff471105
- add scheduling tables for lukasz models · 3bcad045
  Jaime Arias authored May 01, 2022
  
  3bcad045
- update adt2amas binaries · 5b7da3e5
  Jaime Arias authored May 01, 2022
  
  5b7da3e5
30 Apr, 2022 7 commits
- fix typo in lukasz-or model · ba9b7820
  Jaime Arias authored May 01, 2022
  
  ba9b7820
- rename folder script by scalability · 8b9fb45f
  Jaime Arias authored May 01, 2022
  
  8b9fb45f
- add pdf images · ece1dde9
  Jaime Arias authored May 01, 2022
  
  ece1dde9
- add lukasz-or models · 6f2107b2
  Jaime Arias authored Apr 30, 2022
  
  6f2107b2
- add lukasz model · 29675aea
  Jaime Arias authored Apr 30, 2022
  
  29675aea
- reduce text in the README · c5b97296
  Jaime Arias authored Apr 30, 2022
  
  c5b97296
- add lukasz models · f7c668ee
  Jaime Arias authored Apr 30, 2022
  
  f7c668ee
28 Apr, 2022 2 commits
- update values · 24120870
  Jaime Arias authored Apr 28, 2022
  
  24120870
- add gain admin results · 66fe18f0
  Jaime Arias authored Apr 28, 2022
  
  66fe18f0
27 Apr, 2022 7 commits
- update table · 2a888d29
  Jaime Arias authored Apr 27, 2022
  
  2a888d29
- update table · d8c01809
  Jaime Arias authored Apr 27, 2022
  
  d8c01809
- update values · 5449d53e
  Jaime Arias authored Apr 27, 2022
  
  5449d53e
- add plot table script · c770bed8
  Jaime Arias authored Apr 27, 2022
  
  c770bed8
- add table comparing benchmarks · 70718c38
  Jaime Arias authored Apr 27, 2022
  
  70718c38
- add plot table · d156cf0c
  Jaime Arias authored Apr 27, 2022
  
  d156cf0c
- add tools benchmarks · 3fea0b30
  Jaime Arias authored Apr 27, 2022
  
  3fea0b30
21 Apr, 2022 1 commit
- update version adt2amas · 3476ccb6
  Jaime Arias authored Apr 21, 2022
  
  3476ccb6
29 Sep, 2021 1 commit
- docs: add documentation to the tool generator · 60a016c2
  Jaime Arias authored Sep 29, 2021
  
  60a016c2
01 Apr, 2021 4 commits
- update readme · ea70cacb
  Jaime Arias authored Apr 01, 2021
  
  ea70cacb
- update README · cb3643ea
  Jaime Arias authored Apr 01, 2021
  
  cb3643ea
- update README · 8f376915
  Jaime Arias authored Apr 01, 2021
  
  8f376915
- update README · 7f14aff0
  Jaime Arias authored Apr 01, 2021
  
  7f14aff0