Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/rumur: Update 2019.08.18 -> 2019.09.15 | Yuri Victorovich | 2019-09-21 | 2 | -4/+4 |
* | math/rumur: Update 2019.07.21 -> 2019.08.18 | Yuri Victorovich | 2019-08-19 | 2 | -5/+4 |
* | Bump PORTREVISION for ports depending on the canonical version of GCC | Gerald Pfeifer | 2019-07-26 | 1 | -0/+1 |
* | math/rumur: Update 2019.06.30 -> 2019.07.21 | Yuri Victorovich | 2019-07-22 | 2 | -4/+4 |
* | math/rumur: Update 2019.06.12 -> 2019.06.30 | Yuri Victorovich | 2019-07-05 | 2 | -4/+4 |
* | math/rumur: Update 2019.06.05 -> 2019.06.12 | Yuri Victorovich | 2019-06-13 | 2 | -6/+4 |
* | math/rumur: Broken on i386 | Yuri Victorovich | 2019-06-09 | 1 | -0/+2 |
* | math/rumur: Update 2019.06.01 -> 2019.06.05 | Yuri Victorovich | 2019-06-06 | 2 | -5/+5 |
* | New port: math/rumur: Model checker, a formal verification tool for state mac... | Yuri Victorovich | 2019-06-03 | 4 | -0/+73 |