summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* 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
* Now only looping until fixpointGregor Kleen2015-06-09
* version bumpGregor Kleen2015-06-09
* moved file management to the proper placeGregor Kleen2015-06-09
* version bumpGregor Kleen2015-06-09
* moved logging to stderrGregor Kleen2015-06-09
* version bumpGregor Kleen2015-06-09
* more verbose outputGregor Kleen2015-06-09
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-15 10:27:46 +0000