| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge remote-tracking branch 'upstream/master' into hardened-stdenv | Robin Gloster | 2016-05-02 |
| |\ | |||
| | * | otter: Mark broken | Tuomas Tynkkynen | 2016-04-27 |
| * | | Use general hardening flag toggle lists | Franz Pletz | 2016-03-05 |
| * | | otter: turn off format hardening | Robin Gloster | 2016-02-12 |
| |/ | |||
| * | mass rewrite of find parameters to cross-platform style | Vladimír Čunát | 2015-09-06 |
| * | Add package versions to some of the packages or fix existing ones to conform ... | Evgeny Egorochkin | 2013-06-07 |
| * | Adding Otter theorem prover. The development is frozen, but because of that O... | Michael Raskin | 2013-05-09 |