If you have encountered a problem with DIVINE, please check below whether there is an active ticket for your issue. Otherwise, please login with GitHub and report your issue. Thank you.

{2} Active Tickets by Version (28 matches)

This is the planning view for the nearest milestone, broken down by component, showing open and closed tickets for each.

DiOS (6 matches)

Ticket Summary Status Type Owner
#46 Simplify stashing mechanism assigned feature Henrich Lauko
#48 Destroy symbolic formula directly when 0 reference count is reached assigned feature Henrich Lauko
#24 divcc needs native libc++ and libc++abi to build C++ programs closed defect
#37 Update libc++ and libc++abi. closed task
#41 Faults that are suppressed should not appear in the trace closed defect
#78 Sigaction in enquiry mode causes unexpected error while checking new defect

divcc (3 matches)

Ticket Summary Status Type Owner
#53 divcc: Investigate and fix coreutils' ls assigned defect blurry
#76 Divcc produces a broken gzip new defect blurrymoi
#77 divcc -v segfault new defect blurrymoi

LART (1 match)

Ticket Summary Status Type Owner
#22 Use lifetime markers to move allocas new task Henrich Lauko

MC (2 matches)

Ticket Summary Status Type Owner
#4 Implement exec --symbolic. assigned feature adamatousek
#62 Generate concrete counterexample from smt. assigned feature Henrich Lauko

other (8 matches)

Ticket Summary Status Type Owner
#73 make install failure - Divine 4.3.2 accepted defect mornfall
#60 missing __sym_sitofp assigned defect Henrich Lauko
#49 Build system should check for minimal version of Z3 assigned defect Henrich Lauko
#61 Problems in SV-COMP closed defect mornfall
#71 Divine 4.3.2 Build failures new defect mornfall
#74 make static failures - Divine 4.3.2 new defect mornfall
#75 Make failure without ninja - Divine 4.3.4 new defect mornfall
#65 Error message in symbolic mode reopened defect mornfall

sim (2 matches)

Ticket Summary Status Type Owner
#56 Showing globals does not work closed defect mornfall
#59 Make it possible for `step --over` to stop on thread switch new defect mornfall

VM (6 matches)

Ticket Summary Status Type Owner
#25 Make metadata exception map lock-free assigned feature adamatousek
#52 unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06 closed defect mornfall
#36 Assign 'types' (weak, marked) to objects, not to pointers. closed task mornfall
#43 Fix thread_local new defect mornfall
#50 Comparison of pointers in usermeta is incorrect. new defect mornfall
#54 Split global variables by compilation unit. new task mornfall
Note: See TracReports for help on using and creating reports.