Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on May 9, 2016

• Update tex

  jakubkottnauer

  committedMay 9, 2016
  7283f76

Commits on May 8, 2016

• Add charts

  jakubkottnauer

  committedMay 8, 2016
  3613059

Commits on May 4, 2016

• Add new heuristic and two new problems

  jakubkottnauer

  committedMay 4, 2016
  eebf2b6

• Update tex

  jakubkottnauer

  committedMay 4, 2016
  f7bd014

Commits on May 2, 2016

• Add fifo heuristic

  jakubkottnauer

  committedMay 2, 2016
  21c223d

• Fix typos

  jakubkottnauer

  committedMay 2, 2016
  15c3039

Commits on Apr 26, 2016

• Add two new heuristics

  jakubkottnauer

  committedApr 26, 2016
  083bc56

• Update tex

  jakubkottnauer

  committedApr 26, 2016
  355555a

• Update tex

  jakubkottnauer

  committedApr 26, 2016
  8b1aeb0

Commits on Apr 8, 2016

• Add support for latex output

  jakubkottnauer

  committedApr 8, 2016
  f5bd628

• Remove unused heuristic option

  jakubkottnauer

  committedApr 8, 2016
  e8a7eba

• Update tex

  jakubkottnauer

  committedApr 8, 2016
  273723a

• Simplify heuristic parsing

  jakubkottnauer

  committedApr 8, 2016
  1533ebf

• Update tex

  jakubkottnauer

  committedApr 8, 2016
  d1b7efb

Commits on Mar 14, 2016

• Add solotarev benchmark

  jakubkottnauer

  committedMar 14, 2016
  22e660d

Commits on Mar 11, 2016

• Add several new heuristics

  jakubkottnauer

  committedMar 11, 2016
  333da4d

Commits on Mar 8, 2016

• Update tex

  jakubkottnauer

  committedMar 8, 2016
  453d0b1

Commits on Mar 7, 2016

• Update tex

  jakubkottnauer

  committedMar 7, 2016
  de8f681

Commits on Mar 2, 2016

• Add text

  jakubkottnauer

  committedMar 2, 2016
  c010c21

Commits on Feb 21, 2016

• Add volume indicator

  jakubkottnauer

  committedFeb 21, 2016
  2773cec

Commits on Feb 19, 2016

• Remove redundant code

  jakubkottnauer

  committedFeb 19, 2016
  b7b76da

• Compare narrowed variables to their original sizes

  jakubkottnauer

  committedFeb 19, 2016
  581bd16

Commits on Feb 17, 2016

• Improve run.cmd output - it is per-heuristic now instead of per-file

  jakubkottnauer

  committedFeb 17, 2016
  1dc4945

• Add folder with thesis src

  jakubkottnauer

  committedFeb 17, 2016
  d60b345

• Temp fix for multiplication narrowing

  jakubkottnauer

  committedFeb 17, 2016
  f0bdf1f

• Add basic indicators and a script for running tests

  jakubkottnauer

  committedFeb 17, 2016
  fb234e0

Commits on Feb 11, 2016

• Add two basic heuristics (max-cand and dominant-first)

  jakubkottnauer

  committedFeb 11, 2016
  ffd80a0

• Add support for comments in test files

  jakubkottnauer

  committedFeb 11, 2016
  945554f

Commits on Feb 8, 2016

• Improve narrowing of square functions

  jakubkottnauer

  committedFeb 8, 2016
  c034045

Commits on Feb 3, 2016

• Start using round-robin to determine which variable's domain to split

  jakubkottnauer

  committedFeb 3, 2016
  7701acf

Commits on Feb 2, 2016

• Enable specification of main variables for narrowing

  jakubkottnauer

  committedFeb 2, 2016
  919f658

• Change the algorithm for multiplication narrowing

  jakubkottnauer

  committedFeb 2, 2016
  e5a2e31

Commits on Jan 23, 2016

• Replace Set with List

  jakubkottnauer

  committedJan 23, 2016
  af51c33

Commits on Jan 22, 2016

• Update README.md

  jakubkottnauer

  committedJan 22, 2016
  72bb44a

Commits on Jan 21, 2016

• Merge branch 'master' of https://github.com/jakubkottnauer/hull-solver

  jakubkottnauer

  committedJan 21, 2016
  5d08894

Pagination

PreviousNext