| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update on Overleaf.HEADmaster | Yann Herklotz | 2022-04-12 | 1 | -9/+9 |
| | | |||||
| * | Merge remote-tracking branch 'origin/master' | Yann Herklotz | 2022-03-31 | 1 | -1/+1 |
| |\ | |||||
| | * | Update on Overleaf. | Yann Herklotz | 2022-03-31 | 1 | -1/+1 |
| | | | |||||
| * | | Add acknowledgments | Yann Herklotz | 2022-03-31 | 1 | -1/+5 |
| |/ | |||||
| * | Update on Overleaf. | Yann Herklotz | 2022-03-31 | 1 | -2/+3 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-03-31 | 1 | -8/+13 |
| | | |||||
| * | bit o' trimming | John Wickerson | 2022-03-30 | 1 | -9/+14 |
| | | |||||
| * | addressing reviewer comments and de-anonymising | John Wickerson | 2022-03-30 | 1 | -17/+20 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-18 | 1 | -138/+38 |
| | | |||||
| * | Update on Overleaf. | Yann Herklotz | 2022-01-17 | 1 | -7/+7 |
| | | |||||
| * | Update on Overleaf. | Yann Herklotz | 2022-01-17 | 1 | -7/+7 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-17 | 1 | -1/+1 |
| | | |||||
| * | Change legend position | Yann Herklotz | 2022-01-17 | 1 | -5/+2 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-17 | 1 | -2/+2 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-17 | 1 | -1/+1 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-17 | 1 | -1/+1 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-17 | 1 | -1/+1 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-17 | 1 | -5/+5 |
| | | |||||
| * | More fixing of the data | Yann Herklotz | 2022-01-17 | 1 | -3/+3 |
| | | |||||
| * | Fix data | Yann Herklotz | 2022-01-17 | 1 | -2/+2 |
| | | |||||
| * | starting final complete pass (with word-chopping mode enabled) | John Wickerson | 2022-01-17 | 1 | -4/+2 |
| | | |||||
| * | Herklotz2020->vericert | John Wickerson | 2022-01-17 | 1 | -7/+7 |
| | | |||||
| * | various | John Wickerson | 2022-01-17 | 1 | -15/+14 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-17 | 1 | -50/+63 |
| | | |||||
| * | Remove unnecessary \MP comment from introduction | Michalis Pardalos | 2022-01-15 | 1 | -2/+1 |
| | | |||||
| * | Add estimates for SLOC and time taken | Michalis Pardalos | 2022-01-15 | 1 | -1/+1 |
| | | |||||
| * | Add some detail about how call/return works in HTL | Michalis Pardalos | 2022-01-15 | 1 | -1/+1 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-15 | 1 | -1/+4 |
| | | |||||
| * | Add comments and text for results | Yann Herklotz | 2022-01-14 | 1 | -9/+36 |
| | | |||||
| * | Fix size | Yann Herklotz | 2022-01-14 | 1 | -5/+5 |
| | | |||||
| * | Add partial graph | Yann Herklotz | 2022-01-14 | 1 | -14/+63 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-14 | 1 | -39/+30 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-14 | 1 | -94/+107 |
| | | |||||
| * | minor | John Wickerson | 2022-01-12 | 1 | -0/+7 |
| | | |||||
| * | adding some text for performance evaluation section | John Wickerson | 2022-01-11 | 1 | -7/+31 |
| | | |||||
| * | various | John Wickerson | 2022-01-11 | 1 | -10/+18 |
| | | |||||
| * | various | John Wickerson | 2022-01-11 | 1 | -1/+5 |
| | | |||||
| * | addressing michalis's comments | John Wickerson | 2022-01-11 | 1 | -24/+40 |
| | | |||||
| * | Update on Overleaf. | Michalis Pardalos | 2022-01-10 | 1 | -2/+6 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2021-12-17 | 1 | -1/+1 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2021-12-16 | 1 | -94/+104 |
| | | |||||
| * | various | John Wickerson | 2021-12-13 | 1 | -224/+165 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2021-12-13 | 1 | -8/+114 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2021-12-11 | 1 | -89/+192 |
| | | |||||
| * | listings | John Wickerson | 2021-12-07 | 1 | -0/+135 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2021-12-07 | 1 | -11/+17 |
| | | |||||
| * | work on flow diagram | John Wickerson | 2021-12-07 | 1 | -36/+41 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2021-12-07 | 1 | -6/+91 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2021-11-30 | 1 | -2/+2 |
| | | |||||
| * | Update on Overleaf. | John Wickerson | 2021-11-26 | 1 | -1/+13 |
| | | |||||
 |
index : fccm22_rsvhls | |
| Resource sharing for verified high-level synthesis. |
| summaryrefslogtreecommitdiffstats |