General

Profile

Mikhail Mandrykin

  • Login: misha_bear
  • Email: mandrykin@ispras.ru
  • Registered on: 09/22/2010
  • Last connection: 01/20/2024

Issues

open closed Total
Assigned issues 29 29 58
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

02/19/2024

12:16 AM Deductive Verification Tools for Linux Kernel Revision e3ffaa9b (why3): Restored support for native Alt-Ergo format (still supported as of 2.5.2)
Mikhail Mandrykin

02/18/2024

11:58 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#27)
Mikhail Mandrykin
11:57 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#26)
Mikhail Mandrykin
11:55 PM Deductive Verification Tools for Linux Kernel Revision b8c47f66 (opam-repository): Removed now deprecated AltGr-Ergo from optional dependencies of Frama-C
Mikhail Mandrykin
11:55 PM Deductive Verification Tools for Linux Kernel Revision 09945176 (opam-repository): Allowed OCaml 4.14.1 for Why3 build
Mikhail Mandrykin
11:53 PM Deductive Verification Tools for Linux Kernel Revision fba7b906 (why3): Added preliminary support for Alt-Ergo 2.5, CVC5 1.1 and Z3 4.12
Mikhail Mandrykin

11/28/2022

05:18 PM Deductive Verification Tools for Linux Kernel Revision 15731e1c (framac): Compatibility with OCaml 4.14 (GADT typing fix)
Mikhail Mandrykin
04:44 PM Deductive Verification Tools for Linux Kernel Revision 25c19b15 (opam-repository): Bumped version restriction on OCaml compiler (for Why3)
Mikhail Mandrykin
04:25 PM Deductive Verification Tools for Linux Kernel Revision 2a2f3574 (opam-repository): Removed dependency on `conf-gtksourceview` as v.2 is not available and v.3 is not supported
Mikhail Mandrykin

05/17/2022

07:03 PM TSMT: Tools for bounded E-Matching Revision c5de8a95 (tsmt): Added output context setups
to avoid failures caused by PLRDF's non-local \at notation Mikhail Mandrykin

Also available in: Atom