General

Profile

Denis Efremov

Issues

Projects

Activity

04/16/2019

05:11 PM VerKer - Verification of Linux Kernel Library Functions Bug #9547 (Closed): Сломались тесты
Denis Efremov
05:11 PM VerKer - Verification of Linux Kernel Library Functions Bug #9547 (Resolved): Сломались тесты
Исправлены. Denis Efremov
05:10 PM VerKer - Verification of Linux Kernel Library Functions Bug #9548 (Closed): Добавить loop assigns во все примеры
Denis Efremov
05:10 PM VerKer - Verification of Linux Kernel Library Functions Bug #9548 (Resolved): Добавить loop assigns во все примеры
Сделано. Denis Efremov
04:50 PM Deductive Verification Tools for Linux Kernel Bug #9600 (New): Why3Ide: "Fastest" button broken
The "Fastest" button is not working. Denis Efremov

04/15/2019

08:10 PM Deductive Verification Tools for Linux Kernel Feature #9598 (New): coq: driver: rewrite && to -> in inductive defitions; use let
Why3 generates definition for Count2 predicate:... Denis Efremov
03:51 PM Deductive Verification Tools for Linux Kernel Bug #8450 (Closed): официальная инструкция сборки устарела
Denis Efremov
03:47 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#20)
coq, coqide installation Denis Efremov
03:37 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#19)
Denis Efremov
03:35 PM Deductive Verification Tools for Linux Kernel Wiki edit: Wiki (#18)
clarification on Frama-C fork Denis Efremov

Also available in: Atom