Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove compilation speed and fix results | Yann Herklotz | 2021-04-16 | 1 | -18/+10 |
* | Fix up evaluation | Yann Herklotz | 2021-04-16 | 1 | -0/+209 |
* | datapath -> data-path | Yann Herklotz | 2020-11-21 | 1 | -1/+1 |
* | Update on Overleaf. | John Wickerson | 2020-11-20 | 1 | -0/+13 |
* | Update on Overleaf. | John Wickerson | 2020-11-20 | 1 | -0/+5 |
* | Fix algorithm section | Yann Herklotz | 2020-11-20 | 1 | -0/+9 |
* | Add evaluation | Yann Herklotz | 2020-11-20 | 1 | -0/+14 |
* | Finalise proof section | Yann Herklotz | 2020-11-19 | 1 | -0/+48 |
* | Push | Yann Herklotz | 2020-11-19 | 1 | -0/+5 |
* | More proof changes | Yann Herklotz | 2020-11-18 | 1 | -0/+4 |
* | Add proof | Yann Herklotz | 2020-11-18 | 1 | -0/+9 |
* | Archive introduction | Yann Herklotz | 2020-11-18 | 1 | -0/+44 |
* | Fix comments in algorithm section | Yann Herklotz | 2020-11-18 | 1 | -0/+7 |
* | More work on algorithms | Yann Herklotz | 2020-11-18 | 1 | -0/+5 |
* | Add more proof section | Yann Herklotz | 2020-11-17 | 1 | -0/+4 |
* | More changes to Verilog section | Yann Herklotz | 2020-11-15 | 1 | -0/+4 |
* | Add introduction to archive | Yann Herklotz | 2020-11-15 | 1 | -0/+1 |
* | More changes to algorithms | Yann Herklotz | 2020-11-15 | 1 | -0/+4 |
* | Add into archive | Yann Herklotz | 2020-11-04 | 1 | -0/+40 |
* | Add some more content | Yann Herklotz | 2020-11-02 | 1 | -0/+147 |