Open-Source Projects

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