| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix capitalisation of titles | Yann Herklotz | 2021-09-09 | 1 | -1/+1 |
| | | |||||
| * | 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 |
 |
index : oopsla21_fvhls | |
| Formal verification of high-level synthesis. |
| summaryrefslogtreecommitdiffstats |