Added selection support for r: and selection with relational operators
Added BTOR backend README file
Merge pull request #22 from hansiglaser/master

Little improvements for "select"
Merge branch 'master' of github.com:cliffordwolf/yosys
Simplified select "Assertation failed" message generation
presentation progress
Added expose command
Added sat -verify and -falsify support for non-prove cases
Added counters sat test case
Added support for backslash continuation in script files
Added sat -set-init-zero support
Added miter -make_outcmp
Changed techmap description from "simple" to "generic"
presentation progress
Added support for #-comments in same line as command
Added expose -dff
Added opt_const -undriven
Added sat -set-init-def and sat -tempinduct-def
Added support for sat -show @<sel_name>
new %s: add sub-modules to selection