General

Profile

Denis Efremov

Issues

Projects

Activity

08/01/2018

04:02 PM Verification Tool Supports Bug #7818: graph: web: vis.js и viz.js
https://github.com/dagrejs/dagre/wiki
https://github.com/dagrejs/dagre-d3/wiki
http://js.cytoscape.org/

07/07/2018

04:40 PM VerKer - Verification of Linux Kernel Library Functions Revision 95aa586b (verker): protocols: verification protocols update
01:46 PM VerKer - Verification of Linux Kernel Library Functions Revision ed84d09c (verker): travis: wget - don't download solvers if they are in cache
01:46 PM VerKer - Verification of Linux Kernel Library Functions Revision 33b8bb9b (verker): travis: add cvc-1.5 solver
01:46 PM VerKer - Verification of Linux Kernel Library Functions Revision c9a416ee (verker): travis: make cvc binary executable
01:45 PM VerKer - Verification of Linux Kernel Library Functions Revision 657f560b (verker): makefile: add '-c11' to frama-c arguments

07/03/2018

04:24 PM VerKer - Verification of Linux Kernel Library Functions Revision 161aaf5f (verker): makefile: eacsl intergration with proved programms

07/01/2018

03:49 PM VerKer - Verification of Linux Kernel Library Functions Revision 528687a7 (verker): wholetree: update main funcions

06/25/2018

11:21 AM VerKer - Verification of Linux Kernel Library Functions Revision ffaee09a (verker): protocols: verification protocols update
10:40 AM VerKer - Verification of Linux Kernel Library Functions Revision aad31357 (verker): protocols: verification protocols for proved funcs

Also available in: Atom