Commits

Commit history

1. Commits on May 30, 2018

   • [spec] Fix some typos (#811)

     

     poemm

     authored and

     rossberg

     committed
     f273957View commit details

     Copy full SHA for f273957

     View code at this pointBrowse repository at this point
2. Commits on Sep 15, 2017

   • [spec] List external standard dependencies (#564)

     rossberg

     authored
     667dbadView commit details

     Copy full SHA for 667dbad

     View code at this pointBrowse repository at this point
3. Commits on Jul 31, 2017

   • [spec] Add soundness theorems to appendix (#526)

     Show description for 8686fc5
     rossberg

     authored
     8686fc5View commit details

     Copy full SHA for 8686fc5

     View code at this pointBrowse repository at this point
4. Commits on Jul 6, 2017

   • [spec] Clean-up pass over main body of spec (#519)

     Show description for b8e3dc3
     rossberg

     authored
     b8e3dc3View commit details

     Copy full SHA for b8e3dc3

     View code at this pointBrowse repository at this point
5. Commits on Jun 30, 2017

   • [spec] Clean up macros

     rossberg

     committed
     94aea9dView commit details

     Copy full SHA for 94aea9d

     View code at this pointBrowse repository at this point

   • [spec] Move main spec into its own dir (#517)

     rossberg

     authored
     9992280View commit details

     Copy full SHA for 9992280

     View code at this pointBrowse repository at this point
6. Loading