Clifford Wolf 6eb34038f4 Merge pull request #48 from rubund/master ...

Fixed typos found by lintian

2015-02-01 22:55:52 +01:00

..

abc

Fixed typos found by lintian

2015-02-01 21:49:55 +01:00

cmds

Using selections in "ls" command

2015-02-01 00:13:19 +01:00

equiv

Improved performance in equiv_simple

2015-02-01 22:50:48 +01:00

fsm

Added "fsm -encfile"

2015-01-30 22:46:53 +01:00

hierarchy

Fixed pattern matching in "hierarchy -generate"

2015-01-04 11:45:39 +01:00

memory

Fixed typos found by lintian

2015-02-01 21:49:55 +01:00

opt

Bugfix in opt_const $eq -> buffer code

2015-01-31 23:25:32 +01:00

proc

Removed SigSpec::extend_xx() api

2015-01-01 11:41:52 +01:00

sat

Improved an error message

2015-01-28 00:46:00 +01:00

techmap

Added ENABLE_NDEBUG makefile options

2015-01-24 12:16:46 +01:00

tests

Added ENABLE_NDEBUG makefile options

2015-01-24 12:16:46 +01:00