Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 10, 2015

• Build fixes

  NathanHowell

  committed
  d35d583

  Copy full SHA for d35d583

• Add test dependencies

  NathanHowell

  committed
  cadd79f

  Copy full SHA for cadd79f

• Back out LevelDB stuff

  NathanHowell

  committed
  4347d8c

  Copy full SHA for 4347d8c

• Build with stack

  NathanHowell

  committed
  e3ce4c4

  Copy full SHA for e3ce4c4

• Formatting wibbles

  NathanHowell

  committed
  d9bcf43

  Copy full SHA for d9bcf43

Commits on Jun 14, 2015

• Wibbles

  NathanHowell

  committed
  bc8734d

  Copy full SHA for bc8734d

• More types, stronger types.

  NathanHowell

  committed
  917d567

  Copy full SHA for 917d567

Commits on Jun 13, 2015

• Wibbles

  NathanHowell

  committed
  4d2e374

  Copy full SHA for 4d2e374

• More improvements

  NathanHowell

  committed
  197c534

  Copy full SHA for 197c534

• Get things building again

  NathanHowell

  committed
  5563658

  Copy full SHA for 5563658

Commits on May 9, 2015

• More work on package flag handling

  NathanHowell

  committed
  a41c10f

  Copy full SHA for a41c10f

• guess that wasn’t required, fixup

  NathanHowell

  committed
  cec66d4

  Copy full SHA for cec66d4

• Helper function to find unassigned flags

  NathanHowell

  committed
  5d3ee04

  Copy full SHA for 5d3ee04

• Extract dependencies from the library build info

  NathanHowell

  committed
  1f42cf4

  Copy full SHA for 1f42cf4

• Implement flag assignment

  NathanHowell

  committed
  503d78b

  Copy full SHA for 503d78b

• Handle the possibility of a condTree only containing variables

  NathanHowell

  committed
  7353f35

  Copy full SHA for 7353f35

Commits on May 4, 2015

• Checkpoint

  NathanHowell

  committed
  830c2c0

  Copy full SHA for 830c2c0

Commits on May 3, 2015

• leveled is only a static library on ubuntu 12.04, muck with ghc linker options

  NathanHowell

  committed
  e8a568f

  Copy full SHA for e8a568f

• Sigh, sorry travis... trying a different leveldb package name

  NathanHowell

  committed
  b39cfc2

  Copy full SHA for b39cfc2

• libleveldb-dev doesn't depend on libleveldb?

  NathanHowell

  committed
  3310270

  Copy full SHA for 3310270

• Reverse library order

  NathanHowell

  committed
  3270129

  Copy full SHA for 3270129

• Also link to libleveldb..

  NathanHowell

  committed
  543ff4f

  Copy full SHA for 543ff4f

• Link with libstd++

  NathanHowell

  committed
  ae3d8bb

  Copy full SHA for ae3d8bb

• Install leveldb-dev

  NathanHowell

  committed
  f1cfa91

  Copy full SHA for f1cfa91

• Try a different package name

  NathanHowell

  committed
  591f57d

  Copy full SHA for 591f57d

• Add PPAs one at a time

  NathanHowell

  committed
  94a4938

  Copy full SHA for 94a4938

• Try using a ppa to source a precompiled Z3 library

  NathanHowell

  committed
  deff7ce

  Copy full SHA for deff7ce

• Updates

  NathanHowell

  committed
  8bb0a9a

  Copy full SHA for 8bb0a9a

• Oops

  NathanHowell

  committed
  374fcd0

  Copy full SHA for 374fcd0

• Ensure ConfVars are not shared between packages

  NathanHowell

  committed
  6f2c6f4

  Copy full SHA for 6f2c6f4

Commits on Apr 28, 2015

• Import from LevelDB

  NathanHowell

  committed
  9df1309

  Copy full SHA for 9df1309

• Add utility to import Hackage tarball to a LevelDB database

  NathanHowell

  committed
  6a63879

  Copy full SHA for 6a63879

Commits on Apr 25, 2015

• Print out installation plan

  NathanHowell

  committed
  8d64fd6

  Copy full SHA for 8d64fd6

• Remove unnecessary qualifier

  NathanHowell

  committed
  d8c11cc

  Copy full SHA for d8c11cc

• Actually functioning distinct packages using ints rather than bools

  NathanHowell

  committed
  eb31b56

  Copy full SHA for eb31b56

Pagination

Previous

Next