Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 10, 2019

• Update README.md

  corinus

  authored
  82b946c

• fixed reading of maxDepth for trie printing

  

  Yannic Noller

  committed
  cd9fa39

• updated specification of symbolic method in config file: it is no longer required

  

  Yannic Noller

  committed
  78e262a

• fixed trie printing

  

  Yannic Noller

  committed
  6cf4537

Commits on Dec 21, 2018

• updated script

  

  Yannic Noller

  committed
  c1c94ff

• updated gitignore

  

  Yannic Noller

  committed
  e308dcf

• updated gitignore

  

  Yannic Noller

  committed
  99626c7

• updated config for immage processoe example

  

  Yannic Noller

  committed
  040691b

Commits on Dec 6, 2018

• fixed for unspecified trie max depth

  

  Yannic Noller

  committed
  0906bf6

Commits on Dec 4, 2018

• added a couple of more config keys for symbolic part, added another coverage metric

  

  Yannic Noller

  committed
  42f6eed

• updated / added gitignore files

  

  Yannic Noller

  committed
  337f403

Commits on Oct 25, 2018

• fixed typo

  

  Yannic Noller

  committed
  8df36ef

Commits on Oct 24, 2018

• fixed README

  

  Yannic Noller

  committed
  55bab35

Commits on Oct 18, 2018

• added more optons from SPF

  

  Yannic Noller

  committed
  2229a9f

• improved trie print method, which avoids now the stack overflow for large tries by using loops instead of recursion

  

  Yannic Noller

  committed
  5d6e9b3

Commits on Sep 25, 2018

• Updated heuristics in README, updated contact info.

  

  Yannic Noller

  authored
  f0c1df3

• added new heuristics

  

  Yannic Noller

  committed
  7df4fe4

Commits on Jul 26, 2018

• added imageprocessor subject

  

  Yannic Noller

  committed
  923b502

Commits on Jul 3, 2018

• fixed problem with average calculation for unsat children nodes

  

  Yannic Noller

  committed
  fbde5b2

• cleaned and added some comment

  

  Yannic Noller

  committed
  c658187

Commits on Jun 28, 2018

• fixed average calculation for backpropagation

  

  Yannic Noller

  committed
  aa74df9

• updated comments in script

  

  Yannic Noller

  committed
  b520d22

Commits on Jun 6, 2018

• Update README.md

  

  Yannic Noller

  authored
  fdd481d

Commits on May 25, 2018

• Updated KelinciWCA link in README to specific commit.

  

  Yannic Noller

  authored
  d6bceed

• added evaluation data for badger

  

  Yannic Noller

  committed
  2f668e7

Commits on May 22, 2018

• initial commit

  

  Yannic Noller

  committed
  e529ff2