Added explanation about configure and create test

Added explanation about configure unit test environment and how to add new unit tests

Added required structure to implement unit tests

Added modifications inside the main Makefile to refers the unit test Makefile.
Added separated Makefile only for compiling unit tests.
Added simple example of unit test.

Signed-off-by: Charles Oliveira <18oliveira.charles@gmail.com>
Signed-off-by: Pablo Alejandro <pabloabur@usp.br>
Signed-off-by: Rodrigo Siqueira <siqueira@ime.usp.br>

Added $assert/$assume support to AIGER back-end

Improved yosys-smtbmc default -t/--assume-skipped for --cex and --aig

Updated ABV to hg rev 8b555d9e67cf

Added examples/aiger/

Added "yosys-smtbmc --aig"

Added support for partially initialized regs to smt2 back-end

Added "write_aiger -zinit -symbols -vmap"

Added "write_aiger" command

Added "design -reset-vlog"

Improved equiv_purge log output

Bugfix in smt2 back-end for pure checker modules

Added support for macros as include file names

Bugfix in "read_verilog -D NAME=VAL" handling

Removed shebang line from smtio.py, fixes #279

Added wire start_offset and upto handling BLIF back-end

Added wire start_offset and upto handling to splitnets cmd

Merge pull request #274 from oldtopman/lcurses

Added optional flag for linking curses with readline.

Added "yosys-smtbmc --append"

Added optional flag for linking curses with readline.

Merge pull request #272 from AlexDaniel/master

Markdownify README (№2)

Keep lines under 80 characters

Recent README changes added some characters to existing lines, which
made them longer than 80 characters. This commit fixes that.

Improved ABC default scripts

Markdownify README even further

Merge pull request #271 from azidar/bugfix-assign-wmask

Bugfix: include assign to write-mask

Bugfix: include assign to write-mask

More progress in FIRRTL back-end

Progress in FIRRTL back-end

Added first draft of FIRRTL back-end

Cleanups and fixed in write_verilog regarding reg init

Added support for hierarchical defparams

Remember global declarations and defines accross read_verilog calls

Merge pull request #268 from AlexDaniel/master

Markdownify README

Markdownify README

This is the first commit in series. There are many other things that
could be improved, this is just the first renderable version.

Minor bugfix in submod

Progress in examples/gowin/

Indenting fixes in gowin sim cell lib

Bugfix in "setundef" pass

Added examples/gowin/

Implemented "scc -set_attr"

Bugfix in "scc" command

Fixed anonymous genblock object names

Added hex constant support to write_verilog

We are now in 0.7+ development

Yosys 0.7

Bugfix in "hierarchy -check"

Updated command reference in manual

Changelog for Yosys 0.7

Added support for fsm_encoding="user"

Added "fsm_expand -full"

Some fixes in handling of signed arrays

iCE40 flow is not experimental anymore

Added initial version of "synth_gowin"

Adde "write_verilog -renameprefix -v"

Added support for (single-clock) transparent memories to bram tests

Bugfix in fsm_map for FSMs without reset state

Added avail params to ilang format, check module params in 'hierarchy -check'

Added "setparam -type"

No limit for length of lines in BLIF front-end

Merge pull request #250 from azonenberg/master

Add support for more GreenPak cells (edge detector, delay, pattern generator)

Fixed typo in last commit

greenpak4: Added GP_PGEN cell definition

Added GLITCH_FILTER parameter to GP_DELAY

greenpak4: added model for GP_EDGEDET block

Merge https://github.com/cliffordwolf/yosys

Ignore L_pi nets in "yosys-smtbmc --cex"

Use init value "2" for all uninitialized FFs in BLIF back-end

Added "yosys-smtbmc --cex <filename>"

Bugfix in "miter -assert" handling of assumptions

Added clk2fflogic support for $dffsr and $dlatch

greenpak4: Changed parameters for GP_SYSRESET

Improvements and bugfixes in clk2fflogic

cleanup in write_smt2 log messages (-bv and -mem are now default)

Build fixes for VS 2015

Some minor build fixes for Visual C

Avoid using strcasecmp()

Fixed version string for out-of-tree builds

Added notes about some formal features to README

Added $anyseq cell type

Added clk2fflogic

Added opt_rmdff support for $ff cells

Added $global_clock verilog syntax support for creating $ff cells

Added MEMID handling to "flatten" pass

Merge branch 'master' of github.com:cliffordwolf/yosys

Merge pull request #246 from set-soft/abc_external_ovr

Allow to overwrite ABCEXTERNAL from the environment.

Added YOSYS_VER_STR make variable

Ugh! extra patches got here, reverting

Allow to overwrite ABCEXTERNAL from the environment.
In this way Debian scripts can define it as berkeley-abc from the shell.

Modified test target name (to test-all)
As this target depends on external tools, and packagers run "make test",
I think the name should be less generic.

Added  a new configuration variable GIT_REV_WHERE
It determines from where we get the gits SHA1 value. By default is HEAD,
suitable for Clifford, but for Debian we can define it as upstream/master

Added "zinit" pass

Added $ff and $_FF_ cell types

Fixed "make test" for git head of iverilog

define PATH_MAX if not defined by limits.h

Merge branch 'master' of github.com:cliffordwolf/yosys

Added smtc support for top-level state with [], [N:] syntax

Bugfix in yosys-smtbmc --noincr

yosys-smtbmc: ABC is a QF_BV solver

Added "yosys-smtbmc --noincr"