Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Oct 4, 2018

• Added *.prefs to gitignore

  johspaeth

  committedOct 4, 2018
  5193abe

Commits on Aug 13, 2018

• Ignore .idea files

  

  Melanie Bruns

  committedAug 13, 2018
  152d184

Commits on Jul 27, 2018

• Further Shrinked slim test set

  johspaeth

  committedJul 27, 2018
  5a7a006

• Merge branch 'POPL_submission' into bug_fix

  johspaeth

  committedJul 27, 2018
  eb235a3

Commits on Jan 3, 2018

• Updated gitignore

  johspaeth

  committedJan 3, 2018
  710ca9f

Commits on Nov 25, 2017

• Minor

  johspaeth

  committedNov 25, 2017
  36a5038

• Allow seed with weight

  johspaeth

  committedNov 25, 2017
  49c8ce1

Commits on Aug 14, 2017

• Missing Wildcard interface for fields

  johspaeth

  committedAug 14, 2017
  4af8947

• Cleaned up project

  johspaeth

  committedAug 14, 2017
  300e47c

Commits on Dec 15, 2015

• Removed generic W from Transition

  johspaeth

  committedDec 15, 2015
  1334a4f

Commits on Dec 13, 2015

• Updates

  johspaeth

  committedDec 13, 2015
  a227348

Loading