Changed default frontend for "-" to "script" (was: "ilang")

Fixed "extract" pass for non-optimized needles

Added support for simple gates with one constant input to opt_const

Added extract -verbose and -map ilang support

Implemented basic functionality of "extract" pass

Added support for constant signals in "extract" pass

Added "extract" pass (not functional yet)

Added some additional TODO items

Fixed typo in README

Added copyright statement to readme file

Moved stand-alone libs to libs/ directory and added libs/subcircuit

Added support for verilog genblock[index].member syntax

Merge pull request #2 from mschmoelzer/master

"fsm_export" pass: fix KISS file generation.

"fsm_export" pass: fix KISS file generation.

The KISS file format now follows the conventions specified in
"Logic Synthesis and Optimization Benchmarks User Guide", Version 3.0
by Saeyang Yang.

This change ensures interoperability with the "trfsmgen" program by Johann
Glaser.

Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>

Added support for "always @(*)"

Merge pull request #1 from mschmoelzer/master

Add support for "fsm_export" synthesis attributes to fsm_export pass

Merge remote-tracking branch 'upstream/master'

Add support for "fsm_export" synthesis attributes to fsm_export pass.

This allows to specify the file name for exported files directly in the HDL
source via the fsm_export=... attribute on the FSM state register.

Verilog example:
    (* fsm_export="my_fsm.kiss2" *)
    reg [3:0] state;

The fsm_export pass now also accepts the option "-noauto". This causes only
FSMs with the fsm_export attribute to be exported, any other FSMs are ignored.

Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>

Added "getting started" section to README

Improvements in command shell

- Added 'shell' command (run interactive shell from synth script)
- Added support for ; as cmd seperator as in "proc; opt"
- Fixed c++ static initialization order problem with pass register

Added a:*=* syntax to select framework

Added qtcreator.creator.user to top level .gitignore

Copy attributes from state signal to fsm cell

More .gitignore and fixed "make mrproper"

added more .gitignore files (make test)

added .gitignore files

initial import