General

Profile

Ilya Shchepetkov

Issues

Projects

Activity

11/11/2019

07:07 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Сборка_модели_и_воспроизведение_доказательств (#1)
Ilya Shchepetkov

10/15/2019

02:02 PM C Instrumentation Framework Revision 2a337dd5: Add support for macOS Catalina
But for now it requires macOS Mojave SDK to be installed Ilya Shchepetkov

10/14/2019

07:37 PM Clade Revision ab331939: Change version to 3.2.4
Ilya Shchepetkov
07:25 PM Clade Revision 958202ce: Add missing argument passings
Ilya Shchepetkov
03:14 PM Clade Revision 47dee8aa: Do not load full CmdGraph to obtain a single command if its type is specified
Ilya Shchepetkov
03:08 PM Clade Revision 89261791: Use "cpu_count" option in Info to limit multiprocessing
Ilya Shchepetkov

10/03/2019

05:45 PM Clade Revision ff2e7fda: Fix getting Clade version from git
There must be .git folder near its sources, to avoid situations where Clade distribution is located inside some othe... Ilya Shchepetkov

09/25/2019

06:47 PM Clade Revision 56b32b64: Change version to 3.2.2
Ilya Shchepetkov
06:41 PM Clade Revision 5f299bec: Add support for case-sensitive paths in Linux
Ilya Shchepetkov
05:00 PM Clade Revision 8676d3a4: Use codecs.open() only if there is decoding error
codecs.open() is slower then open() Ilya Shchepetkov

Also available in: Atom