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
#29	Add/fix divcc --version and --help	divcc	defect	closed
#30	Possibly move divine's version() out of UI.	UI	feature	new
#31	Capture 'mount points' are confusing.	UI	task	new
#32	Allow usermeta layers to be weak (debug).	VM	feature	new
#33	Return the list of leaked objects back to userspace.	VM	feature	new
#34	Add _VM_T_StackTrace to __vm_trace.	VM	feature	new
#35	Track origins of memory objects.	DiOS	feature	new
#38	Report attempts to use symbolic data if symbolic is disable	other	defect	closed
#39	Hunt down libc functions that should be defined weak	DiOS	task	assigned
#40	Error with _SYM and array indexing (worked in 4.1.6)	LART	feature	new
#42	DIVINE sim crashes after only six states	sim	defect	closed
#44	Multi-Threaded Performance Doesn't Scale	other	defect	accepted
#45	Add support for __atomic_* libcalls	DiOS	defect	new
#47	Benchmark abstraction cleanup influence	DiOS	task	assigned
#51	Write a style guide.	other	task	new
#57	Build error in divine-smt	other	defect	closed
#58	Build fails: Directory nonexistent	other	defect	closed
#63	Use refcount_ptr in DiOS.	DiOS	task	new
#67	DiOS: VFS Capture does not work	other	defect	closed
#72	Termination testing our data structures	other	defect	assigned
#101	Divine produces unusable memory leak reports	other	defect	closed
#104	build Divine against system LLVM 13	other	feature	new
#123	How to use the command line to check whether a C program satisfies the LTL nature	other	defect	new

← 1 2

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