General

Profile

Maxim Chudnov

  • Registered on: 09/11/2018
  • Last connection: 09/14/2020

Issues

Projects

Activity

09/14/2020

05:59 PM Fortress Revision 58334a81 (solver-api): fix boolectorPath
Signed-off-by: Maxim Chudnov <chudnov@ispras.ru> Maxim Chudnov
05:51 PM Fortress Revision fca4cc49 (solver-api): Merge branch 'master' into boolector-solver-integrating
Signed-off-by: Maxim Chudnov <chudnov@ispras.ru> Maxim Chudnov
03:41 PM Retrascope Task #4877 (Resolved): Разработка конвертера тестовой последовательности в VCD-формат
Maxim Chudnov
03:40 PM Retrascope Revision c0bff47c (retrascope): fix checkStyle
Signed-off-by: Maxim Chudnov <chudnov@ispras.ru> Maxim Chudnov

09/10/2020

09:35 PM Retrascope Task #4877 (Resolved): Разработка конвертера тестовой последовательности в VCD-формат
Maxim Chudnov

09/09/2020

11:10 AM Retrascope Revision 7b907f37 (retrascope): fix IntToBit
Signed-off-by: chudnovmaxim <chudnov@ispras.ru> Maxim Chudnov

09/07/2020

04:43 PM Retrascope Revision e5545c04 (retrascope): change type: int to bit
Signed-off-by: chudnovmaxim <chudnov@ispras.ru> Maxim Chudnov

08/31/2020

04:22 PM Retrascope Revision 450d5b87 (retrascope): fix point "NULL"
Signed-off-by: chudnovmaxim <chudnov@ispras.ru> Maxim Chudnov

08/19/2020

05:28 PM Retrascope Revision d4fa6fd2 (retrascope): fix checkStyle
Signed-off-by: chudnovmaxim <chudnov@ispras.ru> Maxim Chudnov

08/12/2020

04:13 PM Retrascope Bug #10462: Разработка VCD printer. Тип переменной "NULL"
Maxim Chudnov wrote:
> При проверке тестов Verilog, один тест(fifo_mod) не проходит. Ошибка: тип переменной - null.
...
Maxim Chudnov

Also available in: Atom