Browse Source

adjust HISTORY

master
Mike Hamburg 10 years ago
parent
commit
4ca664e6f2
1 changed files with 8 additions and 0 deletions
  1. +8
    -0
      HISTORY.txt

+ 8
- 0
HISTORY.txt View File

@@ -1,3 +1,11 @@
September 6, 2014:
Pull in minor changes from David Leon Gil and Nicholas Wilson, with
some adjustments. I hope the adjustments don't break their compiles.

`make bat` now makes a bat which passes supercop-fastbuild, though
the benchmarks are rather different from `make bench`. I need to track
down why.

August 4, 2014:
Experiments and bug fixes.



Loading…
Cancel
Save