General

Profile

Denis Efremov

Issues

Projects

Activity

02/05/2018

02:51 PM Verification Tool Supports Revision 280bb038: count_specifications: remove debug info

12/20/2017

10:50 AM Verification Tool Supports Revision 472a3cd3: fix

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/21/2017

12:50 PM Deductive Verification Tools for Linux Kernel Bug #8452 (New): ocamlscript в зависимостях сборки jessie2
ocamlscript не указан как зависимость при сборке jessie2, но используется в нём. Из-за этого сборка падает, если паке...

Also available in: Atom