2019-11-27 | Mark Wooding | Merge branch '1.2.x' into 1.3.x | blob | commitdiff | raw |
2019-09-21 | Mark Wooding | Merge branch 'mdw/aead' | blob | commitdiff | raw |
2019-09-21 | Mark Wooding | pock.1: Explicitly resolve the absolute-value wrapping... | blob | commitdiff | raw |
2019-09-21 | Mark Wooding | pock.1: Fix clumsy wording in Pocklington proof. | blob | commitdiff | raw | diff to current |
2019-09-21 | Mark Wooding | pock.1: Make a less fatuous observation. | blob | commitdiff | raw | diff to current |
2019-09-21 | Mark Wooding | pock.1: Fix Pocklington proof. | blob | commitdiff | raw | diff to current |
2019-09-21 | Mark Wooding | pock.1: Mention Baillie-PSW and why `pock' is still... | blob | commitdiff | raw | diff to current |
2018-11-10 | Mark Wooding | pock: New program for generating and verifying primalit... | blob | commitdiff | raw | diff to current |