-
f720d219 · Merge branch 'jan/feature/pretty' into 'master'
- ... and 1 more commit. Compare e0e38792...f720d219
-
e0e38792 · Merge branch 'feature/martin/cil/move-type-out-of-cil' into 'master'
- ... and 4 more commits. Compare ec1f322f...e0e38792
-
ec1f322f · Merge branch 'feature/andre/libc-fixes-and-assigns' into 'master'
- ... and 1 more commit. Compare 4486c011...ec1f322f
-
de5320e0 · Merge branch 'feature/martin/kernel/rename-attributes-functions' in...
- ... and 5 more commits. Compare 08b5a083...de5320e0
-
08b5a083 · Merge branch 'fix/kernel/acsl_parsing_failure' into 'master'
- ... and 1 more commit. Compare b1fd3557...08b5a083
-
b1fd3557 · Merge branch 'feature/release/automate-readme-update' into 'master'
- ... and 1 more commit. Compare 1bbad501...b1fd3557
-
1bbad501 · Merge branch 'feature/kernel/typed-floats' into 'master'
- ... and 5 more commits. Compare 6b2f98dc...1bbad501
-
6b2f98dc · Merge branch 'feature/martin/cil/move-attr-out-of-cil' into 'master'
- ... and 1 more commit. Compare 27beae4a...6b2f98dc
-
27beae4a · Merge branch 'feature/martin/kernel/use-record-for-types' into 'mas...
- ... and 1 more commit. Compare f248489b...27beae4a
-
f248489b · Merge branch 'update-headers-2025' into 'master'
- ... and 1 more commit. Compare f7195af0...f248489b
-
f7195af0 · Merge branch 'feature/eva/improve-messages' into 'master'
- ... and 1 more commit. Compare 8080c6cc...f7195af0
-
8080c6cc · Merge remote-tracking branch 'origin/stable/zinc'
- ... and 3 more commits. Compare 48d6da7a...8080c6cc
-
48d6da7a · Merge branch 'feature/martin/cabs/do-not-use-sequences-statement' i...
- ... and 2 more commits. Compare 89db85ff...48d6da7a
-
53616ee0 · Merge branch 'feature/dev/set-version-script' into 'master'
- ... and 2 more commits. Compare fdfd8365...53616ee0
