| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-lang/boogie: bump to 3.4.3 |   Maciej Barć | 2024-11-27 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.4.2 | Maciej Barć | 2024-11-15 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.4.1 | Maciej Barć | 2024-10-25 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.2.4 | Maciej Barć | 2024-10-25 | 1 | -1/+0 |
| * | dev-lang/boogie: drop old 3.3.2 | Maciej Barć | 2024-10-23 | 1 | -1/+0 |
| * | dev-lang/boogie: drop old 3.3.0 | Maciej Barć | 2024-10-23 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.3.3 | Maciej Barć | 2024-10-15 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.3.2 | Maciej Barć | 2024-10-13 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.3.0 | Maciej Barć | 2024-10-09 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.2.3 | Maciej Barć | 2024-10-09 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.2.5 | Maciej Barć | 2024-09-12 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.2.1 | Maciej Barć | 2024-09-12 | 1 | -1/+0 |
| * | dev-lang/boogie: drop old 3.2.0 | Maciej Barć | 2024-09-12 | 1 | -1/+0 |
| * | dev-lang/boogie: drop old 3.1.6 | Maciej Barć | 2024-08-16 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.2.4 | Maciej Barć | 2024-08-16 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.2.3 | Maciej Barć | 2024-07-31 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.2.1 | Maciej Barć | 2024-07-19 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.2.0 | Maciej Barć | 2024-07-04 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.1.5 | Maciej Barć | 2024-06-28 | 1 | -1/+0 |
| * | dev-lang/boogie: drop old 3.1.4 | Maciej Barć | 2024-06-25 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.1.6 | Maciej Barć | 2024-05-24 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.1.3 | Maciej Barć | 2024-05-24 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.1.5 | Maciej Barć | 2024-04-24 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.1.2 | Maciej Barć | 2024-04-24 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.1.4 | Maciej Barć | 2024-04-14 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.1.1 | Maciej Barć | 2024-04-14 | 1 | -1/+0 |
| * | dev-lang/boogie: drop old 3.0.12 | Maciej Barć | 2024-04-14 | 1 | -1/+0 |
| * | dev-lang/boogie: drop old 3.0.11 | Maciej Barć | 2024-04-14 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.1.3 | Maciej Barć | 2024-03-13 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.1.2 | Maciej Barć | 2024-03-08 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.0.10 | Maciej Barć | 2024-03-08 | 1 | -1/+0 |
| * | dev-lang/boogie: drop old 3.1.0 | Maciej Barć | 2024-03-05 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.1.1 | Maciej Barć | 2024-03-05 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.0.9 | Maciej Barć | 2024-03-04 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.1.0 | Maciej Barć | 2024-03-04 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.0.12 | Maciej Barć | 2024-02-19 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.0.8 | Maciej Barć | 2024-02-10 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.0.11 | Maciej Barć | 2024-02-03 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.0.6 | Maciej Barć | 2024-02-03 | 1 | -2/+0 |
| * | dev-lang/boogie: bump to 3.0.10 | Maciej Barć | 2024-01-22 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.0.5 | Maciej Barć | 2023-12-28 | 1 | -1/+0 |
| * | dev-lang/boogie: drop old 3.0.7 | Maciej Barć | 2023-12-08 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.0.9 | Maciej Barć | 2023-12-08 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.0.8 | Maciej Barć | 2023-11-29 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.0.7 | Maciej Barć | 2023-11-21 | 1 | -0/+1 |
| * | dev-lang/boogie: bump to 3.0.6 | Maciej Barć | 2023-11-17 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 3.0.4 | Maciej Barć | 2023-11-17 | 1 | -1/+0 |
| * | dev-lang/boogie: bump to 3.0.5 | Maciej Barć | 2023-10-11 | 1 | -0/+1 |
| * | dev-lang/boogie: drop old 2.16.0 | Maciej Barć | 2023-09-16 | 1 | -2/+0 |
| * | dev-lang/boogie: bump to 3.0.4 | Maciej Barć | 2023-09-15 | 1 | -0/+192 |
GitWeb