Clifford Wolf
|
7f110e7018
|
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()
|
2015-10-24 22:56:40 +02:00 |
Clifford Wolf
|
6c84341f22
|
Fixed trailing whitespaces
|
2015-07-02 11:14:30 +02:00 |
Clifford Wolf
|
4e6ca7760f
|
Replaced ezDefaultSAT with ezSatPtr
|
2015-02-21 12:15:41 +01:00 |
Clifford Wolf
|
893fe87a33
|
Improved performance in equiv_simple
|
2015-02-01 22:50:48 +01:00 |
Clifford Wolf
|
e9cfc4a453
|
Added "equiv_simple -undef"
|
2015-01-31 13:06:41 +01:00 |
Clifford Wolf
|
75bbeb828a
|
Various equiv_* improvements
|
2015-01-24 00:32:24 +01:00 |
Clifford Wolf
|
a6aa32e762
|
Various equiv_simple improvements
|
2015-01-22 13:42:04 +01:00 |
Clifford Wolf
|
0a225f8b27
|
Moved equiv stuff to passes/equiv/
|
2015-01-22 12:03:15 +01:00 |