| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add acknowledgementsHEADmaster | Yann Herklotz | 2021-04-06 | 1 | -2/+6 |
| * | Add | Yann Herklotz | 2021-04-06 | 1 | -15/+19 |
| * | Fix some things | Yann Herklotz | 2021-03-28 | 1 | -6/+4 |
| * | Fix notes | Yann Herklotz | 2021-03-25 | 1 | -3/+1 |
| * | Update on Overleaf. | John Wickerson | 2021-03-25 | 1 | -16/+21 |
| * | Update on Overleaf. | John Wickerson | 2021-03-24 | 1 | -21/+16 |
| * | Add more | Yann Herklotz | 2021-03-24 | 1 | -7/+3 |
| * | Fix formatting wrt. the requirements | Yann Herklotz | 2021-03-24 | 1 | -62/+10 |
| * | Update on Overleaf. | Yann Herklotz | 2021-02-26 | 1 | -15/+21 |
| * | Add citation | Yann Herklotz | 2021-02-25 | 1 | -1/+1 |
| * | Update on Overleaf. | John Wickerson | 2021-02-25 | 1 | -16/+18 |
| * | Update on Overleaf. | John Wickerson | 2021-02-25 | 1 | -2/+2 |
| * | Nearly fits | Yann Herklotz | 2021-02-25 | 1 | -8/+8 |
| * | Some more fixes | Yann Herklotz | 2021-02-25 | 1 | -1/+1 |
| * | Add responses everywhere | Yann Herklotz | 2021-02-25 | 1 | -9/+13 |
| * | Fix all comments | Yann Herklotz | 2021-02-25 | 1 | -42/+12 |
| * | Add automatic counters | Yann Herklotz | 2021-02-25 | 1 | -7/+12 |
| * | Add some changes | Yann Herklotz | 2021-02-25 | 1 | -10/+11 |
| * | Fix abstract | Yann Herklotz | 2021-02-25 | 1 | -3/+2 |
| * | Update on Overleaf. | John Wickerson | 2021-02-25 | 1 | -12/+14 |
| * | Work on clarifying sections | Yann Herklotz | 2021-02-25 | 1 | -1/+1 |
| * | Improve abstract | Yann Herklotz | 2021-02-25 | 1 | -2/+2 |
| * | Rewrite conclusion | Yann Herklotz | 2021-02-25 | 1 | -2/+2 |
| * | More work on sections | Yann Herklotz | 2021-02-25 | 1 | -28/+10 |
| * | Update on Overleaf. | Yann Herklotz | 2021-02-25 | 1 | -2/+2 |
| * | More changes | Yann Herklotz | 2021-02-25 | 1 | -11/+11 |
| * | Add more changes | Yann Herklotz | 2021-02-25 | 1 | -4/+6 |
| * | Update the titles | Yann Herklotz | 2021-02-25 | 1 | -7/+7 |
| * | Move code around | Yann Herklotz | 2021-02-24 | 1 | -16/+14 |
| * | Add more changes | Yann Herklotz | 2021-02-24 | 1 | -1/+1 |
| * | Add legup citation | Yann Herklotz | 2021-02-24 | 1 | -1/+3 |
| * | Add information about performance | Yann Herklotz | 2021-02-24 | 1 | -0/+2 |
| * | Add information about flakiness | Yann Herklotz | 2021-02-24 | 1 | -1/+3 |
| * | Add more | Yann Herklotz | 2021-02-24 | 1 | -1/+9 |
| * | Fix the citation | Yann Herklotz | 2021-02-24 | 1 | -1/+1 |
| * | Work on adding more position paper arguments | Yann Herklotz | 2021-02-24 | 1 | -3/+9 |
| * | Update on Overleaf. | John Wickerson | 2021-02-24 | 1 | -1/+1 |
| * | Remove diagram | Yann Herklotz | 2021-02-23 | 1 | -40/+0 |
| * | New changes | Yann Herklotz | 2021-02-23 | 1 | -1/+1 |
| * | Add more content about future work and conclusion | Yann Herklotz | 2021-02-23 | 1 | -1/+9 |
| * | Add commands for compcert and vericert | Yann Herklotz | 2021-02-23 | 1 | -5/+5 |
| * | Add better formatting | Yann Herklotz | 2021-02-23 | 1 | -2/+2 |
| * | Add back john's notes | Yann Herklotz | 2021-02-23 | 1 | -0/+8 |
| * | Add a proper abstract | Yann Herklotz | 2021-02-23 | 1 | -10/+4 |
| * | Add performance graph with CSV data | Yann Herklotz | 2021-02-23 | 1 | -0/+44 |
| * | Add references to polybench | Yann Herklotz | 2021-02-23 | 1 | -1/+1 |
| * | Add correctness equation | Yann Herklotz | 2021-02-23 | 1 | -1/+11 |
| * | Add guarantees | Yann Herklotz | 2021-02-23 | 1 | -3/+7 |
| * | More work | Yann Herklotz | 2021-02-23 | 1 | -1/+1 |
| * | Add more | Yann Herklotz | 2021-02-22 | 1 | -1/+3 |
 |
index : latte21_hlstpc | |
| High-level synthesis tools should be proven correct. |
| summaryrefslogtreecommitdiffstats |