Commits

Author Commit Message Labels Comments Date
dafis
Remove unused extension
dafis
Update Changes
dafis
Added tag version-0.2.0.1 for changeset a6b58100bceb
dafis
bump version
Tags
version-0.2.0.1
dafis
Fix imports for ghc >= 7.3
dafis
hide unsafeThaw from D.A.ST for ghc >= 7.3
dafis
Fix copy-pasto
dafis
Added tag version-0.2.0.0 for changeset 7ff4df67c2b9
dafis
Update .cabal for new release
Tags
version-0.2.0.0
dafis
Update to-do list
dafis
Log addition of certificates
dafis
Public API for certificates
dafis
Fix warning
dafis
Arguments, comments, fix warnings and an oversight
dafis
Add certified and trial division, remove announcement of certificates
dafis
Make warning clean on 6.12
dafis
Fix a typo and make warning clean
dafis
Added trial division
dafis
Generalise the ...To functions so they can be exported from elsewhere
dafis
Certified factorisation for paranoid souls
dafis
Note for choice of BPSW bound
dafis
Certified primality testing
dafis
Some simple trial division stuff
dafis
Start of implementation of prime certificates
dafis
export findParms for certification and change defult digits, so all parms are tried
dafis
Be more explicit in a comment
dafis
Added tag version-0.1.0.2 for changeset 3aa52227c757
dafis
New version
Tags
version-0.1.0.2
dafis
Fix doc bugs
dafis
Added tag version-0.1.0.1 for changeset a2dbdf1b4596
  1. Prev
  2. Next