projects / cfuerst / formal-numbers.git / shortlog
| 2017-03-23 | Christoph Fuerst | Corrected Loop invariant of quadratic residue | commit | commitdiff | tree | snapshot |
| 2017-03-22 | Christoph Fuerst | Tried to formulate loop invariant for quadraticresidue... | commit | commitdiff | tree | snapshot |
| 2017-03-22 | Wolfgang Schreiner | typo | commit | commitdiff | tree | snapshot |
| 2017-03-21 | Christoph Fuerst | modified loop invariant for primes | commit | commitdiff | tree | snapshot |
| 2017-03-21 | Christoph Fuerst | Added trial division algorithm for primes | commit | commitdiff | tree | snapshot |
| 2017-03-21 | Christoph Fuerst | Removed main | commit | commitdiff | tree | snapshot |
| 2017-03-21 | Christoph Fuerst | Added definition of quadratic residue. TODO: It is... | commit | commitdiff | tree | snapshot |
| 2017-03-21 | Christoph Fuerst | Initial revision | commit | commitdiff | tree | snapshot |