Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-09-13 | cbmc: 5.90.0 -> 5.91.0 | R. Ryantm | 1 | -2/+2 |
2023-08-23 | cbmc: 5.89.0 -> 5.90.0 | R. Ryantm | 1 | -2/+2 |
2023-08-10 | cbmc: 5.88.1 -> 5.89.0 | R. Ryantm | 1 | -2/+2 |
2023-08-01 | cbmc: 5.87.0 -> 5.88.1 | Jiajie Chen | 1 | -2/+2 |
2023-07-11 | cbmc: 5.86.0 -> 5.87.0 | R. Ryantm | 1 | -2/+2 |
2023-07-02 | cbmc: 5.76.1 -> 5.86.0 | Jiajie Chen | 2 | -37/+29 |
2023-02-22 | treewide: env.NIX_CFLAGS_COMPILE use toString on result of optionals | Artturin | 1 | -2/+2 |
2023-02-22 | treewide: move NIX_CFLAGS_COMPILE to the env attrset | Artturin | 1 | -1/+1 |
2023-02-06 | Merge master into staging-next | github-actions[bot] | 1 | -2/+2 |
2023-02-05 | treewide: another round of gcc12 fixups | Vladimír Čunát | 1 | -2/+2 |
2023-02-05 | cbmc: 5.74.0 -> 5.76.1 | R. Ryantm | 1 | -2/+2 |
2023-01-27 | treewide: add gcc12 flags | Fabián Heredia Montiel | 1 | -3/+7 |
2023-01-10 | cbmc: mark as broken on aarch64-linux | Bobby Rong | 1 | -0/+2 |
2023-01-08 | cbmc: 5.71.0 -> 5.74.0 | R. Ryantm | 1 | -2/+2 |
2022-11-25 | cbmc: 5.70.0 -> 5.71.0 | R. Ryantm | 1 | -2/+2 |
2022-11-11 | cbmc: 5.69.1 -> 5.70.0 | R. Ryantm | 1 | -2/+2 |
2022-10-29 | cbmc: 5.69.0 -> 5.69.1 | R. Ryantm | 1 | -2/+2 |
2022-10-28 | cbmc: 5.68.0 -> 5.69.0 | R. Ryantm | 1 | -2/+2 |
2022-10-14 | cbmc: 5.67.0 -> 5.68.0 | R. Ryantm | 1 | -2/+2 |
2022-09-30 | cbmc: 5.65.1 -> 5.67.0 | R. Ryantm | 1 | -2/+2 |
2022-09-14 | cbmc: 5.65.0 -> 5.65.1 | R. Ryantm | 1 | -2/+2 |
2022-09-02 | cbmc: 5.64.0 -> 5.65.0 | R. Ryantm | 1 | -2/+2 |
2022-08-18 | cbmc: 5.63.0 -> 5.64.0 | R. Ryantm | 1 | -2/+2 |
2022-08-18 | cbmc: init at 5.63.0 | Jiajie Chen | 2 | -0/+131 |