Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
SMGCPA-merge-hvEdges
9cf7ba28
·
SMGCPA: reapply "remove out-of-scope variables from the stack. This allows to...
·
Feb 26, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
slice-export
20ae8681
·
Only add relevant function declarations in SliceExporter
·
Feb 14, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
634-sideeffect-in-expressionlist
199eb175
·
Handle assignments at the end of an expression list (#634)
·
Feb 12, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-theory5
ebf5eabf
·
Fix in merge operator
·
Feb 12, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
656-overflow-functions-value-analysis
6fb926e7
·
overflow functions for value analysis (#656)
·
Feb 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
695-follow-up-from-585
25de235a
·
format the changes made in this branch
·
Feb 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix-frontend-integration-bugs
f471ab2f
·
Rename pointerAnalysisFieldReferences test files
·
Jan 23, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
SMG_statistics
0f486a99
·
SMGCPA: Add statistic on SMG predicates
·
Dec 23, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
553-assignment-array-to-pointer
1423b8c4
·
Merge branch 553-assignment-array-to-pointer to trunk.
·
Dec 06, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tags/cpachecker-1.9
bdf6fe80
·
Release 1.9 of CPAchecker
·
Nov 28, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
128bit-types
b57bf3ca
·
Undo recent changes
·
Nov 27, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
647-unsupported-float-functions
135b680f
·
Added evaluation of tan,sqrt,pow,log functions for value analysis
·
Nov 27, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Crash_660
5b52bec0
·
Added check for CElaboratedType (eg CBitFieldType cannot be cast to CElaboratedType)
·
Nov 19, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
585-statement-expression-in-expressionlist
95ea6fb6
·
Simplify statement expression test program 6
·
Nov 19, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
TooManyValuesInitializerList1
cb57ee43
·
added condition for unions
·
Nov 18, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
TooManyValuesInitializerList
8666a351
·
Filter for Union Types, so that Unions are detected as they are not Aggregate Types
·
Nov 14, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg-string-builtins
f30d515f
·
merge from trunk into branch 'smg-string-builtins'
·
Nov 04, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
arrayContentAnalysis
0ca85271
·
Created Analysis for usage of Array elements
·
Oct 11, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
branchForReview
d23c636a
·
Usage of extended transfer in CPAAlgorithm
·
Oct 10, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
integration-witnessview
42b79d03
·
Merge trunk into branch
·
Sep 27, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
7
8
…
18
Next