General

Profile

Mikhail Mandrykin

  • Login: misha_bear
  • Email: mandrykin@ispras.ru
  • Registered on: 09/22/2010
  • Last connection: 05/02/2021

Issues

open closed Total
Assigned issues 29 28 57
Reported issues 5 3 8

Projects

Project Roles Registered on
AstraVer Toolset Manager, Developer, Project Creator 04/26/2018
Deductive Verification Tools for Linux Kernel Manager, Developer, Project Creator 09/02/2014
Дополнительные материалы к монографии Manager, Developer, Project Creator 04/28/2018
Klever Reporter 09/04/2015
Linux Driver Verification Developer, Project Creator 09/22/2010
BLAST Manager 09/16/2011
Crude_slicer Manager, Developer, Project Creator 10/31/2017
LDV Tools Developer, Project Creator 03/17/2018
CPAchecker Developer, Project Creator 07/28/2018
CVC3 with small optimizations for BLAST Developer, Project Creator 07/25/2018
Linux Kernel Safety RuleDB Developer 04/25/2012
Imperative HOL examples Manager, Developer, Project Creator 10/16/2019
TSMT: Tools for bounded E-Matching Manager, Developer, Project Creator 08/19/2019
VerKer - Verification of Linux Kernel Library Functions Developer, Reporter 05/21/2017

Activity

04/16/2021

04:58 PM Deductive Verification Tools for Linux Kernel Revision 36de4618 (framac): Added line directives for labels and block locals
Mikhail Mandrykin
02:24 PM Deductive Verification Tools for Linux Kernel Revision 2c7023bd (framac): WIP: A hack to avoid whitespace at ends of lines
by waiting for non-whitespace symbols while ignoring all incoming indent
As a side-effect this also removes some ext...
Mikhail Mandrykin

04/15/2021

10:19 PM Deductive Verification Tools for Linux Kernel Revision da766362 (framac): WIP: A hack to avoid whitespace at ends of lines
by waiting for non-whitespace symbols while ignoring all incoming indent
As a side-effect this also removes some ext...
Mikhail Mandrykin
03:18 PM Deductive Verification Tools for Linux Kernel Revision bbcf7d18 (framac): Fixed excessive line directives for hidden (folded) temp var assignments
Mikhail Mandrykin

03/05/2021

07:28 PM Deductive Verification Tools for Linux Kernel Revision 18d3be82 (framac): Disabled terribly inefficient logic label/var scoping for -no-annot mode
Mikhail Mandrykin
07:27 PM Deductive Verification Tools for Linux Kernel Revision c226d7ba (framac): Fixed blunt printing of file paths in -more-files option
Mikhail Mandrykin

03/02/2021

04:03 PM Deductive Verification Tools for Linux Kernel Revision 9b3337cd (framac): Register variable declarations: Restore old execution fastpath in Mergecil when vstorage has not changed
Mikhail Mandrykin

02/26/2021

11:16 AM Deductive Verification Tools for Linux Kernel Revision e3146cae (framac): Follow-up to the previous fix: regression in the returned statement too
Mikhail Mandrykin

02/25/2021

07:52 PM Deductive Verification Tools for Linux Kernel Revision c392c5c5 (framac): Fixed merge regression in Cabs2cil, doStatement, RETURN
Mikhail Mandrykin

02/09/2021

04:24 PM Deductive Verification Tools for Linux Kernel Revision 8dea43c1 (why3): Support for Alt-Ergo 2.4.0 (cmdliner and -- arguments, new extension .ae, space before `Valid')
Mikhail Mandrykin

Also available in: Atom