Commit Graph

9 Commits

Author SHA1 Message Date
Eric Mertens
5e75f834e7 Update test for new utf-8 error message 2019-02-28 10:04:17 -08:00
Iavor Diatchki
349bb6b355 Ignore all .ghc.envi* stuff 2018-12-11 16:16:39 -08:00
Diatchki
10b7f891e2 Ignore environment cabal thing 2018-04-03 09:56:48 -07:00
Robert Dockins
24d542c5c2 Ignore stack and cabal new-build build artifacts 2017-05-10 16:57:52 -07:00
Adam C. Foltzer
2f64119440 split benchmark XML into separate files
This will hopefully yield better scale in the graphs on the Jenkins job
2016-08-09 14:05:30 -04:00
Adam C. Foltzer
9923b6f11a split out notebook into separate package
This involved:

- Moving a couple REPL modules into the Cryptol library hierarchy (those
  that don't depend on console libraries)
- Splitting up the Makefile, which unfortunately resulted in a lot of
  not-quite-duplication between the two Makefiles. Let's look into
  better abstraction...
2015-03-02 15:46:21 -08:00
Adam C. Foltzer
4a2da5686a temporarily check docs into the repo
Getting the right TeX Live and pandoc environments on the build slaves
is turning out to be a Big Headache. For now, build docs locally and
keep the repo copies up to date.
2014-04-23 19:16:57 -07:00
Adam C. Foltzer
72cd17c11b change name of book pdf 2014-04-23 18:52:26 -07:00
Adam C. Foltzer
ba0a0e8576 Initial import from internal repo 2014-04-17 15:34:25 -07:00