Improve rule description
[sat-britney.git] / IndexSet.hs
2012-07-05 Joachim BreitnerMerge branch 'full-dependencies', as that is the branch...
2012-03-30 Joachim BreitnerAdd NFData Pred
2012-03-30 Joachim BreitnerSpeed up IndexSet.toList
2012-03-30 Joachim BreitnerUse ZArray in IndexSet.Pred (no effect?)
2012-03-19 Joachim BreitnerGHC 7.4.1 compatibility
2011-10-21 Joachim BreitnerLook at each conflict only once
2011-10-21 Joachim BreitnerUse more Vectors, did not save memory.
2011-10-21 Joachim BreitnerUse more Vectors
2011-10-21 Joachim BreitnerUse Data.Vector.Unboxed for sealing IxS.Sets
2011-10-17 Joachim BreitnerMake IxS.seal complete
2011-10-17 Joachim BreitnerPrepare for BitArray based sets
2011-10-06 Joachim BreitnerWhy do I have to inline that?
2011-09-21 Joachim BreitnerAdd fusion rules
2011-09-21 Joachim BreitnerUse DenseIntSet
2011-08-27 Joachim BreitnerExtend Index* API
2011-08-27 Joachim BreitnerExtend Index* API
2011-08-27 Joachim BreitnerExtend Index* API
2011-08-27 Joachim BreitnerExtend Index* API
2011-08-14 Joachim BreitnerExtend Index* API
2011-08-13 Joachim BreitnerRemove redundand imports
2011-08-13 Joachim BreitnerIntroduce IndexSet module