Clifford Wolf 8f8baccfde Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand const reg"

2017-06-07 12:30:24 +02:00

..

.gitignore

Updated .gitignore file for ilang and verilog frontends

2014-10-15 01:14:38 +02:00

const2ast.cc

Fixed segfault on invalid verilog constant 1'b_

2015-09-22 08:13:09 +02:00

Makefile.inc

Adjust makefiles to work with out-of-tree builds

2015-08-12 15:04:44 +02:00

preproc.cc

Add support for `resetall compiler directive

2017-04-26 16:09:41 +02:00

verilog_frontend.cc

Added "verilog_defines" command

2016-12-15 17:49:28 +01:00

verilog_frontend.h

Remember global declarations and defines accross read_verilog calls

2016-11-15 12:42:43 +01:00

verilog_lexer.l

Add $live and $fair cell types, add support for s_eventually keyword

2017-02-25 10:36:39 +01:00

verilog_parser.y

Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand const reg"

2017-06-07 12:30:24 +02:00