summaryrefslogtreecommitdiff
path: root/passes
Commit message (Expand)AuthorAge
...
* More emscripten stuff, Added example appClifford Wolf2015-02-15
* Fixed "stat" handling of blackbox modulesClifford Wolf2015-02-14
* Various fixes for memories with offsetsClifford Wolf2015-02-14
* Added $meminit support to "memory" commandClifford Wolf2015-02-14
* Added $meminit cell typeClifford Wolf2015-02-14
* hotfix in "check" commandClifford Wolf2015-02-13
* Added "check" commandClifford Wolf2015-02-13
* Some test related fixesClifford Wolf2015-02-12
* Added "proc_dlatch"Clifford Wolf2015-02-12
* Less aggressive "share" defaultsClifford Wolf2015-02-10
* Added "scc -expect <N> -nofeedback"Clifford Wolf2015-02-10
* Fixed iterator invalidation bug in "rename" commandClifford Wolf2015-02-09
* Fixed bug in "show -format .."Clifford Wolf2015-02-08
* Fixed eval_select_op() apiClifford Wolf2015-02-08
* Added eval_select_args() and eval_select_op()Clifford Wolf2015-02-08
* Added equiv_addClifford Wolf2015-02-08
* Added "select -read"Clifford Wolf2015-02-06
* Added onehot attributeClifford Wolf2015-02-04
* Fixed opt_clean performance bugClifford Wolf2015-02-04
* Using design->selected_modules() in opt_*Clifford Wolf2015-02-03
* Merge pull request #48 from rubund/masterClifford Wolf2015-02-01
|\
| * Fixed typos found by lintianRuben Undheim2015-02-01
* | Improved performance in equiv_simpleClifford Wolf2015-02-01
|/
* Using selections in "ls" commandClifford Wolf2015-02-01
* Bugfix in opt_const $eq -> buffer codeClifford Wolf2015-01-31
* Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")Clifford Wolf2015-01-31
* Added "equiv_induct -undef"Clifford Wolf2015-01-31
* Added "equiv_simple -undef"Clifford Wolf2015-01-31
* Added "equiv_make -blacklist <file> -encfile <file>"Clifford Wolf2015-01-31
* Added "fsm -encfile"Clifford Wolf2015-01-30
* Improved an error messageClifford Wolf2015-01-28
* Fixed bug in equiv_miterClifford Wolf2015-01-28
* Added "sat -show-ports"Clifford Wolf2015-01-27
* Rethrow with "catch(...) throw;"Clifford Wolf2015-01-25
* Added equiv_removeClifford Wolf2015-01-25
* Added equiv_miterClifford Wolf2015-01-25
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-24
* Various equiv_* improvementsClifford Wolf2015-01-24
* Added dict/pool.sort()Clifford Wolf2015-01-24
* Improvements in equiv_make, equiv_inductClifford Wolf2015-01-22
* Improved xdot callingClifford Wolf2015-01-22
* Added equiv_inductClifford Wolf2015-01-22
* Various equiv_simple improvementsClifford Wolf2015-01-22
* Moved equiv stuff to passes/equiv/Clifford Wolf2015-01-22
* Progress in equiv_simpleClifford Wolf2015-01-21
* Fixed opt_muxtree performance bugClifford Wolf2015-01-21
* Added equiv_simpleClifford Wolf2015-01-19
* Added equiv_statusClifford Wolf2015-01-19
* Added equiv_make commandClifford Wolf2015-01-19
* Refactoring of memory_bram and xilinx bramsClifford Wolf2015-01-18
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-16 04:59:45 +0000