Skip to content
GitLab
Explore
Sign in
verification
Cpachecker
Repository
Branches
Overview
Active
Stale
All
petrov-8take2-fix-areNotEqual
c4816f66
·
SMG#replaceValue: refactor
·
Apr 24, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
marchenko-smg-abstraction
79ee9cef
·
Fix test sll_subsmg_level_test.c
·
Apr 22, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg-bam
3ffb634e
·
SMG: fix adding string literal in RHSPointerAddressVisitor
·
Apr 12, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
16-fix-token-list-in-attributes
e2c7833f
·
Parsing C aligned attribute: check token#charImage, not its class
·
Apr 12, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
petrov-8-do-not-replace-zero-value
3622936a
·
SMGState#identifyEqualValues: refactor, remove PT-edges
·
Mar 28, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg-refactor-hve-filter-petrov
d1034f00
·
TODO refactor filtering for HV-edges with (non)-zero values
·
Mar 18, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar