Clifford Wolf a5c30183b5 Sign-extension related fixes in SatGen and AST frontend

2013-06-10 17:10:06 +02:00

..

ast.cc

Enabled AST/Verilog front-end optimizations per default

2013-06-10 13:19:04 +02:00

ast.h

Enabled AST/Verilog front-end optimizations per default

2013-06-10 13:19:04 +02:00

genrtlil.cc

Sign-extension related fixes in SatGen and AST frontend

2013-06-10 17:10:06 +02:00

Makefile.inc

initial import

2013-01-05 11:13:26 +01:00

simplify.cc

Fixes and improvements in AST const folding

2013-06-10 13:56:03 +02:00