General

Profile

Denis Efremov

Issues

Projects

Activity

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