Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | cryptoverif: 2.01 -> 2.01pl1 | R. RyanTM | 2019-07-23 |
* | cryptoverif: 2.00 -> 2.01 | R. RyanTM | 2019-06-01 |
* | treewide: Change URLs to HTTPS | Daniel Schaefer | 2019-04-22 |
* | cryptoverif: 1.28 -> 2.00 | R. RyanTM | 2018-06-06 |
* | cryptoverif: 1.22 -> 1.28 | Ryan Mulligan | 2018-02-26 |
* | cryptoverif: init at 1.22 | Austin Seipp | 2016-06-28 |