25560d07 · Minor change not on pypi

0b0740fe · updates

8ccb4655 · Updates to pipeline

6ebdc3aa · Minor update for timeouts etc.

169d0a29 · project evaluation statistics

c8692015 · Changes to evaluation code

678051eb · Changes to evaluation code

87e2197e · fixing changes

05f66ebf · Worked on timeout function

d6b0e78c · Worked on timeout function

4ef45e3e · Viewing of remote results

82ef0e8c · Removed wasteful tmp-directory.

595e9e7b · Removed wasteful tmp-directory.

5dcbe822 · Remote result viewing in early version

04b17483 · fixed type annotation

c79daba6 · updatse

401efbb5 · updatse

4fedca49 · fixed problem with paths on windows

9ae483f0 · updates

2719dc1b · Presentation 2022, slides+demos