nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-25 06:13:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
410,785 Commits 190 Branches 125 Tags 6.6 GiB
c326066800
Commit Graph

4 Commits

Author SHA1 Message Date
R. Ryantm
101fa50263 cbmc: 5.65.0 -> 5.65.1 2022-09-14 22:04:14 +08:00
R. Ryantm
35657ce4a6 cbmc: 5.64.0 -> 5.65.0 2022-09-02 10:22:16 +00:00
R. Ryantm
e0377f4a23 cbmc: 5.63.0 -> 5.64.0 2022-08-18 20:25:31 +00:00
Jiajie Chen
da87f77102 cbmc: init at 5.63.0 
Cadical is used as sat solver backend.

https://github.com/diffblue/cbmc/releases/tag/cbmc-5.63.0
 2022-08-18 05:21:32 +02:00