Ilja Zakharov

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

06:28 PM Klever Revision e6c53122: Remove deprecated option: Ilja Zakharov
06:27 PM Klever Revision a25fb10b: Update VerifierCloud deployment configuration example: Ilja Zakharov
04:11 PM Klever Revision 38be08cc: Update VerifierCloud scheduler default configuration: Ilja Zakharov
04:05 PM Klever Feature #9507 (Resolved): Update VerifierCloud scheduler to the recent API: Implemented in verifiercloud-fix. Ilja Zakharov
03:59 PM Klever Revision 817e0143: Fix processing error messages from scheduler for generated tasks: Ilja Zakharov
03:47 PM Klever Revision a51c6046: Update VerifierCloud scheduler to the newest version: Ilja Zakharov
01:00 PM Klever Revision 010a0bb5: Fix minor issues with solve task wrapper: Ilja Zakharov
12:59 PM Klever Revision dce60896: Do not use double underscored methods - debugger fails to show their values: Ilja Zakharov

04:40 PM Klever Revision 1aa71b28: Add method to fetch VerifierCloud user credentials: Ilja Zakharov
04:40 PM Klever Revision 4a3e9f55: Implement support of messages of a new format with the scheduler type: Ilja Zakharov

Also available in: Atom

Open-Source Projects