aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Added "check -assert"Clifford Wolf2015-02-221-0/+8
* Fixed "sat -initsteps" off-by-one bugClifford Wolf2015-02-221-1/+1
* Added "sat -stepsize" and "sat -tempinduct-step"Clifford Wolf2015-02-211-21/+64
* sat docu changeClifford Wolf2015-02-211-0/+3
* When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.Clifford Wolf2015-02-211-0/+5
* Added "sat -tempinduct-baseonly -tempinduct-inductonly"Clifford Wolf2015-02-211-66/+92
* Fixed basecase init for "sat -tempinduct"Clifford Wolf2015-02-211-1/+6
* Fixed "flatten" for non-pre-derived modulesClifford Wolf2015-02-211-2/+2
* Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-219-138/+140
* Catch constants assigned to cell outputs in "flatten"Clifford Wolf2015-02-211-0/+6
* format fixes in "sat -dump_json"Clifford Wolf2015-02-191-18/+17
* Added "sat -dump_json" (WaveJSON format)Clifford Wolf2015-02-191-4/+92
* Changed "show" defaults for Win32Clifford Wolf2015-02-191-1/+4
* Fixed clang (svn trunk) warningsClifford Wolf2015-02-181-2/+0
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-02-181-1/+1
|\
| * wreduce help typo fixClifford Wolf2015-02-171-1/+1
* | Added "select %xe %cie %coe"Clifford Wolf2015-02-181-7/+28
|/
* Bugfix in wreduceClifford Wolf2015-02-161-7/+14
* Added Viz to yosys.jsClifford Wolf2015-02-151-1/+6
* Added "check -noinit"Clifford Wolf2015-02-151-3/+19
* Cosmetic fixes in "hierarchy" for blackbox modulesClifford Wolf2015-02-151-2/+4
* More emscripten stuff, Added example appClifford Wolf2015-02-151-0/+2
* Fixed "stat" handling of blackbox modulesClifford Wolf2015-02-141-9/+6
* Various fixes for memories with offsetsClifford Wolf2015-02-142-5/+17
* Added $meminit support to "memory" commandClifford Wolf2015-02-143-30/+69
* Added $meminit cell typeClifford Wolf2015-02-141-1/+1
* hotfix in "check" commandClifford Wolf2015-02-131-1/+2
* Added "check" commandClifford Wolf2015-02-132-0/+127
* Some test related fixesClifford Wolf2015-02-121-1/+1
* Added "proc_dlatch"Clifford Wolf2015-02-123-1/+311
* Less aggressive "share" defaultsClifford Wolf2015-02-101-4/+6
* Added "scc -expect <N> -nofeedback"Clifford Wolf2015-02-101-7/+48
* Fixed iterator invalidation bug in "rename" commandClifford Wolf2015-02-091-3/+4
* Fixed bug in "show -format .."Clifford Wolf2015-02-081-1/+1
* Fixed eval_select_op() apiClifford Wolf2015-02-081-1/+1
* Added eval_select_args() and eval_select_op()Clifford Wolf2015-02-081-4/+27
* Added equiv_addClifford Wolf2015-02-082-0/+90
* Added "select -read"Clifford Wolf2015-02-061-5/+39
* Added onehot attributeClifford Wolf2015-02-042-0/+16
* Fixed opt_clean performance bugClifford Wolf2015-02-041-26/+26
* Using design->selected_modules() in opt_*Clifford Wolf2015-02-035-36/+20
* Merge pull request #48 from rubund/masterClifford Wolf2015-02-012-3/+3
|\
| * Fixed typos found by lintianRuben Undheim2015-02-012-3/+3
* | Improved performance in equiv_simpleClifford Wolf2015-02-011-23/+72
|/
* Using selections in "ls" commandClifford Wolf2015-02-011-34/+30
* Bugfix in opt_const $eq -> buffer codeClifford Wolf2015-01-311-4/+4
* Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")Clifford Wolf2015-01-311-12/+31
* Added "equiv_induct -undef"Clifford Wolf2015-01-311-5/+50
* Added "equiv_simple -undef"Clifford Wolf2015-01-311-17/+47
* Added "equiv_make -blacklist <file> -encfile <file>"Clifford Wolf2015-01-312-5/+173
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-06 17:00:36 +0000