Commit History

Autor SHA1 Mensaxe Data
  Steven Engler 563cc16a20 Added the DPFREQ_DIVISOR macro. %!s(int64=8) %!d(string=hai) anos
  Steven Engler ecd76f9dec Improved scheduling. %!s(int64=8) %!d(string=hai) anos
  Steven Engler 8ed3d76640 Derandomization works with multiple workers. %!s(int64=8) %!d(string=hai) anos
  Steven Engler f496ab2bf5 Can make the output from the two versions comparable. %!s(int64=8) %!d(string=hai) anos
  Steven Engler 7dc8d4e064 Both versions now use 'desired_resources(...)'. %!s(int64=8) %!d(string=hai) anos