summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* fixed buildGregor Kleen2016-04-17
* rev bumpGregor Kleen2015-12-06
* dittoGregor Kleen2015-12-06
* rev bumpGregor Kleen2015-12-06
* Haskell bumpGregor Kleen2015-12-06
* rev bumpGregor Kleen2015-12-06
* typoGregor Kleen2015-12-06
* Rev bumpGregor Kleen2015-12-06
* bumped to new haskellPackagesGregor Kleen2015-12-06
* version bumpGregor Kleen2015-10-17
* rev bumpGregor Kleen2015-06-21
* Even better docsGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* Better docsGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* Added --inc and --decGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* Fixed db/lin conversionGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* Fixed refinementGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* locking in adjmixGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* Refined Adjustable Level instanceGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* Version bumpGregor Kleen2015-06-21
* Removed infinite loop caused by name colissionGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* Added adjmixGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* Better fixed precisionGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* Optimization workGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* Show instance for level now has fixed precision for dBGregor Kleen2015-06-21
* rev bumpGregor Kleen2015-06-21
* Fixed stderrLock starting out in wrong stateGregor Kleen2015-06-21
* Rev bumpGregor Kleen2015-06-21
* Syntax error fixGregor Kleen2015-06-21
* Rev bumpGregor Kleen2015-06-21
* Version bumpGregor Kleen2015-06-21
* build fixesGregor Kleen2015-06-21
* rev from wrong repoGregor Kleen2015-06-21
* Version bumpGregor Kleen2015-06-21
* Switched build system structure & locksGregor Kleen2015-06-21
* Version bumpGregor Kleen2015-06-10
* Now pruning entire tree of directories created on startup.Gregor Kleen2015-06-10
* version bumpGregor Kleen2015-06-09
* Fixpoint detectionGregor Kleen2015-06-09
* version bumpGregor Kleen2015-06-09