#53
|
divcc: Investigate and fix coreutils' ls
|
divcc
|
|
4.3
|
defect
|
blurry
|
assigned
|
02/18/2019
|
#59
|
Make it possible for `step --over` to stop on thread switch
|
sim
|
|
4.3
|
defect
|
mornfall
|
new
|
04/02/2019
|
#60
|
missing __sym_sitofp
|
other
|
|
4.3
|
defect
|
Henrich Lauko
|
assigned
|
05/17/2019
|
#87
|
Struct self-assignment results in assertion failure in memcpy
|
DiOS
|
|
4.3
|
defect
|
mornfall
|
accepted
|
10/08/2019
|
#90
|
VFS: Divine segfaults while loading when capturing a diffutils directory
|
DiOS
|
|
4.3
|
defect
|
|
new
|
10/15/2019
|
#4
|
Implement exec --symbolic.
|
MC
|
|
4.3
|
feature
|
adamatousek
|
assigned
|
05/15/2018
|
#62
|
Generate concrete counterexample from smt.
|
MC
|
|
4.3
|
feature
|
Henrich Lauko
|
assigned
|
05/24/2019
|
#69
|
Fix linking with lld
|
divcc
|
|
4.4
|
defect
|
blurrymoi
|
new
|
06/28/2019
|
#94
|
sim: Signed integer value is shown as unsigned.
|
sim
|
|
4.4
|
defect
|
Vladimír Štill
|
accepted
|
10/21/2019
|
#95
|
sim: Integers < -5 appearing in dbg.value are discarded.
|
sim
|
|
4.4
|
defect
|
mornfall
|
accepted
|
10/21/2019
|
#106
|
make: CMake does not set PYTHON_INTERP during libcxx configuration
|
other
|
|
4.4
|
defect
|
Vladimír Štill
|
accepted
|
01/28/2020
|
#113
|
make install fails for DIVINE 4.4.2 on Debian 10
|
other
|
|
4.4
|
defect
|
mornfall
|
new
|
08/28/2020
|
#120
|
Divine-4.4.2 was built failed in ubuntu 20.04
|
other
|
|
4.4
|
defect
|
mornfall
|
new
|
08/24/2022
|
#25
|
Make metadata exception map lock-free
|
VM
|
|
4.4
|
feature
|
adamatousek
|
assigned
|
12/17/2018
|
#105
|
make: Move any compilation out of make install
|
other
|
|
4.4
|
feature
|
mornfall
|
accepted
|
01/21/2020
|
#122
|
Verify properties described using LTL formulas
|
other
|
|
4.4
|
feature
|
mornfall
|
new
|
04/20/2023
|
#55
|
Store snapshots in 2 layers.
|
VM
|
|
4.4
|
task
|
mornfall
|
new
|
02/19/2019
|
#64
|
Integrate Ballista into DiOS' testsuite.
|
DiOS
|
|
4.4
|
task
|
|
new
|
06/06/2019
|
#66
|
Re-write addSection in terms of llvm code.
|
divcc
|
|
4.4
|
task
|
blurrymoi
|
new
|
06/11/2019
|
#68
|
sysconf macros should be inferred via hostabi
|
DiOS
|
|
4.4
|
task
|
|
new
|
06/28/2019
|
#43
|
Fix thread_local
|
VM
|
|
4.5
|
defect
|
mornfall
|
accepted
|
01/21/2019
|
#116
|
Divine fails to build on distributions with recent glibc and GNU toolchain
|
other
|
|
4.5
|
defect
|
mornfall
|
new
|
09/02/2021
|
#118
|
libc: isatty(3) is POSIX-nonconformant
|
DiOS
|
|
4.5
|
defect
|
|
new
|
09/02/2021
|
#117
|
Possibility of symbolic argc + argv
|
other
|
|
4.5
|
feature
|
mornfall
|
new
|
09/02/2021
|
#119
|
libc: make return value of isatty(3) user configurable
|
DiOS
|
|
4.5
|
feature
|
|
new
|
09/02/2021
|
#6
|
Improve support for debugging inlined functions
|
sim
|
|
5.0
|
defect
|
mornfall
|
new
|
06/05/2018
|
#10
|
Memory leak from symbolic values.
|
DiOS
|
|
5.0
|
defect
|
|
new
|
11/05/2018
|
#19
|
SYM: Spurious errors due to infeasible explicit values
|
LART
|
|
5.0
|
defect
|
Henrich Lauko
|
assigned
|
12/06/2018
|
#26
|
The weakmem runtime leaks memory
|
DiOS
|
|
5.0
|
defect
|
Vladimír Štill
|
assigned
|
12/18/2018
|
#45
|
Add support for __atomic_* libcalls
|
DiOS
|
|
5.0
|
defect
|
|
new
|
01/27/2019
|
#72
|
Termination testing our data structures
|
other
|
|
5.0
|
defect
|
xstill
|
assigned
|
07/03/2019
|
#123
|
How to use the command line to check whether a C program satisfies the LTL nature
|
other
|
|
5.0
|
defect
|
mornfall
|
new
|
04/18/2024
|
#32
|
Allow usermeta layers to be weak (debug).
|
VM
|
|
5.0
|
feature
|
mornfall
|
new
|
01/14/2019
|
#33
|
Return the list of leaked objects back to userspace.
|
VM
|
|
5.0
|
feature
|
mornfall
|
new
|
01/14/2019
|
#34
|
Add _VM_T_StackTrace to __vm_trace.
|
VM
|
|
5.0
|
feature
|
mornfall
|
new
|
01/14/2019
|
#35
|
Track origins of memory objects.
|
DiOS
|
|
5.0
|
feature
|
|
new
|
01/14/2019
|
#40
|
Error with _SYM and array indexing (worked in 4.1.6)
|
LART
|
|
5.0
|
feature
|
Henrich Lauko
|
new
|
01/17/2019
|
#31
|
Capture 'mount points' are confusing.
|
UI
|
|
5.0
|
task
|
mornfall
|
new
|
01/10/2019
|
#47
|
Benchmark abstraction cleanup influence
|
DiOS
|
|
5.0
|
task
|
Henrich Lauko
|
assigned
|
01/30/2019
|
#51
|
Write a style guide.
|
other
|
|
5.0
|
task
|
mornfall
|
new
|
02/04/2019
|
#49
|
Build system should check for minimal version of Z3
|
other
|
|
4.3
|
defect
|
Henrich Lauko
|
assigned
|
02/01/2019
|
#92
|
divine info is outdated
|
DiOS
|
|
4.3
|
defect
|
Vladimír Štill
|
accepted
|
10/17/2019
|
#107
|
unreachable executed: unknown binary operation fp.leq
|
DiOS
|
|
4.4
|
defect
|
Henrich Lauko
|
assigned
|
01/29/2020
|
#44
|
Multi-Threaded Performance Doesn't Scale
|
other
|
|
5.0
|
defect
|
mornfall
|
accepted
|
01/25/2019
|
#30
|
Possibly move divine's version() out of UI.
|
UI
|
|
5.0
|
feature
|
mornfall
|
new
|
01/08/2019
|
#104
|
build Divine against system LLVM 13
|
other
|
|
5.0
|
feature
|
mornfall
|
new
|
01/14/2020
|
#39
|
Hunt down libc functions that should be defined weak
|
DiOS
|
|
5.0
|
task
|
blurry
|
assigned
|
01/16/2019
|
#63
|
Use refcount_ptr in DiOS.
|
DiOS
|
|
5.0
|
task
|
|
new
|
06/02/2019
|
#121
|
Where can I get the extract-llvm from?
|
other
|
|
4.4
|
feature
|
mornfall
|
new
|
09/06/2022
|