General

Profile

Mikhail Mandrykin

Issues

Projects

Activity

10/21/2020

09:31 PM Deductive Verification Tools for Linux Kernel Revision 0a603609 (framac): Loosed prototype compatibility check in GCC mode (using existing, but unused code)
Mikhail Mandrykin
09:30 PM Deductive Verification Tools for Linux Kernel Revision 9ccf981e (framac): Loosed prototype compatibility check in GCC mode (using existing, but unused code)
Mikhail Mandrykin
02:16 PM Deductive Verification Tools for Linux Kernel Revision 9f24f0de (framac): Added some treatment of GCC builtins `__builtin_inff` and `__builtin_nanf`: Backport from Frama-C 20.0!
Mikhail Mandrykin
02:11 PM Deductive Verification Tools for Linux Kernel Revision bc096690 (framac): Added some treatment of GCC builtins `__builtin_inff` and `__builtin_nanf`
Mikhail Mandrykin

10/18/2020

12:11 PM Deductive Verification Tools for Linux Kernel Revision b017a1b4 (framac): Added arithmetic conversions for __int128 similar to `unsigned long long`
Mikhail Mandrykin
12:11 PM Deductive Verification Tools for Linux Kernel Revision 4d59fdd0 (framac): Report (log) syntax errors as errors, not `feedback`
Mikhail Mandrykin
12:04 PM Deductive Verification Tools for Linux Kernel Revision 688024c1 (framac): Added arithmetic conversions for __int128 similar to `unsigned long long`
Mikhail Mandrykin
11:48 AM Deductive Verification Tools for Linux Kernel Revision f0e4c38b (framac): Report (log) syntax errors as errors, not `feedback`
Mikhail Mandrykin

10/16/2020

07:43 PM Deductive Verification Tools for Linux Kernel Revision 989a64d7 (framac): Added tentative support for __int128 signed and unsigned integer types
Mikhail Mandrykin
07:41 PM Deductive Verification Tools for Linux Kernel Revision 0254a9e3 (framac): Avoid failure on unhandled info node
Mikhail Mandrykin

Also available in: Atom