Skip to content

Commit 5326e2b

Browse files
CopperCableIsolatorCopperCableIsolator
committed
renamed domain to fit goblint scheme
1 parent 65d0c12 commit 5326e2b

File tree

2 files changed

+0
-0
lines changed

2 files changed

+0
-0
lines changed

‎src/cdomains/apron/affineEqualityDomainSideEffects.apron.ml‎ renamed to ‎src/cdomains/apron/affineEqualityDenseDomain.apron.ml‎

File renamed without changes.

‎src/cdomains/apron/affineEqualityDomainSideEffects.no-apron.ml‎ renamed to ‎src/cdomains/apron/affineEqualityDenseDomain.no-apron.ml‎

File renamed without changes.

0 commit comments

Comments
 (0)