syntcomp21-22
These are the archives submitted to starexec in 2021 (and 2022 unchanged):
-
tlsf-sdf-opt
was compiled with-static
C++ flag (presumably static linking of glibc etc.; this avoids problems with outdated StarExec version of linux kernel). -
syfco
of an old version (that does not use libffi7, which is not available on StarExec) -
run_sdf.sh
runs two processes oftlsf-sdf-opt
in parallel, utilizing infinitewhile
andsleep 1
.
I tested this on the StarExec's VM
(In the VM I resorted to copying from dropbox using wget
).