Nikita Komarov

  • Email:
  • Registered on: 11/22/2011
  • Last connection: 05/11/2017

Projects

Activity

Reported issues: 5

05/15/2017

04:45 pm Deductive Verification Tools for Linux Kernel Revision 2a2f10d4 (qa): Replay script updated.
04:32 pm Deductive Verification Tools for Linux Kernel Revision 6707773f (qa): Replay script updated.
04:09 pm Deductive Verification Tools for Linux Kernel Revision b03bf92e (qa): Replay script updated for testing purposes.

01/18/2017

07:21 pm Deductive Verification Tools for Linux Kernel Revision d9655fde (qa): Replay script added.

03/13/2015

02:45 pm Deductive Verification Tools for Linux Kernel Revision d5bb2904 (qa): Merge branch 'feature-json-tests-review' into feature-json-tests
Conflicts:
test_json.ml

03/10/2015

06:57 pm Deductive Verification Tools for Linux Kernel Revision 09b33172 (qa): Old tests converted to new format; bug fixed.
05:11 pm Deductive Verification Tools for Linux Kernel Revision 09aeeaee (qa): New testing script using metadata in JSON format.

02/13/2015

06:32 pm Deductive Verification Tools for Linux Kernel Revision 0c2675a8 (jessie2): Added prototypes of some standard C library functions as an addition...

08/18/2014

07:03 pm Verification Tool Supports Revision 12e6741e: Typo fix

08/15/2014

04:00 pm Verification Tool Supports Revision 7d8084f0: Proven functions list updated.

Also available in: Atom