Custom Query (15 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (4 matches)

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

Status: assigned (2 matches)

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

Status: new (9 matches)

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