Overview Repositories Revisions Requests Users Attributes Meta

Revisions of klee-uclibc

buildservice-autocommit accepted request 862514 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 48) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) accepted request 862450 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 47) 
- Update klee to version 2.2, switch to LLVM 11.
- Go with regular release for now, but leave _service files intact.
buildservice-autocommit accepted request 836442 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 46) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 45) 
up to 1.0.0+git.20200711
buildservice-autocommit accepted request 798303 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 44) 
baserev update by copy to link target
Martin Pluskal's avatar Martin Pluskal (pluskalm) accepted request 798002 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 43) 
Update klee, switch to LLVM 10, disable assertions.
buildservice-autocommit accepted request 745087 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 42) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 41) 
llvm 9
buildservice-autocommit accepted request 734973 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 40) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 39) 
up to 20190816
buildservice-autocommit accepted request 725228 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 38) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) accepted request 725155 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 37) 
- The build requires ncurses-devel, and this will soon no longer be transitively included via llvm-devel.
buildservice-autocommit accepted request 714129 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 36) 
baserev update by copy to link target
buildservice-autocommit accepted request 653716 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 34) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 33) 
up to 20180926 & switch to llvm7
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 32) 
up to 20180926 & switch to llvm7
buildservice-autocommit accepted request 632734 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 31) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 30) 
up to 1.0.0+git.20171011
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 29) 
up to 1.0.0+git.20171011
Displaying revisions 21 - 40 of 68
openSUSE Build Service is sponsored by
Places