WIP: Collisionless containers (DO NOT MERGE)#217

Closed

NorfairKing wants to merge 73 commits intohaskell-unordered-containers:masterfrom

NorfairKing:collisionless-containers

Commits on Aug 14, 2018

Intermediary commit
Tom Sydney Kerckhove
committed
Halfway through
Tom Sydney Kerckhove
committed
Until unionWithKey
Tom Sydney Kerckhove
committed
Until mapWithKey
Tom Sydney Kerckhove
committed
until filterMapAux
Tom Sydney Kerckhove
committed
Finished a module
Tom Sydney Kerckhove
committed
Something that compiles
Tom Sydney Kerckhove
committed
Fixed double collisions
Tom Sydney Kerckhove
committed

Commits on Aug 15, 2018

fixed some bugs
Tom Sydney Kerckhove
committed
At least now the test completes
Tom Sydney Kerckhove
committed
Fixed the unions
Tom Sydney Kerckhove
committed
Made strict hashmap tests pass
Tom Sydney Kerckhove
committed
Now without storing the salt anywhere
Tom Sydney Kerckhove
committed
Merge branch 'dont-store-salts' into collisionless-containers
Tom Sydney Kerckhove
committed
Putting back the show instance
Tom Sydney Kerckhove
committed
Fixed the filter function as well, to not retain too many collisions
Tom Sydney Kerckhove
committed
Fixed compilation warnings
Tom Sydney Kerckhove
committed
woops
Tom Sydney Kerckhove
committed
Deleted a rogue comment
Tom Sydney Kerckhove
committed

Commits on Aug 21, 2018

little comment
Tom Sydney Kerckhove
committed

Commits on Oct 12, 2018

different hash
Tom Sydney Kerckhove
committed
Something that compiles
Tom Sydney Kerckhove
committed
added back the always collision test, it does not loop infinitely now
Tom Sydney Kerckhove
committed
Fixed the strictness properties
Tom Sydney Kerckhove
committed
Got deletions working, sortof
Tom Sydney Kerckhove
committed
Got adjust working, sort-of
Tom Sydney Kerckhove
committed
fixed deleteKeyExists, sort-of
Tom Sydney Kerckhove
committed

Commits on Oct 15, 2018

Fixed the lazy union tests
Tom Sydney Kerckhove
committed
Fixed the filter functions
Tom Sydney Kerckhove
committed
Simplified unconsing hashmaps
Tom Sydney Kerckhove
committed
fixed strict unions
Tom Sydney Kerckhove
committed
little refactorings
Tom Sydney Kerckhove
committed
Fixed equality, and messed up hashable because we just fixed what was be a false positive
Tom Sydney Kerckhove
committed
Fixed the hashing
Tom Sydney Kerckhove
committed
Strictness seems to have been fixed
Tom Sydney Kerckhove
committed
All tests seem to have been fixed now
Tom Sydney Kerckhove
committed
Refactored lookupRes
Tom Sydney Kerckhove
committed

Commits on Oct 17, 2018

Dealth with some review comments
Tom Sydney Kerckhove
committed

Commits on Oct 18, 2018

Fixed most comments
Tom Sydney Kerckhove
committed
Sped up equalKeys for collisions
Tom Sydney Kerckhove
committed

Commits on Oct 19, 2018

First draft of validity-based testing
Tom Sydney Kerckhove
committed
Moved the validity dependency out of the library
Tom Sydney Kerckhove
committed
More accurate validity
Tom Sydney Kerckhove
committed
more accurate validity
Tom Sydney Kerckhove
committed
Gave up on trying to write a principled genValid
Tom Sydney Kerckhove
committed
Improved shrinking
Tom Sydney Kerckhove
committed
sick and tired of hashes for a moment
Tom Sydney Kerckhove
committed

Commits on Oct 26, 2018

Failing test case
Tom Sydney Kerckhove
committed
Used some invariants to simplify code
Tom Sydney Kerckhove
committed
More specific unconsing
Tom Sydney Kerckhove
committed

Commits on Oct 27, 2018

Commits on Oct 29, 2018

Merge pull request #2 from treeowl/better-ord
NorfairKing
authored
Merge pull request #1 from treeowl/Uncons-fixes
NorfairKing
authored
equal1 and comp1
Tom Sydney Kerckhove
committed
done for now?
Tom Sydney Kerckhove
committed
Tried to fix the ghc-8.0.2 part of the CI
Tom Sydney Kerckhove
committed
Woops
Tom Sydney Kerckhove
committed
Added a check to the validity instance which exposes another problem
Tom Sydney Kerckhove
committed
got rid of compiler warnings
Tom Sydney Kerckhove
committed
Collapse nodes properly in unconsHM
treeowl
committed

Commits on Oct 30, 2018

Merge pull request #3 from treeowl/fix-uncons-again
NorfairKing
authored
tried to fix travis
Tom Sydney Kerckhove
committed
again
Tom Sydney Kerckhove
committed
also reorder goals
Tom Sydney Kerckhove
committed
Lower bounds to make cabal fall in line
Tom Sydney Kerckhove
committed
Trying again
Tom Sydney Kerckhove
committed
Compatibility with old versions of quickcheck
Tom Sydney Kerckhove
committed
and again
Tom Sydney Kerckhove
committed
Not sure if this will help, but we'll see
Tom Sydney Kerckhove
committed
CPP for some tests
Tom Sydney Kerckhove
committed

Commits on Oct 31, 2018

put back the show instance
Tom Sydney Kerckhove
committed
some docs
Tom Sydney Kerckhove
committed