Custom Query (40 matches)


Show under each result:

Ticket Summary Status Owner Type Milestone Priority
#4 Implement exec --symbolic. assigned adamatousek feature 4.3 major
#6 Improve support for debugging inlined functions new mornfall defect 5.0 major
#10 Memory leak from symbolic values. new defect 5.0 major
#19 SYM: Spurious errors due to infeasible explicit values assigned Henrich Lauko defect 5.0 major
#25 Make metadata exception map lock-free assigned adamatousek feature 4.4 major
#26 The weakmem runtime leaks memory assigned Vladimír Štill defect 5.0 major
#31 Capture 'mount points' are confusing. new mornfall task 5.0 major
#32 Allow usermeta layers to be weak (debug). new mornfall feature 5.0 major
#33 Return the list of leaked objects back to userspace. new mornfall feature 5.0 major
#34 Add _VM_T_StackTrace to __vm_trace. new mornfall feature 5.0 major
#35 Track origins of memory objects. new feature 5.0 major
#40 Error with _SYM and array indexing (worked in 4.1.6) new Henrich Lauko feature 5.0 major
#43 Fix thread_local accepted mornfall defect 4.5 major
#45 Add support for __atomic_* libcalls new defect 5.0 major
#47 Benchmark abstraction cleanup influence assigned Henrich Lauko task 5.0 major
#51 Write a style guide. new mornfall task 5.0 major
#53 divcc: Investigate and fix coreutils' ls assigned blurry defect 4.3 major
#55 Store snapshots in 2 layers. new mornfall task 4.4 major
#59 Make it possible for `step --over` to stop on thread switch new mornfall defect 4.3 major
#60 missing __sym_sitofp assigned Henrich Lauko defect 4.3 major
#62 Generate concrete counterexample from smt. assigned Henrich Lauko feature 4.3 major
#64 Integrate Ballista into DiOS' testsuite. new task 4.4 major
#66 Re-write addSection in terms of llvm code. new blurrymoi task 4.4 major
#68 sysconf macros should be inferred via hostabi new task 4.4 major
#69 Fix linking with lld new blurrymoi defect 4.4 major
#72 Termination testing our data structures assigned xstill defect 5.0 major
#87 Struct self-assignment results in assertion failure in memcpy accepted mornfall defect 4.3 major
#90 VFS: Divine segfaults while loading when capturing a diffutils directory new defect 4.3 major
#94 sim: Signed integer value is shown as unsigned. accepted Vladimír Štill defect 4.4 major
#95 sim: Integers < -5 appearing in dbg.value are discarded. accepted mornfall defect 4.4 major
#105 make: Move any compilation out of make install accepted mornfall feature 4.4 major
#106 make: CMake does not set PYTHON_INTERP during libcxx configuration accepted Vladimír Štill defect 4.4 major
#113 make install fails for DIVINE 4.4.2 on Debian 10 new mornfall defect 4.4 major
#116 Divine fails to build on distributions with recent glibc and GNU toolchain new mornfall defect 4.5 major
#117 Possibility of symbolic argc + argv new mornfall feature 4.5 major
#118 libc: isatty(3) is POSIX-nonconformant new defect 4.5 major
#119 libc: make return value of isatty(3) user configurable new feature 4.5 major
#120 Divine-4.4.2 was built failed in ubuntu 20.04 new mornfall defect 4.4 major
#122 Verify properties described using LTL formulas new mornfall feature 4.4 major
#123 How to use the command line to check whether a C program satisfies the LTL nature new mornfall defect 5.0 major
Note: See TracQuery for help on using queries.