| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | .io -> .com |   Jason A. Donenfeld | 2017-07-16 | 1 | -1/+1 |
| * | Add auto proving mode as default makefile target | Jason A. Donenfeld | 2017-07-14 | 1 | -1/+4 |
| * | Use proof server | Jason A. Donenfeld | 2017-05-06 | 1 | -0/+2 |
| * | Makefile should be functional on linux | Jason A. Donenfeld | 2017-05-06 | 1 | -1/+1 |
| * | Fixed awk syntax in remote |   Kevin Milner | 2017-03-30 | 1 | -5/+5 |
| * | Makefile: be less insane | Jason A. Donenfeld | 2017-03-28 | 1 | -18/+20 |
| * | Hacky makefile for convenience |   Kevin Milner | 2017-03-01 | 1 | -0/+46 |
 |
index : wireguard-tamarin | |
| Proof of WireGuard protocol using Tamarin | Kevin Milner |
| summaryrefslogtreecommitdiffstats |