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 |