Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Overview
Active
Stale
All
master
default
protected
ad8e1d8d
·
Merge branch 'xchalup4-master-patch-64576' into 'master'
·
Apr 05, 2023
change-sis
9a7130cc
·
bself: change how 1st-hit sis work
·
Apr 27, 2021
separate-errs
adf2f0f9
·
bself: fall-back to exit-sis if other means fail
·
Apr 20, 2021
init-sets
27772fa1
·
Try always add exit sets and allow max sequences of length 2
·
Apr 13, 2021
bse23
f27c13e1
·
BSE: encode also symbolic pointers
·
Mar 24, 2021
atva21
8afe259a
·
Rewrite BSE to be actually BSE
·
Mar 17, 2021
fse21
96dc6f0d
·
Fix creating fresh symbols
·
Mar 08, 2021
invs-ext
5fdcf530
·
infer simple invariants
·
Feb 26, 2021
simpler-is
cb723c92
·
simplify creating starting sets
·
Feb 26, 2021
bse
54c40645
·
reduce the use of . a bit
·
Feb 24, 2021
dev
5000b96f
·
Fix sequences limit
·
Feb 24, 2021
cfas2
68e0eccb
·
fix the initial sequences
·
Feb 23, 2021
cfas
88bfd96b
·
Use also equalities to constants in overapprox
·
Feb 09, 2021
kind-bench
7a997ed1
·
add benchmarks
·
Feb 03, 2021
svcomp21-v1
1feb98fe
·
Fix implementation of fpclassify
·
Dec 14, 2020
inv-9
e7b301db
·
kindse: a small cleanup + dbg message
·
Nov 18, 2020
floats
894247d7
·
tests: add a few kind tests
·
Nov 10, 2020
inv-6
5c4d937b
·
kindse: fix executing initial paths
·
Nov 05, 2020
inv-5
f9da2d4e
·
kindse: dump debugging files
·
Oct 13, 2020
inv-4
f8a5da72
·
kindse: move on in invariant generation
·
Oct 09, 2020
Prev
1
2
Next