Ilja Zakharov

CPAchecker (Developer, 07/28/2018)
CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
LDV Tools (Developer, 03/17/2018)
Klever (Developer RO, 09/04/2015)
Linux Kernel Safety RuleDB (Developer, 12/29/2012)
C Instrumentation Framework (Developer, 06/05/2012)
Clade (Developer, 02/22/2018)
Linux Driver Verification (Developer, 09/27/2011)
Kartographer (Reporter, 11/19/2015)
Aspectator (Developer, 02/27/2018)

08:17 PM Klever Revision 28625f6f: Update presets for Busybox
08:17 PM Klever Revision 711f16dd: Prepare an option to include libbb dependencies as a part of applets
08:17 PM Klever Revision 40c4c37c: Minor fixes in VOG to make working Busybox and large Linux bases

08:00 PM Klever Feature #9319: Remove from user unterface options related to building programs: Also I propose to remove "Allow use of local source directories" option in "other settings" section. Evgeny, what do ...
07:59 PM Klever Feature #9319 (Resolved): Remove from user unterface options related to building programs: As we removed build stage from Klever, the following options are now useless and should be removed:
* "Build" option...
07:45 PM Klever Revision cab9bd37: Repair coverage strategy after recent refactoring
07:45 PM Klever Revision 6e51bb96: Add decomposition preset for subsystems as an example
07:45 PM Klever Revision 69840f0f: Update job.json
07:45 PM Klever Revision a8e07804: Use Clade presets instead of explicit configurations in klever-build
07:44 PM Klever Revision 16f36e76: Minor improvements in VOG

Also available in: Atom

Open-Source Projects