General

Profile

Mikhail Mandrykin

Issues

Projects

Activity

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
04:09 PM Deductive Verification Tools for Linux Kernel Revision b76c08c7 (why3): Support for Alt-Ergo 2.4.0 (cmdliner and -- arguments, new extension .ae, space before `Valid')
Mikhail Mandrykin

01/28/2021

01:38 PM Deductive Verification Tools for Linux Kernel Revision a8534b93 (framac): Fixed -more-files feature in case of both command line and file list arguments
Mikhail Mandrykin
01:37 PM Deductive Verification Tools for Linux Kernel Revision 37269fb2 (framac): Fixed -more-files feature in case of both command line and file list arguments
Mikhail Mandrykin
01:19 PM Deductive Verification Tools for Linux Kernel Revision 28456b50 (framac): Added option to read input file paths from a file (as if appended to the commad-line)
Mikhail Mandrykin
01:18 PM Deductive Verification Tools for Linux Kernel Revision 8e9394cd (framac): Added option to read input file paths from a file (as if appended to the commad-line)
Mikhail Mandrykin

01/25/2021

12:58 PM Deductive Verification Tools for Linux Kernel Revision 7fceefbb (framac): Tentative support for ARM32 and 64 machdeps
Mikhail Mandrykin

Also available in: Atom