General

Profile

Evgeny Novikov

Issues

Projects

Activity

05/20/2019

07:41 AM Klever Feature #9348: Request for changes in jobs and tasks just after receiving corresponding notifications
I renamed branch to _bridge-3.0_. Evgeny Novikov

05/19/2019

03:04 PM C Instrumentation Framework Revision 5562634f: Update Aspectator and add test case
Evgeny Novikov
03:03 PM Aspectator Revision e71b7a23: Fix processing of pointers on typedefs on pointers
Fixes https://forge.ispras.ru/issues/5323. Evgeny Novikov
12:14 PM C Instrumentation Framework Bug #5323: Incorrect type for pointer in ___del_dma_pool
After switching to new CIL from Frama-C (#6629) this issue became crucial since new CIL fails on parsing this bad cod... Evgeny Novikov
12:12 PM Klever Bug #6629 (Closed): Used CIL is outdated
I do not know why Forge changed the priority for this issue itself. Also, I can not return the proper priority back. ... Evgeny Novikov
12:11 PM Klever Bug #6629 (Open): Used CIL is outdated
Evgeny Novikov
12:10 PM Klever Bug #6775: Well known CIL issues
Perhaps the normal priority automatically changed the priority of the blocking issue. Evgeny Novikov
12:03 PM Klever Feature #9348: Request for changes in jobs and tasks just after receiving corresponding notifications
Unfortunately, the current implementation of interconnections between Bridge, schedulers and workers is very large an... Evgeny Novikov
11:50 AM Klever Revision 775939d6: Implement reading from message queue
Evgeny Novikov
11:48 AM Klever Revision c9bd4796: Merge the same checks
Evgeny Novikov

Also available in: Atom