General

Profile

Mikhail Mandrykin

Issues

Projects

Activity

06/04/2019

05:28 PM Deductive Verification Tools for Linux Kernel Revision a0191054 (astraver): Renaming Jessie pragma -> Astraver pragma (av pragma)
Mikhail Mandrykin
05:26 PM Deductive Verification Tools for Linux Kernel Revision 2d9aa01b (framac): Renaming Jessie pragma -> Astraver pragma (av pragma)
Mikhail Mandrykin
04:53 PM Deductive Verification Tools for Linux Kernel Revision 0b988541 (framac): Normalize file paths in import declrations
Mikhail Mandrykin
03:28 PM Deductive Verification Tools for Linux Kernel Revision 708c6d8a (astraver): A typo that broke reinterpretation
Mikhail Mandrykin

05/29/2019

09:03 PM Deductive Verification Tools for Linux Kernel Revision a7eb4a1c (astraver): Added support for implicit unification when a pointer logic function is declared using reads clause
Mikhail Mandrykin

05/28/2019

07:22 PM Deductive Verification Tools for Linux Kernel Revision 9f8eb767 (why3): Tentative fix for memory limit overflow in the server
Mikhail Mandrykin
06:56 PM Deductive Verification Tools for Linux Kernel Revision 41450ac0 (opam-repository): Added some transitive (due to Why3) dependencies to astraver-translator as it is not directly linked with Why3
Mikhail Mandrykin
06:51 PM Deductive Verification Tools for Linux Kernel Revision 29cd81c9 (astraver): Remove outdated dependency checks from configure script: Dune and OPAM should handle that
Mikhail Mandrykin

05/16/2019

04:17 PM Deductive Verification Tools for Linux Kernel Bug #9653 (Resolved): Frama-C (CIL) incorrectly outputs wide character literals
Fixed in "016f6757":https://forge.ispras.ru/projects/astraver/repository/framac/revisions/016f6757e9b2110714853530e7e... Mikhail Mandrykin
04:12 PM Deductive Verification Tools for Linux Kernel Revision 016f6757 (framac): Fixed printing of empty wide char literals
Mikhail Mandrykin

Also available in: Atom