^ —————. —.— . . —.— . . .————— . .
——— | | | | | | || | | | |
—(o)— | | | | | | | | | |———— '————|
——————— | | | | | | | || | |
————————— —————' —'— ' —'— ' ' '————— '
home manual roadmap issues status papers download
Custom Query (12 matches)
Ticket
|
Summary
|
Status
|
Cc
|
Owner
|
Type
|
Priority
|
#10 |
Memory leak from symbolic values.
|
new
|
Lukáš Zaoral
|
|
defect
|
major
|
#31 |
Capture 'mount points' are confusing.
|
new
|
Kamil Dudka, Lukáš Zaoral
|
mornfall
|
task
|
major
|
#87 |
Struct self-assignment results in assertion failure in memcpy
|
accepted
|
kdudka@…, jamartis@…, lzaoral@…, Dávid Bolvanský
|
mornfall
|
defect
|
major
|
#90 |
VFS: Divine segfaults while loading when capturing a diffutils directory
|
new
|
kdudka@…, jamartis@…, lzaoral@…
|
|
defect
|
major
|
#94 |
sim: Signed integer value is shown as unsigned.
|
accepted
|
kdudka@…, jamartis@…, lzaoral@…
|
Vladimír Štill
|
defect
|
major
|
#95 |
sim: Integers < -5 appearing in dbg.value are discarded.
|
accepted
|
kdudka@…, jamartis@…, lzaoral@…
|
mornfall
|
defect
|
major
|
#106 |
make: CMake does not set PYTHON_INTERP during libcxx configuration
|
accepted
|
kdudka@…, lzaoral@…
|
Vladimír Štill
|
defect
|
major
|
#117 |
Possibility of symbolic argc + argv
|
new
|
kdudka@…, lzaoral@…
|
mornfall
|
feature
|
major
|
#118 |
libc: isatty(3) is POSIX-nonconformant
|
new
|
kdudka@…, lzaoral@…
|
|
defect
|
major
|
#119 |
libc: make return value of isatty(3) user configurable
|
new
|
kdudka@…, lzaoral@…
|
|
feature
|
major
|
#92 |
divine info is outdated
|
accepted
|
kdudka@…, jamartis@…, lzaoral@…
|
Vladimír Štill
|
defect
|
minor
|
#104 |
build Divine against system LLVM 13
|
new
|
lzaoral@…
|
mornfall
|
feature
|
minor
|
Note: See
TracQuery
for help on using queries.