General

Profile

Evgeny Novikov

Issues

Projects

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. Evgeny Novikov
04:25 PM Deductive Verification Tools for Linux Kernel Feature #9985: Fold temporary variables back
There are still temporary variables in such statements as "if (!func(...)) ...". Evgeny Novikov
04:26 PM Klever Revision dff42015: Turn off another option that makes code to look differently
Evgeny Novikov
04:17 PM Klever Revision 53627788: Avoid merging function enter/exit
Otherwise, there may be whole blocks of if statements containing
function calls. We wait for extended witnesses from ...
Evgeny Novikov
02:46 PM Klever Revision 5f0001c2: Merge branch 'master' into no-tmp-vars
Evgeny Novikov
02:46 PM Klever Feature #9973 (Closed): Visualize data reports according to top-level configuration attributes
Tests passed, so, I merged the branch to master in commit:29dfe14c2. Evgeny Novikov
12:42 PM Klever Feature #9973 (Resolved): Visualize data reports according to top-level configuration attributes
I implemented this feature in branch _top-level-data-visualization_. Now Bridge derives data type not from data itsel... Evgeny Novikov
02:10 PM Klever Revision f0323fa9: Create Celery directories just for production and after installing
packages
This solution is not great since one day we may need to create some
temporary files for development deploym...
Evgeny Novikov
12:54 PM Klever Bug #9339 (Closed): Incorrect progress report
Evgeny Novikov
12:54 PM Klever Bug #9339 (Resolved): Incorrect progress report
Ilja has fixed this issue one day in the past. The fix is in master already. Evgeny Novikov

Also available in: Atom