Added Altera Quartus support to xsthammer

Progress in xsthammer

Added vivado support to xsthammer

Added SAT support for -all/-max with -verify

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

Added timout functionality to SAT solver

Added renaming of wires and cells to "rename" command

Added "eval" pass

Fixed build with clang

Added splitnets command

Added RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() API

Added more stuff to xsthammer, found first xst bug

Added support for "assign" statements in abc vlparse

Added ternary op and concat op to xsthammer

Fixed even more ConstEval bugs found using xsthammer

Added consteval testing to xsthammer and fixed bugs

More xsthammer improvements (using xst 14.5 now)

More fixes for bugs found using xsthammer

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

Another fix for a bug found using xsthammer

Added "scatter" command

Renamed yosys-show temp files to be dot-files in the users home directory

Fixed gcc build (c++11 stuff in ezSAT)

Further improved and extended xsthammer

More xsthammer improvements

More sign-extension related fixes

Sign-extension related fixes in SatGen and AST frontend

Progress xsthammer scripts

Improvements and fixes in SAT code

Added history file read/write to driver

Progress in xsthammer: working proof for cell models

Fixes and improvements in AST const folding

Enabled AST/Verilog front-end optimizations per default

Fixed generation of newlines in "dump" output

Added "rename" command

Progress on xsthammer

Added first xsthammer scripts

Renamed "sat_solve" pass to "sat"

Implemented temporal induction proofs in sat_solve

Added support for non-temporal proofs to sat_solve

Re-organization in sat_solver pass for temporal induction

Added ezSAT api support for don't care values in models

Fixed handling of $_XOR_ in SAT generator

Added sequential solving support to sat_solve

Set rl_basic_word_break_characters in shell

Improved readline tab completion

Look for yosys-abc and yosys-svgviewer where the main exe is

Added "make abc" and "make install-abc"

Moved cmds from kernel/ to passes/cmds/

Fixed typo is sat_solve help msg

Added support for shifter cells to SAT generator

Added "cd" and "ls" commands for convenience

Various improvements in sat_solve pass and SAT generator

Added -all and -max options to sat_solve

Fixes and improvements in ezSAT library

Improved auto-detection of -show signals in sat_solve

Improved sat generator and sat_solve pass

Added SAT generator and simple sat_solve command

Added ezSAT library

Renamed opt_rmunused to opt_clean

Implemented technology mapping for multipliers (using array multiplier)

Added "dump" command (part ilang backend)

Fixed techmap/flatten for positional module arguments

Improved log messages generated by hierarchy pass

Added -nodetect option to fsm pass

Fixed undef behavior in tests/asicworld/code_verilog_tutorial_fsm_full_tb.v

Improved FSM one-hot encoding, added binary encoding

Added log_assert() api

Added log_abort() api

Fixed a gcc vs. clang determinism problem in abc pass

Fixed memory corruption bug in opt_rmunused

Only initialize TCL interpreter when needed

Fixed memory leak in ilang frontend

Added missing newline to some error messages

Added labels to "help -write-tex-command-reference-manual" output

Added support for processes to show command

Fixed show command for constant assignments

Some improvements in opt_rmdff

Merge pull request #6 from hansiglaser/master

added option '-Dname[=definition]' to command 'read_verilog'

added option '-Dname[=definition]' to command 'read_verilog'

Removed test cases that have been moved to yosys-test.

https://github.com/cliffordwolf/yosys-tests/

Fixed to aggressive x-folding in opt_const

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

Merge branch 'bugfix'

Fixed synthesis of functions in latched blocks

Improved vcdcd.pl (added -d option)

Some improvements in vcdcd.pl

Added support for verilog === operator

Added tcl "yosys -import" command

Improved/simplified TCL bindings

Added support for const cell inputs in techmap

Fixed README for new show command behavior (svg vs. ps)

Added "flatten" pass

Fixed handling of positional module parameters

Fixed hierarchy pass for hierarchies of parametric modules

Only use sha1 checksums for names of parametric modules when the verbose form is to long

Fixed "show -format ..." command line parsing

Added "submod -name ..." support

Fixed a bug in AST frontend for cases with non-blocking assigned variables as case values

Fixed a bug in opt_const when optimizing 1-bit compares with constants