| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | boogie: 3.0.5 -> 3.0.6 | R. Ryantm | 2023-11-22 |
| * | Merge pull request #256799 from argrat/borealis-cursors | Weijia Wang | 2023-11-04 |
| |\ | |||
| | * | borealis-cursors: init at 2.0 | Nicolò Bertazzo | 2023-11-04 |
| * | | boogie: 3.0.4 -> 3.0.5 | R. Ryantm | 2023-10-11 |
| |/ | |||
| * | boogie: 2.15.7 -> 3.0.4 | mdarocha | 2023-09-16 |
| * | boogie: move out of dotnet-packages.nix | mdarocha | 2023-09-16 |
| * | bochs: move to by-name hierarchy | Anderson Torres | 2023-09-10 |