General

Profile

Mikhail Mandrykin

Issues

Projects

Activity

01/17/2020

06:46 PM Deductive Verification Tools for Linux Kernel Feature #9985: Fold temporary variables back
Added a special case for int casts in conditional expressions in commit:framac|918782e6. @(int)cond@ was treated diff... Mikhail Mandrykin
12:04 PM Deductive Verification Tools for Linux Kernel Feature #9985: Fold temporary variables back
Fixed in commit:framac|7d70550d. This was due to @-print-lines@ interfering with intermediate printing of nested expr... Mikhail Mandrykin
05:50 PM Deductive Verification Tools for Linux Kernel Revision 918782e6 (framac): Added special treatement for excessive casts to int in conditional expressions,
seems to be the only remaining case when the implicit cast to a constant 1/0 need not be explified before performing ... Mikhail Mandrykin
12:00 PM Deductive Verification Tools for Linux Kernel Revision 7d70550d (framac): Restored compatibility between -fold-temp-vars and -print-lines
Mikhail Mandrykin

01/15/2020

10:02 PM Deductive Verification Tools for Linux Kernel Feature #9985 (Open): Fold temporary variables back
I implemented initial support for temporary variable inlining in commit:framac|f459822c. It inlines definitions of im... Mikhail Mandrykin
09:12 PM Deductive Verification Tools for Linux Kernel Revision f459822c (framac): Initial support for temporary variable unfolding,
currently only immediately preceeding temp variables can be inlined away Mikhail Mandrykin
04:19 PM Deductive Verification Tools for Linux Kernel Revision ad566a53 (astraver): Added support for LoopEntry as well
Mikhail Mandrykin

01/14/2020

04:50 PM Deductive Verification Tools for Linux Kernel Bug #10019 (Resolved): LoopCurrent label support
Added support for implicit @LoopCurrent@ label in loops in "02cf38cd":https://forge.ispras.ru/projects/astraver/repos... Mikhail Mandrykin
04:45 PM Deductive Verification Tools for Linux Kernel Revision 02cf38cd (astraver): Added implicit LoopCurrent label
Mikhail Mandrykin

12/05/2019

03:15 PM Deductive Verification Tools for Linux Kernel Revision cfe407fa (astraver): Proper behavior renaming -- tentative!
Mikhail Mandrykin

Also available in: Atom