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.

{6} All Tickets By Milestone (Including closed) (123 matches)

A more complex example to show how to make advanced reports.

Results (101 - 123 of 123)

← 1 2

5.0 (23 matches)

Ticket	Summary	Comp	Type	Status
#63	Use refcount_ptr in DiOS.	DiOS	task	new
#30	Possibly move divine's version() out of UI.	UI	feature	new
#44	Multi-Threaded Performance Doesn't Scale	other	defect	accepted
#104	build Divine against system LLVM 13	other	feature	new
#16	Undetected double free	LART	feature	closed
#17	Generalize smt builder interface to be usable with different back-ends.	MC	feature	closed
#18	Implement string modification abstraction.	LART	task	closed
#38	Report attempts to use symbolic data if symbolic is disable	other	defect	closed
#101	Divine produces unusable memory leak reports	other	defect	closed
#3	Aggregate and garbage-collect *_log tables.	bench	feature	closed
#67	DiOS: VFS Capture does not work	other	defect	closed
#58	Build fails: Directory nonexistent	other	defect	closed
#57	Build error in divine-smt	other	defect	closed
#42	DIVINE sim crashes after only six states	sim	defect	closed
#8	Missing or spurious ODBC dependency	bench	defect	closed
#23	divine cc -c -Ipath does not work	divcc	defect	closed
#27	build filaure (fatal error: dios.h: No such file or directory)	other	defect	closed
#20	Use error output for actual errors only	UI	defect	closed
#28	Capturing symbolically linked files seem to crash DiOS	DiOS	defect	closed
#14	Allow programs to override libc symbols	DiOS	defect	closed
#5	Invalid YAML report for programs with options or stdin	UI	defect	closed
#29	Add/fix divcc --version and --help	divcc	defect	closed
#13	pass CMake pthreads check	divcc	defect	closed

← 1 2

Note: See TracReports for help on using and creating reports.