Evgeny Novikov
Evgeny Novikov- Email: novikov@ispras.ru
- Registered on: 06/09/2010
- Last connection: 11/19/2019
Issues
- Assigned issues: 204
- Reported issues: 1239
Projects
- CVC3 with small optimizations for BLAST (Manager, Developer, 07/25/2018)
- CPAchecker (Manager, Developer, 07/28/2018)
- BLAST (Reporter, 09/16/2011)
- LDV Tools (Manager, Developer, 03/17/2018)
- CIL (Manager, 06/06/2018)
- Linux Driver Verification (Manager, Developer, 06/09/2010)
- Linux Kernel Safety RuleDB (Manager, Developer, 10/25/2011)
- Race Hound (Manager, Developer, 11/22/2012)
- Klever (Manager, Developer RO, Project Creator, 09/03/2015)
- Clade (Manager, Developer, 02/22/2018)
- C Instrumentation Framework (Manager, Developer, Project Creator, 06/05/2012)
- Deductive Verification Tools for Linux Kernel (Manager, Reporter, Customer, Product Owner, 03/18/2019)
- Kartographer (Reporter, 11/19/2015)
- Aspectator (Manager, Developer, Project Creator, 02/27/2018)
Activity
01/17/2020
-
04:32 PM Deductive Verification Tools for Linux Kernel Feature #9985: Fold temporary variables back
- I attached an example where this issue exists.
-
- There are still temporary variables in such statements as "if (!func(...)) ...".
-
-
- Otherwise, there may be whole blocks of if statements containing
function calls. We wait for extended witnesses from ... -
-
- Tests passed, so, I merged the branch to master in commit:29dfe14c2.
-
- I implemented this feature in branch _top-level-data-visualization_. Now Bridge derives data type not from data itsel...
-
- packages
This solution is not great since one day we may need to create some
temporary files for development deploym... -
-
- Ilja has fixed this issue one day in the past. The fix is in master already.
Also available in: Atom