Overview Repositories Revisions Requests Users Attributes Meta

Revisions of klee-uclibc

buildservice-autocommit accepted request 621055 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 28) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 27) 
switch to LLVM 6
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 26) 
revert
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 25) 
llvm 5
buildservice-autocommit accepted request 560177 from Martin Pluskal's avatar Martin Pluskal (pluskalm) (revision 24) 
baserev update by copy to link target
Martin Pluskal's avatar Martin Pluskal (pluskalm) accepted request 560087 from Dominique Leuenberger's avatar Dominique Leuenberger (dimstar) (revision 23) 
- Revert llvm_version back to 4: klee is not ready yet to build
  using llvm5.
buildservice-autocommit accepted request 558570 from Martin Pluskal's avatar Martin Pluskal (pluskalm) (revision 22) 
baserev update by copy to link target
Martin Pluskal's avatar Martin Pluskal (pluskalm) accepted request 558565 from Dominique Leuenberger's avatar Dominique Leuenberger (dimstar) (revision 21) 
- Change llvm_Version to 5, following the switch of LLVM to version
  5 in Tumbleweed.
buildservice-autocommit accepted request 508052 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 20) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 19) 
soften py dep
buildservice-autocommit accepted request 502371 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 18) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 17) 
add provides according to llvm ver
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 16) 
fixes
buildservice-autocommit accepted request 492739 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 15) 
baserev update by copy to link target
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 483740 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 14) 
initialized devel package after accepting 483740
Jiri Slaby's avatar Jiri Slaby (jirislaby) accepted request 484081 from Jan Engelhardt's avatar Jan Engelhardt (jengelh) (revision 13) 
- Resolve some orthographic errors.
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 12) 
fix license
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 11) 
fix files
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 10) 
up to 20170324
Jiri Slaby's avatar Jiri Slaby (jirislaby) accepted request 482339 from Jan Engelhardt's avatar Jan Engelhardt (jengelh) (revision 9) 
- Avoid unnecessary %__-type macro indirections.
Displaying revisions 41 - 60 of 68
openSUSE Build Service is sponsored by
Places