Json backend improvements

Added write_blif -attr

Added JSON backend

Const-fold parameter defs on-demand in AstNode::detectSignWidthWorker()

Added $assume support to write_smt2

Added non-std verilog assume() statement

Added $assume cell type

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

Bugfix in iopadmap

Added "keep_hierarchy" attribute

Some cleanups in "clean"

Fixed compilation problems with gcc 4.6.3; use enum instead of const ints.
(original patch by Andrew Becker <andrew.becker@epfl.ch>)

Minor "write_smt2" help msg change

Fixed "check -assert"

Added "<mod>_a" and "<mod>_i" to write_smt2 output

Added "check -assert" doc

Added "check -assert"

Fixed "sat -initsteps" off-by-one bug

Added "sat -stepsize" and "sat -tempinduct-step"

sat docu change

When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.

Added "sat -tempinduct-baseonly -tempinduct-inductonly"

Fixed basecase init for "sat -tempinduct"

Fixed "flatten" for non-pre-derived modules

Hotfix for yosysjs/demo03.html

YosysJS: Wait for Viz to load

Replaced ezDefaultSAT with ezSatPtr

Catch constants assigned to cell outputs in "flatten"

Added deep recursion warning to AST simplify

Parser support for complex delay expressions

YosysJS firefox fixes

YosysJS stuff

format fixes in "sat -dump_json"

Added "sat -dump_json" (WaveJSON format)

Changed "show" defaults for Win32

Convert floating point cell parameters to strings

Fixed clang (svn trunk) warnings

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

Added "select %xe %cie %coe"

wreduce help typo fix

CodingReadme

YosysJS fixes for firefox

More YosysJS stuff

Added YosysJS wrapper

Bugfix in wreduce

More yosys.js improvements

Added Viz to yosys.js

Added yosys.js FS support

More emcc stuff

Improved yosys.js example

Added "stat" to "synth" and "synth_xilinx"

Added final checks to "synth" and "synth_xilinx"

Added "check -noinit"

Cosmetic fixes in "hierarchy" for blackbox modules

More emscripten stuff, Added example app

Fixed default EMCCFLAGS

Smaller default parameters in $mem simlib model

Fixed "stat" handling of blackbox modules

Various fixes for memories with offsets

Added $meminit support to "memory" command

Added $meminit test case

Added "read_verilog -nomeminit" and "nomeminit" attribute

Creating $meminit cells in verilog front-end

Added $meminit cell type

Fixed handling of "//" in filenames in verilog pre-processor

Fixed "write_verilog -attr2comment" handling of "*/" in strings

hotfix in "check" command

Added "check" command

Added AstNode::simplify() recursion counter

Added EMCCFLAGS

Some test related fixes

(incl. removal of three bad test cases)

Added "proc_dlatch"

Less aggressive "share" defaults

Improved read_verilog support for empty behavioral statements

Added "scc -expect <N> -nofeedback"

Some hashlib improvements

Various changes to release checklist

Fixed creation of command reference in manual

We are now in 0.5+ development

Yosys 0.5

Bugfix in "make vcxsrc"

Updated command reference in manual

Various presentation fixes

Fixed iterator invalidation bug in "rename" command

CodingReadme update

Fixed bug in "show -format .."

Added new APIs to changelog

Fixed eval_select_op() api

Added eval_select_args() and eval_select_op()

Minor "make vgtest" changes

Various ModIndex improvements

Added Yosys 0.5 Changelog

Various updates to CodingReadme

Added equiv_add

Ignore explicit assignments to constants in HDL code

Fixed a bug with autowire bit size
(removed leftover from when we tried to auto-size the wires)

fixed typo

Added "yosys-config --build modname.so cppsources.."

Added SigSpec::has_const()

Cleanup in add_share_file make macro