Mikhail Mandrykin

  • Email:
  • Registered on: 09/22/2010
  • Last connection: 05/29/2017

Projects

Activity

Reported issues: 8

09/06/2017

06:42 pm Deductive Verification Tools for Linux Kernel Revision 99564a91 (jessie2): Fixed "AltErgo -Em" prover config in Makefile
06:30 pm Deductive Verification Tools for Linux Kernel Revision 797fd5ac (jessie2): Reverted Alt-Ergo -Em alternative prover

06/30/2017

06:24 pm Deductive Verification Tools for Linux Kernel Revision a12bfd9c (framac): Ignored variadic macros in annotations (not supported bt -traditional...
06:23 pm Deductive Verification Tools for Linux Kernel Revision e4a31bcc (jessie2): Added activation of Frama-C C11 option
02:16 pm Deductive Verification Tools for Linux Kernel Revision 75f84e1d (opam-repository): Changed criterion for Coq tactic in Why3
01:59 pm Deductive Verification Tools for Linux Kernel Revision 866f41b5 (opam-repository): Some improvements to OPAM package descriptions: conditional ...

06/29/2017

11:39 pm Deductive Verification Tools for Linux Kernel Revision 8ea91df6 (opam-repository): And another
11:35 pm Deductive Verification Tools for Linux Kernel Revision 6d7de5ab (why3): Added automake --add-missing wrapper for run by opam
11:34 pm Deductive Verification Tools for Linux Kernel Revision d05807f6 (opam-repository): Yet another try
11:24 pm Deductive Verification Tools for Linux Kernel Revision 73e68e64 (opam-repository): Really fixed

Also available in: Atom