Mikhail Mandrykin
- Login: misha_bear
- Email: mandrykin@ispras.ru
- Registered on: 09/22/2010
- Last connection: 04/29/2025
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/27/2025
- 04:46 PM Deductive Verification Tools for Linux Kernel Revision d8d22549 (astraver): Added 32-bit architecture auto-detection and a workaround for '_Float128' support in the 32-bit mode
- 03:12 PM Deductive Verification Tools for Linux Kernel Revision 723afabe (framac): Added tentative support for `__float80` and `__float128` GCC-specific types
02/25/2025
- 12:24 PM Deductive Verification Tools for Linux Kernel Revision dc442fa6 (opam-repository): Why3: Added `inotify-tools` to native dependencies for Why3
02/24/2025
- 03:19 PM Deductive Verification Tools for Linux Kernel Revision a835c8cd (opam-repository): Frama-C: Added `extra-files` field and the MD5 checksum for the auxiliary script (required since OPAM 2.3)
12/09/2024
- 05:38 PM Deductive Verification Tools for Linux Kernel Revision 40597140 (opam-repository): Updated supported OCaml version to 4.14.2
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)
02/18/2024
- 11:58 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#27)
- 11:57 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#26)
- 11:55 PM Deductive Verification Tools for Linux Kernel Revision b8c47f66 (opam-repository): Removed now deprecated AltGr-Ergo from optional dependencies of Frama-C
- 11:55 PM Deductive Verification Tools for Linux Kernel Revision 09945176 (opam-repository): Allowed OCaml 4.14.1 for Why3 build
Also available in: Atom