Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/spot: Update 2.9.5 -> 2.9.6 | Yuri Victorovich | 2021-01-19 | 1 | -3/+3 |
* | math/spot: Update 2.9.4 -> 2.9.5 | Yuri Victorovich | 2020-12-04 | 1 | -3/+3 |
* | math/spot: Update 2.9.3 -> 2.9.4 | Yuri Victorovich | 2020-09-19 | 1 | -3/+3 |
* | math/spot: Update 2.9.2 -> 2.9.3 | Yuri Victorovich | 2020-07-30 | 1 | -3/+3 |
* | math/spot: Update 2.9.1 -> 2.9.2 | Yuri Victorovich | 2020-07-23 | 1 | -3/+3 |
* | math/spot: Update 2.9 -> 2.9.1 | Yuri Victorovich | 2020-07-21 | 1 | -3/+3 |
* | math/spot: Update 2.8.7 -> 2.9 | Yuri Victorovich | 2020-05-01 | 1 | -3/+3 |
* | math/spot: Update 2.8.6 -> 2.8.7 | Yuri Victorovich | 2020-03-16 | 1 | -3/+3 |
* | math/spot: Update 2.8.5 -> 2.8.6 | Yuri Victorovich | 2020-02-20 | 1 | -3/+3 |
* | math/spot: Update 2.8.4 -> 2.8.5 | Yuri Victorovich | 2020-01-05 | 1 | -3/+3 |
* | math/spot: Update 2.8.3 -> 2.8.4 | Yuri Victorovich | 2019-12-10 | 1 | -3/+3 |
* | math/spot: Update 2.8.2 -> 2.8.3 | Yuri Victorovich | 2019-11-10 | 1 | -3/+3 |
* | math/spot: Update 2.8.1 -> 2.8.2 | Yuri Victorovich | 2019-09-28 | 1 | -3/+3 |
* | math/spot: Update 2.7.5 -> 2.8.1 | Yuri Victorovich | 2019-08-03 | 1 | -3/+3 |
* | math/spot: Update 2.7.4 -> 2.7.5 | Yuri Victorovich | 2019-06-07 | 1 | -3/+3 |
* | math/spot: Update 2.7.2 -> 2.7.4 | Yuri Victorovich | 2019-04-28 | 1 | -3/+3 |
* | math/spot: Update 2.7.1 -> 2.7.2 | Yuri Victorovich | 2019-03-21 | 1 | -3/+3 |
* | math/spot: Update 2.7 -> 2.7.1 | Yuri Victorovich | 2019-02-22 | 1 | -3/+3 |
* | math/spot: Update 2.6.3 -> 2.7 | Yuri Victorovich | 2018-12-12 | 1 | -3/+3 |
* | math/spot: Update 2.6.2 -> 2.6.3 | Yuri Victorovich | 2018-10-18 | 1 | -3/+3 |
* | math/spot: Update 2.6.1 -> 2.6.2 | Yuri Victorovich | 2018-09-30 | 1 | -3/+3 |
* | New port: math/spot: Library for omega automata manipulation and model checking | Yuri Victorovich | 2018-08-04 | 1 | -0/+3 |