summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/boogie: bump to 3.2.0Maciej Barć9 days2-0/+307
* dev-lang/boogie: drop old 3.1.5Maciej Barć2024-06-282-304/+0
* dev-lang/boogie: Stabilize 3.1.6 amd64, #934897Sam James2024-06-251-1/+1
* dev-lang/boogie: drop old 3.1.4Maciej Barć2024-06-252-304/+0
* dev-lang/boogie: Stabilize 3.1.5 amd64, #932859Jakov Smolić2024-05-291-1/+1
* dev-lang/boogie: use edo instead of edobMaciej Barć2024-05-242-2/+2
* dev-lang/boogie: bump to 3.1.6Maciej Barć2024-05-242-0/+306
* dev-lang/boogie: drop old 3.1.3Maciej Barć2024-05-242-304/+0
* dev-lang/boogie: Stabilize 3.1.4 amd64, #932113Sam James2024-05-181-1/+1
* dev-lang/boogie: bump to 3.1.5Maciej Barć2024-04-242-0/+304
* dev-lang/boogie: drop old 3.1.2Maciej Barć2024-04-242-303/+0
* dev-lang/boogie: Stabilize 3.1.3 amd64, #930159Sam James2024-04-181-1/+1
* dev-lang/boogie: bump to 3.1.4Maciej Barć2024-04-142-0/+304
* dev-lang/boogie: drop old 3.1.1Maciej Barć2024-04-142-296/+0
* dev-lang/boogie: drop old 3.0.12Maciej Barć2024-04-142-297/+0
* dev-lang/boogie: drop old 3.0.11Maciej Barć2024-04-142-301/+0
* dev-lang/boogie: Stabilize 3.1.2 amd64, #929111Arthur Zamarin2024-04-111-1/+1
* dev-lang/boogie: bump to 3.1.3Maciej Barć2024-03-132-0/+304
* dev-lang/boogie: add missing psutil test dependencyMaciej Barć2024-03-101-1/+2
* dev-lang/boogie: bump to 3.1.2Maciej Barć2024-03-082-0/+302
* dev-lang/boogie: drop old 3.0.10Maciej Barć2024-03-082-302/+0
* dev-lang/boogie: Stabilize 3.0.11 amd64, #926440Arthur Zamarin2024-03-081-1/+1
* dev-lang/boogie: drop old 3.1.0Maciej Barć2024-03-052-296/+0
* dev-lang/boogie: bump to 3.1.1Maciej Barć2024-03-052-0/+296
* dev-lang/boogie: drop old 3.0.9Maciej Barć2024-03-042-301/+0
* dev-lang/boogie: bump to 3.1.0Maciej Barć2024-03-042-0/+296
* dev-lang/boogie: Stabilize 3.0.10 amd64, #925654Sam James2024-02-271-1/+1
* dev-lang/boogie: bump to 3.0.12Maciej Barć2024-02-192-0/+297
* dev-lang/boogie: drop old 3.0.8Maciej Barć2024-02-102-300/+0
* dev-lang/boogie: Stabilize 3.0.9 amd64, #923639Arthur Zamarin2024-02-031-1/+1
* dev-lang/boogie: bump to 3.0.11Maciej Barć2024-02-032-0/+301
* dev-lang/boogie: drop old 3.0.6Maciej Barć2024-02-032-291/+0
* dev-lang/boogie: Stabilize 3.0.8 amd64, #921420Matoro Mahri2024-01-271-1/+1
* dev-lang/boogie: bump to 3.0.10Maciej Barć2024-01-222-0/+302
* dev-lang/boogie: disable the z3-hard-timeout testMaciej Barć2024-01-133-3/+6
* dev-lang/boogie: drop old 3.0.5Maciej Barć2023-12-282-288/+0
* dev-lang/boogie: Stabilize 3.0.6 amd64, #920501Maciej Barć2023-12-281-1/+1
* dev-lang/boogie: drop old 3.0.7Maciej Barć2023-12-082-289/+0
* dev-lang/boogie: bump to 3.0.9Maciej Barć2023-12-082-0/+300
* dev-lang/boogie: bump to 3.0.8Maciej Barć2023-11-292-0/+299
* dev-lang/boogie: bump to 3.0.7Maciej Barć2023-11-212-0/+289
* dev-lang/boogie: bump to 3.0.6Maciej Barć2023-11-172-0/+289
* dev-lang/boogie: drop old 3.0.4Maciej Barć2023-11-172-288/+0
* dev-lang/boogie: Stabilize 3.0.5 amd64, #917307Sam James2023-11-131-1/+1
* dev-lang/boogie: bump to 3.0.5Maciej Barć2023-10-112-0/+288
* dev-lang/boogie: use RollForward=Major to update to .NET 7.0Maciej Barć2023-10-081-5/+2
* dev-lang/boogie: disable analyzersMaciej Barć2023-10-062-1/+21
* dev-lang/boogie: add missing src_unpack to support gitMaciej Barć2023-09-181-0/+8
* dev-lang/boogie: drop old 2.16.0Maciej Barć2023-09-162-96/+0
* dev-lang/boogie: bump to 3.0.4Maciej Barć2023-09-152-0/+472