Timeline
06/06/2019:
- 22:10 Ticket #64 (Integrate Ballista into DiOS' testsuite.) created by
- Ballista provides a test suite for exceptional cases in functions and …
06/02/2019:
- 16:19 Ticket #63 (Use refcount_ptr in DiOS.) created by
- _PThread implements its reference counting. - Replace it with …
06/01/2019:
05/24/2019:
05/22/2019:
- 13:51 Ticket #61 (Problems in SV-COMP) closed by
- invalid: You still have the same problem. In DIVINE it is not possible to print …
- 09:29 Ticket #61 (Problems in SV-COMP) reopened by
- I made some changes after listening to your suggestions. This is my …
05/21/2019:
- 10:36 Ticket #61 (Problems in SV-COMP) closed by
- invalid: Hi, to use sv-comp nondet functions you need to run divine with the …
- 08:41 Ticket #61 (Problems in SV-COMP) created by
- I have some doubts about the use of DIVINE4 software. 1. In C++ …
05/17/2019:
- 14:38 Ticket #60 (missing __sym_sitofp) created by
- While for example in divine 4.1.6+43d9a505081f was able to convert int …
Note: See TracTimeline
for information about the timeline view.