Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Got most of the way through new GaloisField code | Adam Chlipala | 2015-09-17 |
* | fix module structure + add assembly placeholder | Robert Sloan | 2015-09-17 |
* | redo module structure + init curve25519 | Robert Sloan | 2015-09-16 |
* | Basic Galois Field Theory Modules | Robert Sloan | 2015-09-16 |
* | init our centralized repo | Robert Sloan | 2015-09-10 |
* | Initial commit | Robert Sloan | 2015-09-10 |