- Email: firstname.lastname@example.org
- Registered on: 07/11/2012
- Last connection: 10/09/2020
- Linux Driver Verification (Developer, 07/11/2012)
- Linux Kernel Safety RuleDB (Developer, 07/11/2012)
- C Instrumentation Framework (Developer, 12/29/2012)
- Klever (Developer RO, 09/04/2015)
- Kartographer (Manager, Developer, 11/18/2015)
- MicroTESK for PowerPC (Developer, 10/21/2016)
- BLAST (Reporter, 08/20/2012)
- Clade (Manager, Developer, Project Creator, 02/22/2018)
- Aspectator (Developer, 02/27/2018)
- LDV Tools (Developer, 03/17/2018)
- AstraVer Toolset (Manager, Developer, Project Creator, 04/26/2018)
- Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, Project Creator, 04/26/2018)
- Дополнительные материалы к монографии (Manager, Developer, Project Creator, 04/28/2018)
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- CPAchecker (Developer, 07/28/2018)
- 12:14 PM Klever Feature #10517: Use Command-S to save file in the online editor on macOS
- Works as expected - thanks!
- 04:50 PM Klever Feature #10517 (Closed): Use Command-S to save file in the online editor on macOS
- On macOS, Command key is often used instead of Control key: Command-S to save file (instead of Control-S), Command-F ...
- 04:17 PM Klever Feature #10516 (Resolved): Filter CC options passed to CIF using Clade
- The feature is implemented in the filter-cif-opts branch and is currently being tested on a full-scale linux 5.5 launch.
- 04:15 PM Klever Feature #10516 (Closed): Filter CC options passed to CIF using Clade
- Currently Klever filters options of CC commands before they are passed further to CIF. It employs the "black list" me...
- 03:21 PM Klever Revision bb66e16f: Escape quotes in filtered opts
- 03:58 PM Klever Revision 97748ffc: Filter options for CIF using Clade
- 12:50 PM Klever Revision 4c9d1d12: Remove empty directories
- 09:42 PM Klever Revision df617dfc: Dump the deploy info only if build base was found
- 09:34 PM Klever Feature #9356 (Resolved): Do not deploy the same build bases
- I have added the following changes to the same deploy-build-bases branch:
* Now data transferred by rsync is compr...
- 09:20 PM Klever Revision 4e0444e5: Add ability to specify versions of Build Bases
- But by default the version is calculated automatically,
so this ability is optional
Also available in: Atom