aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
...
* Added "dffinit", Support for initialized Xilinx DFFClifford Wolf2015-04-044-3/+125
* documentation improvementsClifford Wolf2015-03-292-1/+5
* Fixed detection of absolute paths in ABC for win32Clifford Wolf2015-03-221-3/+3
* Fixed handling of quotes in liberty parserClifford Wolf2015-03-181-2/+2
* Added hierarchy -auto-topClifford Wolf2015-03-181-1/+33
* Fixed bug in "hierarchy" for parametric designsClifford Wolf2015-03-041-20/+19
* Added non-std verilog assume() statementClifford Wolf2015-02-262-12/+30
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-02-251-14/+51
|\
| * Added "keep_hierarchy" attributeClifford Wolf2015-02-251-14/+51
* | Bugfix in iopadmapClifford Wolf2015-02-251-10/+3
|/
* Some cleanups in "clean"Clifford Wolf2015-02-242-7/+18
* Fixed compilation problems with gcc 4.6.3; use enum instead of const ints.Clifford Wolf2015-02-241-2/+4
* Fixed "check -assert"Clifford Wolf2015-02-221-1/+1
* Added "check -assert" docClifford Wolf2015-02-221-0/+3
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 23:13:05 +0000