General

Profile

Evgeny Novikov

Issues

Projects

Activity

07/14/2020

09:16 PM Klever Bug #10431: Missing verifier input files for lightweight verification results
BTW, Pavel found out that the data is stored by Bridge and one can get it through downloading files for competition. ... Evgeny Novikov
09:09 PM Klever Bug #10431 (New): Missing verifier input files for lightweight verification results
Before Bridge kept verifier input files for lightweight verification results if the corresponding option was switched... Evgeny Novikov
07:44 PM Klever Revision 9c1d8e5a: Merge branch 'master' into emg-device-table
Evgeny Novikov

07/11/2020

10:55 PM Klever Revision 9ae4aa2e: Add one more function to "supported" function list
Evgeny Novikov
05:49 PM Klever Revision 21652059: Add ignored empty directory to avoid documentation build warnings
Evgeny Novikov

07/10/2020

05:06 PM Klever Revision 36bf580c: Add new models for IO memory mapping functions
Extra test cases are not necessary since we test just agains Linux
3.14.79.
Evgeny Novikov
04:12 PM Klever Revision cc33c3f3: Take into account changed API (dma_map_single_attrs())
This change does not need extra test cases since they are just for Linux
3.14.79.
Evgeny Novikov
12:11 PM Klever Revision 6daebd03: Switch off option enabling pthread_create_N due to many false alarms
Evgeny Novikov

07/09/2020

07:14 PM Klever CPAchecker-1.8-svn-32886-unix.tar.xz
Evgeny Novikov
06:05 PM Klever Revision 1a56865f: Switch to CPALockator-combat-mode:32886
Evgeny Novikov

Also available in: Atom