Timeline
12/18/2018:
- 23:28 Ticket #8 (Missing or spurious ODBC dependency) closed by
- worksforme: Probably a cmake glitch, or a case of stale cache (odbc headers …
- 22:51 Ticket #26 (The weakmem runtime leaks memory) created by
- Not super critical, since we can run relaxed-memory checks and leak …
- 22:48 Ticket #1 (Fix memory leaks in DiOS) closed by
- fixed: The kernel and libc are now virtually leak-free. The only remaining …
12/17/2018:
- 18:24 Ticket #25 (Make metadata exception map lock-free) created by
- To date, the metadata exception map is implemented using an …
- 15:56 Ticket #24 (divcc needs native libc++ and libc++abi to build C++ programs) created by
- We may want to ship native versions of those ourselves, since many …
- 11:40 Ticket #23 (divine cc -c -Ipath does not work) created by
- Seems to work fine without -c though.
12/14/2018:
- 15:00 Ticket #21 (Implement clock_gettime) closed by
- fixed: I have committed clock_gettime and a few related functions, should be …
12/13/2018:
- 13:57 Ticket #22 (Use lifetime markers to move allocas) created by
- - kill allocas with VM obj free
- 13:21 Ticket #2 (Lazy loading / linking of DiOS bitcode.) closed by
- fixed
- 12:47 Ticket #21 (Implement clock_gettime) created by
- I'm trying to verify the implementation of my C++14 software …
12/10/2018:
- 17:08 Ticket #20 (Use error output for actual errors only) closed by
- invalid: This is not how stdout/stderr works. In divine, like in many other …
- 16:05 Ticket #20 (Use error output for actual errors only) created by
- When there is no error, print the output to STDOUT instead of STDERR. …
12/06/2018:
- 13:15 Ticket #19 (SYM: Spurious errors due to infeasible explicit values) created by
- It is possible to create programs manifesting not only division by 0, …
12/04/2018:
- 15:32 Ticket #18 (Implement string modification abstraction.) created by
- 15:30 Ticket #17 (Generalize smt builder interface to be usable with different back-ends.) created by
- 14:57 Ticket #9 (Problem with cast form abstract int to abstract pointer.) closed by
- fixed
- 14:56 Ticket #15 (Implement strcmp for mstring domain.) closed by
- fixed
- 14:55 Ticket #11 (Implement string abstraction with 'strlen' function.) closed by
- fixed
- 09:40 Ticket #12 (Have both versions of strerror_r) closed by
- fixed
11/20/2018:
- 09:48 Ticket #16 (Undetected double free) created by
- In current divine, we are not able to detect possible double free …
11/19/2018:
- 14:10 Ticket #15 (Implement strcmp for mstring domain.) created by
- Also, inspect equality check on mstring domain. It should be …
Note: See TracTimeline
for information about the timeline view.