summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Add into archiveYann Herklotz2020-11-041-0/+40
* Remove semantics from VerilogYann Herklotz2020-11-042-107/+20
* Finished most of the algorithm rewriteYann Herklotz2020-11-042-19/+54
* Add new dataYann Herklotz2020-11-033-2/+4
* Add more contentYann Herklotz2020-11-024-21/+29
* Add macros for vericert and compcertYann Herklotz2020-11-025-69/+74
* Add some more contentYann Herklotz2020-11-027-198/+376
* Grammar changesYann Herklotz2020-10-271-1/+1
* Renaming and adding more commentsYann Herklotz2020-10-215-34/+34
* Work on Nadesh's comments in Verilog sectionYann Herklotz2020-10-213-3/+18
* Add comments by JohnYann Herklotz2020-10-213-4/+9
* Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0 in...Yann Herklotz2020-10-144-12/+21
|\
| * Update on Overleaf.n.ramanathan142020-10-144-12/+21
* | Add introduction changesYann Herklotz2020-10-141-4/+4
|/
* Make figures fit onto the pageYann Herklotz2020-10-096-31/+100
* Add changesYann Herklotz2020-10-076-61/+53
* Merge remote-tracking branch 'origin/master'Yann Herklotz2020-08-111-1/+1
|\
| * Update on Overleaf.James Pollard2020-08-111-1/+1
* | Update proof sectionYann Herklotz2020-08-111-2/+55
|/
* Fix abstractYann Herklotz2020-07-173-6/+9
* More changes to proof.texYann Herklotz2020-07-141-1/+15
* Update on Overleaf.John Wickerson2020-07-081-7/+24
* adding comptime for legup and coqup (coqup is just dummy numbers atm)John Wickerson2020-07-072-26/+26
* Update on Overleaf.John Wickerson2020-07-073-34/+40
* graphsJohn Wickerson2020-07-072-6/+47
* fused csv files and added derived columnsJohn Wickerson2020-07-073-2/+27
* Update on Overleaf.n.ramanathan142020-07-072-0/+52
* Take away some commentsYann Herklotz2020-07-062-2/+8
* Fix tex and turn on commentsYann Herklotz2020-07-062-2/+2
* Add accumulator_fsmd.pdf and finish Verilog sectionYann Herklotz2020-07-064-2/+25
* Update on Overleaf.John Wickerson2020-07-051-1/+1
* Verilog sectionYann Herklotz2020-07-041-1/+3
* Update on Overleaf.James Pollard2020-07-044-3/+63
* Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0Yann Herklotz2020-07-011-2/+2
|\
| * Update on Overleaf.Yann Herklotz2020-07-011-2/+2
* | Add more content to algorithmYann Herklotz2020-07-012-3/+17
|/
* Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0Yann Herklotz2020-07-012-3/+2
|\
| * Update on Overleaf.Yann Herklotz2020-07-012-3/+2
* | More changes to algorithm.texYann Herklotz2020-07-012-2/+4
|/
* Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0Yann Herklotz2020-07-012-2/+2
|\
| * Update on Overleaf.James Pollard2020-07-012-2/+2
* | Add more content to algorithmYann Herklotz2020-07-014-82/+86
|/
* Mention example sectionYann Herklotz2020-07-011-2/+2
* Fix to commentsYann Herklotz2020-07-017-150/+149
* Adding more commentsYann Herklotz2020-06-304-28/+25
* Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0Yann Herklotz2020-06-302-4/+4
|\
| * Update on Overleaf.John Wickerson2020-06-302-5/+5
* | Add algorithmYann Herklotz2020-06-302-38/+148
|/
* Add more to the exampleYann Herklotz2020-06-301-6/+6
* Add examplesYann Herklotz2020-06-305-6/+64
generated by cgit (git 2.34.1) at 2024-06-29 08:10:29 +0000