Timeline
07/01/2019:
- 21:41 Ticket #70 (libpng tests in divine hit op != OpCode::Call in setjmp) created by
- built zlib with dioscc (https://zlib.net/zlib-1.2.11.tar.gz) built …
06/28/2019:
- 11:48 Ticket #69 (Fix linking with lld) created by
- divcc is set to default to system ld for now
- 11:34 Ticket #58 (Build fails: Directory nonexistent) closed by
- fixed: I assume this got fixed by the following patch: […]
- 11:22 Ticket #68 (sysconf macros should be inferred via hostabi) created by
- 11:20 Ticket #37 (Update libc++ and libc++abi.) closed by
- fixed
- 11:19 Ticket #24 (divcc needs native libc++ and libc++abi to build C++ programs) closed by
- fixed
06/11/2019:
- 16:58 Ticket #67 (DiOS: VFS Capture does not work) created by
- Let's have a program, du.cpp: […] Now, we want to run this …
- 11:18 Ticket #66 (Re-write addSection in terms of llvm code.) created by
- Use the ELF reading/writing code that is in llvm instead of objcopy.
- 07:42 Ticket #65 (Error message in symbolic mode) reopened by
- I put the report of the divine4 output in the cloud. …
06/10/2019:
- 08:21 Ticket #65 (Error message in symbolic mode) closed by
- invalid: A program which gives the same error as you see would be the …
- 05:14 Ticket #65 (Error message in symbolic mode) created by
- In the symbolic mode using the divine, I have encountered the …
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:
Note: See TracTimeline
for information about the timeline view.