General

Profile

Mikhail Mandrykin

Issues

Projects

Activity

08/16/2019

05:36 PM Crude_slicer Revision a1cd10fc (crude_slicer): Fixes
Mikhail Mandrykin
04:32 PM Crude_slicer Revision fc034bc6 (crude_slicer): Added weakening for conditions and nondet values
Mikhail Mandrykin
04:28 PM Crude_slicer Revision 0a26a5eb (crude_slicer): Revamped joining to be more precise under ites and lets
Mikhail Mandrykin

08/15/2019

03:35 PM Crude_slicer Revision fc19175c (crude_slicer): Started implementing new (soud(!)) approach to nondets in summaries:
Added stmt to Let-env Mikhail Mandrykin

08/13/2019

07:51 PM Crude_slicer Revision 5cd56042 (crude_slicer): Fix: cleanup symbolic conditions cache after every fixpoint computation
Mikhail Mandrykin

07/25/2019

04:16 PM Deductive Verification Tools for Linux Kernel Revision 2eb5c026 (why3): Added suppport for CVC4 1.7 (no significant changes)
Mikhail Mandrykin

07/17/2019

11:14 AM Deductive Verification Tools for Linux Kernel Revision 6d0b9380 (astraver): Fixed name collision on case-insensitive file systmes by renaming the plugin module to AstraVer_plugin
Mikhail Mandrykin

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

Also available in: Atom