Project

General

Profile

News

Verilog Translator: Verilog Translator 0.1.1 released.

Added by Sergey Smolov 6 months ago

Verilog Translator (VeriTrans) is an ANTLR-based Verilog front-end that generates an internal
representation of the target description. The representation is based on an Abstract Syntax Tree
(AST) formalism and on Fortress library objects for expressions representation.

The tool can be downloaded from here

Castle: Castle 0.1.2 released

Added by Sergey Smolov 6 months ago

The new release includes the following changes:
  • Dependencies: use Gradle 4.10.3;
  • Dependencies: use Fortress 0.4.33-beta-190722;
  • AST: new IntegerRange class;
  • AST: new Range class;
  • AST: new RangedVariable class;
  • AST: new UseDef interface;
  • Other bug fixes and general improvements.

The library can be downloaded from here

Local Support Project: Redmine 4.0.3

Added by Alexey Demakov 9 months ago

Redmine 4.0.3

Уважаемые коллеги!
Redmine обновился до версии 4.0.3, которая использует rails 5.2.3
В rails предыдущих версий найдена критическая уязвимость.
Нет никаких свидетельств, что уязвимость эксплуатировалась на этом сайте.

К сожалению, все плагины требуют доработки, поэтому пока отключены.

QEMU4V: QEMU4V 0.3.1 released

Added by Sergey Smolov about 1 year ago

The new release is based on QEMU 3.1.0 and includes the following features:
  • Basic support for PowerPC programs emulation
  • Trace generation for PowerPC (32bit) programs

The complete list of resolved issues is available here

The source code can be downloaded from here

(21-30/331)

Also available in: Atom