cpachecker/.git-blame-ignore-revs at main · sosy-lab/cpachecker · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
# This file is part of CPAchecker,
# a tool for configurable software verification:
# https://cpachecker.sosy-lab.org
#
# SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0

# add new commits on top
84c3cfc9ae30a51c662e9d0258a71183f946e61f # Move SMT-LIB related code into its own package
fc6386038c8706477a939cc9340b5b2f2c28ab18 # Move specification ast classes for SV-LIB into another package
3154b8810c18571e834064ceef9c0dc1d8a03af0 # Refactor structure of SV-LIB AST classes
4e36402de0cabd6b78ad9d964a3ee5a012177664 # Rename K3 into SV-LIB for the intermediate verification language
b4c108f78988bdec853771d893f35066267f6c44 # reformat with Google Java Format 1.19
b4c1a2604a4db6df4732aadfa5a9a392a3831661 # reformat with Google Java Format 1.16
0ff16ae4e008e3eb0af0d5dcb6bd42d429fe9384 # reformat other packages
d1815aa4c4dbbdfa04797320fc26084403516ed0 # reformat CPAs
a92990d76590adf111aa9fee64931b2546faa723 # reformat ValueCPA
b7121ceae0b9728c06160e3ee4f4fd03240e4579 # reformat SMG CPAs
aa43fc82a8a0b39a1513a0e70bfca336421a71e4 # reformat PredicateCPA
c4a88b62f1dd3ec54c01cfe7a97ac917aae78671 # reformat InvariantsCPA
4d3324a16047efa02a1e1f6d9291d1e7a41c3153 # reformat CFA package
01f8dd9f5f66bd4e858904398747d39a3ead33b1 # reformat core packages
10cec43c15054f6b90b3866e8bf78b9351bec3bd # reformat Java analysis
5832ece7e7225c0a4661d1c575362fb0017e1f60 # reformat Python scripts
4647c749f170e4beb917b58f6290995ef559b47c # reformat ACSL package
886a31659523247e04595e1eee8b2beee2ed78a3 # reformat LockCPA and related code
5ba037e0bd452dd8bf7bbf4e04d299a51d00d73f # reformat Java test programs