|
abc
|
Fixed typos found by lintian
|
2015-02-01 21:49:55 +01:00 |
|
cmds
|
Added "scc -expect <N> -nofeedback"
|
2015-02-10 08:48:55 +01:00 |
|
equiv
|
Added equiv_add
|
2015-02-08 11:59:38 +01:00 |
|
fsm
|
Added onehot attribute
|
2015-02-04 18:52:54 +01:00 |
|
memory
|
Added onehot attribute
|
2015-02-04 18:52:54 +01:00 |
|
opt
|
Fixed opt_clean performance bug
|
2015-02-04 16:34:06 +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 |
510deb3577