Jaime Arias (7bd53d2f) at 02 May 14:54
fix typo
Jaime Arias (ecf4ad86) at 02 May 14:52
update README
Jaime Arias (5ad1381e) at 02 May 14:51
update README
Jaime Arias (6c9f0760) at 02 May 14:47
add adt2amas as submodule
Jaime Arias (7ea38584) at 01 May 21:01
update README
Jaime Arias (879009d5) at 01 May 20:31
convert table in png image
Jaime Arias (bae273ff) at 01 May 15:40
update header of the script
Jaime Arias (2a709716) at 01 May 15:36
update README
Jaime Arias (939e16a4) at 01 May 15:34
format csv files
Jaime Arias (f7211156) at 01 May 15:23
generate python script to benchmarks
Jaime Arias (844990b3) at 01 May 13:30
script to run benchmarks experiments
Jaime Arias (0626fffe) at 01 May 12:55
add adt2maude to script
Jaime Arias (3264871b) at 01 May 11:44
add script to install adt2maude
Jaime Arias (9ac1889f) at 01 May 09:38
fix README
Jaime Arias (b809532c) at 01 May 09:36
update README
Jaime Arias (ff471105) at 01 May 09:19
add figures
Jaime Arias (3bcad045) at 01 May 08:54
add scheduling tables for lukasz models
Jaime Arias (5b7da3e5) at 01 May 08:49
update adt2amas binaries
Jaime Arias (ba9b7820) at 30 Apr 22:33
fix typo in lukasz-or model
Jaime Arias (8b9fb45f) at 30 Apr 22:26
rename folder script by scalability