Denis Efremov

  • Email:
  • Registered on: 07/20/2011
  • Last connection: 11/21/2017

Projects

Activity

Reported issues: 88

11/17/2017

12:37 pm Deductive Verification Tools for Linux Kernel Bug #8578 (New): Моделирование escape char '\e'
Описание TBD.

10/23/2017

01:10 pm Deductive Verification Tools for Linux Kernel Revision c00c0369 (opam-repository): why3: depexts: homebrew osx added
01:09 pm Deductive Verification Tools for Linux Kernel Revision 8e45eead (opam-repository): why3: depexts: automake added

09/29/2017

08:31 pm VerKer Revision 914df81f (verker): pr update
08:16 pm VerKer Revision 24648429 (verker): pr update
08:13 pm VerKer Revision e36cefb4 (verker): session update
07:49 pm VerKer Revision 78cc13f6 (verker): strncmp added

09/28/2017

12:30 pm VerKer Revision 15f27e85 (verker): spass runs

09/27/2017

05:07 pm VerKer Revision 16b3991c (verker): strncmp specification update
12:46 pm VerKer Revision 6f8c6879 (verker): upd

Also available in: Atom