Skip to content
GitLab
Explore
Sign in
Руденчик Вероника Павловна
Imported CPAchecker
Repository
Branches
Overview
Active
Stale
All
TooManyValuesInitializerList1
cb57ee43
·
added condition for unions
·
Nov 18, 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
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
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
128bit-types
b57bf3ca
·
Undo recent changes
·
Nov 27, 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
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
SMG_statistics
0f486a99
·
SMGCPA: Add statistic on SMG predicates
·
Dec 23, 2019
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
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
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
CPALockator-theory5
ebf5eabf
·
Fix in merge operator
·
Feb 12, 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
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
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
704-counterexample-invalid-states
74ee89fa
·
Fix reconstructing counterexample-path with multiple edges between ARG-states
·
Feb 28, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
CPALockator-theory-with-races
d6d2d700
·
Merge with CPALockator-combat-mode
·
Feb 28, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
predicate-mark-nondet-variables
b73134ee
·
Do not add SSA indices for variables representing calls to __VERIFIER_nondet_int
·
Mar 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
677-builtin_offsetof
8d08bd7c
·
small change to improve readability
·
Mar 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tasks_to_yml
747ea266
·
Introduce yml task defs for statementExpression* tasks
·
Mar 09, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
11
12
13
14
15
16
17
18
Next