Overview Repositories Revisions Requests Users Attributes Meta

Revisions of klee

Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 99) 
up to 2.2+20210510 & Switch to LLVM 12
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 98) 
up to 2.2+20210510 & Switch to LLVM 12
buildservice-autocommit accepted request 876179 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 97) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 96) 
up to 2.2+20210222
buildservice-autocommit accepted request 873704 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 95) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 94) 
update patch
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 93) 
update patch
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 92) 
up to 2.2+20210216 and fix glibc 2.33
buildservice-autocommit accepted request 862477 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 91) 
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 90) 
- 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 836443 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 89) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 88) 
fisable 32 bit
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 87) 
up to 2.1+20200921
buildservice-autocommit accepted request 826246 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 86) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 85) 
up to 2.1+20200730
buildservice-autocommit accepted request 814841 from Factory Maintainer's avatar Factory Maintainer (factory-maintainer) (revision 84) 
baserev update by copy to link target
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 83) 
up to 2.1+20200606
Jiri Slaby's avatar Jiri Slaby (jirislaby) committed (revision 82) 
up to 2.1+20200606
buildservice-autocommit accepted request 798304 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 81) 
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 80) 
Update klee, switch to LLVM 10, disable assertions.
Displaying revisions 41 - 60 of 139
openSUSE Build Service is sponsored by
Places