Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Marek Chalupa
slowbeast
Repository
Branches
Overview
Active
Stale
All
gep
0cf82c56
·
savior
·
Feb 02, 2020
symbolic-mem
391a1cab
·
symbolic memory
·
Feb 04, 2020
simple-kind
8880f788
·
Comment debugging message
·
Feb 11, 2020
inv-1
f38d7150
·
WIP: execute paths with annotations
·
Sep 24, 2020
inv-2
ba70081f
·
symexe: fix COW of constraints in states
·
Sep 29, 2020
inv-3
4b2ea60a
·
Implement pre/postconditions for paths
·
Oct 01, 2020
inv-4
f8a5da72
·
kindse: move on in invariant generation
·
Oct 09, 2020
inv-5
f9da2d4e
·
kindse: dump debugging files
·
Oct 13, 2020
inv-6
5c4d937b
·
kindse: fix executing initial paths
·
Nov 05, 2020
floats
894247d7
·
tests: add a few kind tests
·
Nov 10, 2020
inv-9
e7b301db
·
kindse: a small cleanup + dbg message
·
Nov 18, 2020
svcomp21-v1
1feb98fe
·
Fix implementation of fpclassify
·
Dec 14, 2020
kind-bench
7a997ed1
·
add benchmarks
·
Feb 03, 2021
cfas
88bfd96b
·
Use also equalities to constants in overapprox
·
Feb 09, 2021
cfas2
68e0eccb
·
fix the initial sequences
·
Feb 23, 2021
dev
5000b96f
·
Fix sequences limit
·
Feb 24, 2021
bse
54c40645
·
reduce the use of . a bit
·
Feb 24, 2021
simpler-is
cb723c92
·
simplify creating starting sets
·
Feb 26, 2021
invs-ext
5fdcf530
·
infer simple invariants
·
Feb 26, 2021
fse21
96dc6f0d
·
Fix creating fresh symbols
·
Mar 08, 2021
Prev
1
2
Next