| Name : dtlu
| |
| Version : 0.0+20161201
| Vendor : obs://build_opensuse_org/home:jirislaby
|
| Release : 3.5
| Date : 2017-01-17 13:00:00
|
| Group : Development/Languages/Other
| Source RPM : dtlu-0.0+20161201-3.5.src.rpm
|
| Size : 0.09 MB
| |
| Packager : (none)
| |
| Summary : Dependency Tracking Linker Utils
|
Description :
The tools allows for linking only relevant objects into one LLVM binary which
can then be symbolically executed e.g. by Klee. Some functions can be replaced
by another implementation if need be.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/jirislaby:/statica/openSUSE_Tumbleweed/x86_64 |
