summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Add acknowledgementsHEADmasterYann Herklotz2021-04-061-2/+6
* AddYann Herklotz2021-04-062-19/+24
* Fix some thingsYann Herklotz2021-03-281-6/+4
* Fix notesYann Herklotz2021-03-251-3/+1
* Update on Overleaf.John Wickerson2021-03-251-16/+21
* Update on Overleaf.John Wickerson2021-03-242-22/+17
* Add referencesYann Herklotz2021-03-241-0/+14
* Add moreYann Herklotz2021-03-242-7/+7
* Add the reviewsYann Herklotz2021-03-241-0/+85
* Fix formatting wrt. the requirementsYann Herklotz2021-03-241-62/+10
* Update on Overleaf.Yann Herklotz2021-02-261-15/+21
* Add citationYann Herklotz2021-02-252-1/+14
* Update on Overleaf.John Wickerson2021-02-251-16/+18
* Update on Overleaf.John Wickerson2021-02-251-2/+2
* Nearly fitsYann Herklotz2021-02-251-8/+8
* Some more fixesYann Herklotz2021-02-252-1/+12
* Add responses everywhereYann Herklotz2021-02-252-9/+33
* Fix all commentsYann Herklotz2021-02-251-42/+12
* Add automatic countersYann Herklotz2021-02-251-7/+12
* Add some changesYann Herklotz2021-02-251-10/+11
* Fix abstractYann Herklotz2021-02-252-3/+10
* Update on Overleaf.John Wickerson2021-02-251-12/+14
* Work on clarifying sectionsYann Herklotz2021-02-251-1/+1
* Improve abstractYann Herklotz2021-02-251-2/+2
* Rewrite conclusionYann Herklotz2021-02-251-2/+2
* More work on sectionsYann Herklotz2021-02-252-28/+25
* Update on Overleaf.Yann Herklotz2021-02-251-2/+2
* More changesYann Herklotz2021-02-251-11/+11
* Add more changesYann Herklotz2021-02-253-4/+36
* Update the titlesYann Herklotz2021-02-252-7/+23
* Move code aroundYann Herklotz2021-02-241-16/+14
* Add more changesYann Herklotz2021-02-241-1/+1
* Add legup citationYann Herklotz2021-02-242-1/+19
* Add information about performanceYann Herklotz2021-02-241-0/+2
* Add information about flakinessYann Herklotz2021-02-241-1/+3
* Add moreYann Herklotz2021-02-242-1/+17
* Fix the citationYann Herklotz2021-02-241-1/+1
* Work on adding more position paper argumentsYann Herklotz2021-02-241-3/+9
* Update on Overleaf.John Wickerson2021-02-241-1/+1
* Remove diagramYann Herklotz2021-02-231-40/+0
* New changesYann Herklotz2021-02-231-1/+1
* Add more content about future work and conclusionYann Herklotz2021-02-232-1/+38
* Add commands for compcert and vericertYann Herklotz2021-02-231-5/+5
* Add better formattingYann Herklotz2021-02-231-2/+2
* Add back john's notesYann Herklotz2021-02-231-0/+8
* Add a proper abstractYann Herklotz2021-02-231-10/+4
* Add performance graph with CSV dataYann Herklotz2021-02-236-0/+154
* Add references to polybenchYann Herklotz2021-02-232-6/+13
* Add correctness equationYann Herklotz2021-02-231-1/+11
* Add guaranteesYann Herklotz2021-02-232-3/+15