|
Failed to load latest commit information. |
|
data
|
updated Herbie's database for new format
|
Oct 6, 2015
|
|
|
herbie @ c660f3a
|
Added support for fancy numeric operations; the code still needs some…
|
Oct 5, 2015
|
|
|
src
|
updated Herbie's database for new format
|
Oct 6, 2015
|
|
|
test
|
updated Herbie's database for new format
|
Oct 6, 2015
|
|
|
.gitignore
|
more refactoring
|
Sep 7, 2015
|
|
|
.gitmodules
|
updated test suite
|
Sep 22, 2015
|
|
|
.travis.yml
|
updated Herbie's database for new format
|
Oct 6, 2015
|
|
|
HerbiePlugin.cabal
|
Added support for fancy numeric operations; the code still needs some…
|
Oct 5, 2015
|
|
|
LICENSE
|
merged
|
Aug 26, 2015
|
|
|
README.md
|
fixed bugs where the negate function wasn't treated as a math expr an…
|
Oct 1, 2015
|
|
|
Setup.hs
|
Herbie works on SubHask expressions
|
Aug 24, 2015
|
|
|
stack.yaml
|
more refactoring
|
Sep 7, 2015
|