Custom Query (32 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (4 matches)

Ticket Summary Owner Type Priority Component Resolution
#105 make: Move any compilation out of make install mornfall feature major other
#106 make: CMake does not set PYTHON_INTERP during libcxx configuration Vladimír Štill defect major other
#94 sim: Signed integer value is shown as unsigned. Vladimír Štill defect major sim
#95 sim: Integers < -5 appearing in dbg.value are discarded. mornfall defect major sim

Status: assigned (2 matches)

Ticket Summary Owner Type Priority Component Resolution
#107 unreachable executed: unknown binary operation fp.leq Henrich Lauko defect minor DiOS
#25 Make metadata exception map lock-free adamatousek feature major VM

Status: closed (17 matches)

Ticket Summary Owner Type Priority Component Resolution
#96 DiOS: Passing the debug:faultcfg option results in null pointer dereference in kernel Vladimír Štill defect major DiOS fixed
#97 DiOS: Passing the debug:mainargs option results in config error in kernel Vladimír Štill defect major DiOS fixed
#100 libc: getline implementation incorrectly checks the failure of realloc defect major DiOS fixed
#103 libc: strcpy and strncpy do not check if the strings overlap mornfall defect major DiOS fixed
#108 symbolic: __VERIFIER_nondet_(u)int() causes a memory leak defect major DiOS duplicate
#109 libc: calloc forgets to set errno whenever it fails defect major DiOS fixed
#110 DiOS: -o {stdout|stderr}:notrace results in a null pointer dereference mornfall defect major DiOS fixed
#111 libc: zero size allocations are handled improperly Henrich Lauko defect major DiOS fixed
#112 libc: perror behaves incorrectly when its input is an empty string defect minor DiOS fixed
#70 libpng tests in divine hit op != OpCode::Call in setjmp blurrymoi defect major divcc fixed
#75 cmake: Build of 4.4.2 fails due to missing target dependencies mornfall defect major other fixed
#98 testsuite: Testsuite does not use clang from Divine's toolchain Vladimír Štill defect major other fixed
#99 The '+' character in nightly tars breaks some tests mornfall defect major other fixed
#102 VFS: DiOS fails to boot when capturing an absolute path mornfall defect major other duplicate
#114 divine check fails with "cannot enter kernel mode here" mornfall defect major other worksforme
#115 make says "missing separator" on CentOS 7 mornfall defect major other worksforme
#85 testsuite: Some simulator tests fail consistently on Fedora mornfall defect major sim fixed

Status: new (9 matches)

Ticket Summary Owner Type Priority Component Resolution
#64 Integrate Ballista into DiOS' testsuite. task major DiOS
#68 sysconf macros should be inferred via hostabi task major DiOS
#66 Re-write addSection in terms of llvm code. blurrymoi task major divcc
#69 Fix linking with lld blurrymoi defect major divcc
#113 make install fails for DIVINE 4.4.2 on Debian 10 mornfall defect major other
#120 Divine-4.4.2 was built failed in ubuntu 20.04 mornfall defect major other
#121 Where can I get the extract-llvm from? mornfall feature trivial other
#122 Verify properties described using LTL formulas mornfall feature major other
#55 Store snapshots in 2 layers. mornfall task major VM
Note: See TracQuery for help on using queries.