6 commits

Author	SHA1	Message	Date
Eelco Dolstra	ce6b86cc68	Fix various evaluation problems ... http://hydra.nixos.org/build/13616685	2014-08-22 11:57:40 +02:00
Peter Simons	e823c123a8	Don't build broken Haskell packages on Hydra. ... These packages don't compile: - cabal-delete - cabal-file-th - categories - cmdtheline - codec-image-devil - concurrent-extra - cryptol 1.8.x - data-lens - diagrams-postscript - djinn - download - dstring - enummapset - git-date - github-backup - gtkglext - happyy-meta - haskeline-class - pakcs These packages depend on some of the packages listed before: - Chart-diagrams - data-lens-template - hp2any-manager - purescript - repr These packages fail with GHC 7.8.3 but still compile with older compilers: - happy: 1.18.4, 1.18.5, 1.18.6	2014-08-12 12:37:44 +02:00
Austin Seipp	f1dc681538	cryptol: add a convenient clang/lss wrapper ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-05-17 14:09:09 -05:00
Austin Seipp	52514efb16	cryptol: Replace URLs with something meaningful ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-04-29 17:54:37 -05:00
Austin Seipp	d9d76f1a3a	cryptol: add 1.8.x expression ... This also includes support for the verification tools I'm using. Cryptol 2 is still the default obviously. Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-04-29 17:50:55 -05:00
Austin Seipp	5401849e3a	cryptol v2.0.0 ... This comes with several extra libraries, including GraphSCC, monadLib, presburger, process and smtLib, all required as build dependencies. But otherwise totally automated via cabal2nix. Next up is CVC4 (a total pain in the ass to package) for proving/SAT support. I have another WIP branch for the unfree 1.x series which I may (or may not) add later as it has external verification tech at the moment. Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-04-25 05:42:00 -05:00