| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update on Overleaf.HEADmaster | Yann Herklotz | 2022-04-12 | 2 | -11/+11 |
| * | 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 |
| * | Add reviews | Yann Herklotz | 2022-03-31 | 1 | -0/+67 |
| * | 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 | 2 | -22/+42 |
| * | Update on Overleaf. | John Wickerson | 2022-01-18 | 2 | -139/+118 |
| * | Update data | Yann Herklotz | 2022-01-17 | 2 | -116/+122 |
| * | 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 |
| * | Push final benchmarks | Yann Herklotz | 2022-01-17 | 5 | -57/+67 |
| * | 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 |
| * | Update adi benchmark | Yann Herklotz | 2022-01-17 | 3 | -3/+3 |
| * | More fixing of the data | Yann Herklotz | 2022-01-17 | 1 | -3/+3 |
| * | Fix data | Yann Herklotz | 2022-01-17 | 8 | -106/+104 |
| * | starting final complete pass (with word-chopping mode enabled) | John Wickerson | 2022-01-17 | 2 | -6/+4 |
| * | Herklotz2020->vericert | John Wickerson | 2022-01-17 | 1 | -7/+7 |
| * | Merge branch 'master' of https://git.overleaf.com/6123986eabc27675b19ebdea | John Wickerson | 2022-01-17 | 6 | -127/+299 |
| |\ | |||||
| | * | Update on Overleaf. | John Wickerson | 2022-01-17 | 1 | -13/+16 |
| | * | Update the data | Yann Herklotz | 2022-01-17 | 6 | -127/+299 |
| * | | various | John Wickerson | 2022-01-17 | 2 | -31/+34 |
| |/ | |||||
| * | Update on Overleaf. | John Wickerson | 2022-01-17 | 2 | -50/+100 |
| * | Update csv | Yann Herklotz | 2022-01-17 | 3 | -3/+3 |
| * | Update on Overleaf. | Yann Herklotz | 2022-01-17 | 0 | -0/+0 |
| * | 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 |
| * | Update references | Yann Herklotz | 2022-01-14 | 1 | -34/+13 |
| * | Add comments and text for results | Yann Herklotz | 2022-01-14 | 2 | -10/+47 |
| * | Fix size | Yann Herklotz | 2022-01-14 | 1 | -5/+5 |
| * | Add partial graph | Yann Herklotz | 2022-01-14 | 4 | -76/+130 |
| * | Merge remote-tracking branch 'origin/master' | Yann Herklotz | 2022-01-14 | 1 | -39/+30 |
| |\ | |||||
| | * | Update on Overleaf. | John Wickerson | 2022-01-14 | 1 | -39/+30 |
| * | | Add slice-ratio and time-ratio | Yann Herklotz | 2022-01-14 | 4 | -2/+127 |
| |/ | |||||
| * | Add data | Yann Herklotz | 2022-01-14 | 3 | -0/+84 |
| * | Update on Overleaf. | John Wickerson | 2022-01-14 | 3 | -97/+6551 |
| * | 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 |
 |
index : fccm22_rsvhls | |
| Resource sharing for verified high-level synthesis. |
| summaryrefslogtreecommitdiffstats |