R. Ryantm
|
57b7f6f1ba
|
boogie: 3.1.2 -> 3.1.3
|
2024-03-15 20:25:31 +00:00 |
|
R. Ryantm
|
ce018184a5
|
boogie: 3.1.1 -> 3.1.2
|
2024-03-11 22:31:14 +00:00 |
|
R. Ryantm
|
cbb86599b9
|
boogie: 3.0.10 -> 3.1.1
|
2024-03-07 08:07:39 +00:00 |
|
R. Ryantm
|
0d73a93c93
|
boogie: 3.0.9 -> 3.0.10
|
2024-01-23 08:02:39 +00:00 |
|
R. Ryantm
|
0d6c4e0b31
|
boogie: 3.0.6 -> 3.0.9
|
2023-12-13 08:18:51 +00:00 |
|
R. Ryantm
|
bef55841a2
|
boogie: 3.0.5 -> 3.0.6
|
2023-11-22 08:51:32 -08:00 |
|
R. Ryantm
|
a4336d795c
|
boogie: 3.0.4 -> 3.0.5
|
2023-10-11 12:37:10 +00:00 |
|
mdarocha
|
7006d97373
|
boogie: 2.15.7 -> 3.0.4
Also add install check to verify all dependencies (ie. z3) work
|
2023-09-16 16:00:34 +02:00 |
|
mdarocha
|
b0d00352bb
|
boogie: move out of dotnet-packages.nix
dotnet-packages.nix is deprecated and being removed
|
2023-09-16 16:00:29 +02:00 |
|