Commit graph

3 commits

Author SHA1 Message Date
szptvlfn
98599ee11c Update to 0.7.0.1
Changes from http://hub.darcs.net/dolio/vector-algorithms/changes
TAG 0.7.0.1
	dolio	August 13, 2015

Version bump
	dolio	August 13, 2015

Bump upper bound on vector
	bgamari	August 11, 2015

Updated base bound due to unsafeShiftR
	Pointed out by Adam Bergmark
	dolio	May 05, 2015

TAG 0.7
	dolio	May 05, 2015

Updated copyrights in license file
	dolio	May 05, 2015

Copyright updates
	dolio	April 27, 2015

Moved the gallop searches to the search module
	Also added versions that don't take bounds
	dolio	April 27, 2015

Finished explaining the timsort algorithm
	dolio	April 27, 2015

Improved intro and heap documentation.
	dolio	April 26, 2015

Made an argument stricter in the timsort searches
	dolio	April 26, 2015

Added an option to build with llvm
	dolio	April 23, 2015

Implemented insertion in the heap module.
	dolio	April 21, 2015

Fixed a comment in AmericanFlag caused by a replace
	dolio	April 19, 2015

Added dump-simpl flag to benchmark build
	dolio	April 19, 2015

Resolved version bump conflict
	dolio	April 19, 2015

TAG 0.6.0.4
	dolio	April 01, 2015

Allow building with primitive 0.6
	dolio	April 01, 2015

Fix maintainance of invariant for length of runs
	Timsort maintains a list of sorted segments (called ?runs?) in an list
	called ?runLen?. To ensure that a small array suffices for this, timsort
	imposes an invariant on the lengths of runs: each run must be shorter
	than the preceding run in ?runs? and the sum of the lengths of two
	consecutive runs must be lower than the length of the run preceding the
	two runs. In effect, the (reverted) sequence of run lengths grows at
	least as fast as the fibonacci sequence. The operation that adds a new
	run to the list of runs (and merges runs, if necessary) makes sure that
	the new list ?runLen? satisfies

	runLen [n-2] > runLen [n-1] + runLen [n]
	runLen [n-1] > runLen [n]

	It has recently been discovered that this doesn't suffice to maintain
	the invariant for all triples of consecutive runs:

	http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/

	This patch fixes this problem.

	Correctness of the new implementation has been checked with QuickCheck:
	https://gist.github.com/timjb/cca12b004a0c782ca622
	timjb	February 26, 2015

Added a cabal flag to dump core
	dolio	February 10, 2015

cabal updates: added copyright and bumped the upcoming version
	dolio	February 10, 2015

Implement timsort
	Differences from timsort.txt: Galloping is used only once, when an element is
	chosen 7 times from the same run; this threshold is not updated according to
	how successful galloping is.
	timjb	February 08, 2015
2015-12-13 14:11:25 +00:00
agc
d9e4cfe05d Add SHA512 digests for distfiles for devel category
Issues found with existing distfiles:
	distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip
	distfiles/fortran-utils-1.1.tar.gz
	distfiles/ivykis-0.39.tar.gz
	distfiles/enum-1.11.tar.gz
	distfiles/pvs-3.2-libraries.tgz
	distfiles/pvs-3.2-linux.tgz
	distfiles/pvs-3.2-solaris.tgz
	distfiles/pvs-3.2-system.tgz
No changes made to these distinfo files.

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
2015-11-03 03:27:11 +00:00
szptvlfn
cf8ddb355e Import vector-algorithms-0.6.0.3 as devel/hs-vector-algorithms,
packaged for wip.

Efficient algorithms for vector arrays
2014-08-16 22:23:42 +00:00