Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.025Apr7Jun24May14Jun7Jun225May5Mar5Jun5Nov28Oct2029Jul6Jun8May29Apr2021Mar23Feb222024Dec20943212Nov654328Oct2428Jan221826Dec129Mar28Dec2027Nov201413- external checker test is not longer supportedmastermaster- fixed critical typo- added better shutdown behavior?- added support for adt structural induction checker (test)- external checker will now return not passed exit code if the checker process gives != 0 result- fixed issue where special params were evaluated in the wrong order ... 10 also starts with 1- external checkers should work now- added support for points from external checkers (not checked)- tweaked logging- debug output is now a header tuple- debug is written if debug is true and there is a 100 error code- missing output (null) is now handled reported- moved more lines with possible runtime exceptions (not checked) into try- fixed issue where timeout was not applied when a scheduling exception was thrown- fixed issue where just run program sometimes not printed stderror (e.g. when no stdout output was found)- added some comments- removed max lines to read/write in favor of max characters limit- fixed frontend issue nr. 130 - added compiler options- removed unused import- fixes frontend nr. 120 - adds compiler timeoutSEE last commit- changed compare to match the new options, we now use numbers- added support for compile, execution time measurement- added support for compare files test- added env vars output on debug- added some null check- environment vars are now set by test server- added more debug output- machtch test server- relative path is currently not working- added debug param to match test runner interface- changed paths for to match install documentation- fixed just run esc escape- matches new interface- fixed typo- added some more results- added some ideas (that don't work but that might be useful at some point)- the expected program exit code is now a separate protocol item- bumped version- replace every 0x00 char with an utf8 ballot box