- Login: joker
- Email: firstname.lastname@example.org
- Registered on: 06/09/2010
- Last connection: 09/04/2021
|Deductive Verification Tools for Linux Kernel||Manager, Developer||03/18/2019|
|C Instrumentation Framework||Manager, Developer RO, Project Creator||06/05/2012|
|Aspectator||Manager, Developer, Developer RO, Project Creator||02/27/2018|
|Race Hound||Manager, Developer||11/22/2012|
|Klever||Manager, Developer RO, Project Creator||09/03/2015|
|Linux Driver Verification||Manager, Developer||06/09/2010|
|LDV Tools||Manager, Developer||03/17/2018|
|CVC3 with small optimizations for BLAST||Manager, Developer||07/25/2018|
|Linux Kernel Safety RuleDB||Manager, Developer||10/25/2011|
- 09:37 PM Klever Revision 4ab42986: Merge branch 'master' into emg-improve-decomposition-specs
- 06:30 PM Klever Feature #10943 (Closed): Add ability to use current job decision configuration by default
- Awesome! After some improvements everything begins to work as expected, so, I merged the branch to master in commit:5...
- 06:24 PM Klever Revision 51e01c2d: Merge branch 'bridge-10943'
- 09:36 AM Klever Bug #10919 (Closed): Fail if the input specification has as a recursive unused subprocess action
- Tests passed, so, I merged the branch to master in commit:0af09ef5d.
- 06:11 PM Klever Revision 0af09ef5: Merge branch 'master' into fix-emg-errmsg
- 06:07 PM Klever Feature #10946 (New): Provide users with graphical representation of environment models
- EMG can draw graphs for generated environment models that can clarify them and help users during development. Let's t...
- 05:50 PM Klever Feature #9795 (Closed): Highlight all occurrences of pointed identifiers
- Perfect! I merged the given branch to master in commit:4c410d3a9.
- 05:48 PM Klever Revision 4c410d3a: Print code coverage navigation buttons together with highlight one
- This is the for Safes and Unknowns already.
- 05:40 PM Klever Feature #10945 (New): Allow to add savepoints for the main process
- Nowadays EMG forbids adding savepoints to the main process that causes users to manually move content of that process...
- 05:11 PM Klever Feature #10944 (New): Allocate external data for platform_device.dev.platform_data
- After fixing #10930 we started to get quite many false alarms due to fixed allocation of memory for _platform_device_...
Also available in: Atom