aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Fixed some "used uninitialized" warnings in opt_exprClifford Wolf2017-02-111-1/+2
|
* Evaluate all the $(shell ...) stuff for CXXFLAGS et al only onceClifford Wolf2017-02-111-3/+3
|
* Merge branch 'stv0g-master'Clifford Wolf2017-02-112-21/+40
|\
| * Make MacOS Makefile stuff more compactClifford Wolf2017-02-111-8/+0
| |
| * Merge branch 'master' of https://github.com/stv0g/yosys into stv0g-masterClifford Wolf2017-02-112-21/+48
|/|
| * Use pkg-config for linking tcl-tkSteffen Vogel2017-02-101-3/+5
| | | | | | | | Both MacPorts and Homebrew have a pkg-config file for TCL. So lets use it.
| * Dont mix Homebrew and MacPorts build optionsSteffen Vogel2017-02-101-2/+1
| |
| * Remove space after backslashSteffen Vogel2017-02-091-1/+1
| |
| * Applied fixes from @joshhead (thanks for your effors!)Steffen Vogel2017-02-092-5/+7
| |
| * Added notes for compilation on OS XSteffen Vogel2017-02-071-3/+13
| |
| * Fix compilation on OS X in order to support both MacPorts and HomebrewSteffen Vogel2017-02-071-13/+25
| |
| * Allow standard tools to be overwritten in make invocationSteffen Vogel2017-02-071-3/+3
| |
| * use Homebrew only if installedSteffen Vogel2017-01-311-6/+8
| |
* | Add optimization of (a && 1'b1) and (a || 1'b0)Clifford Wolf2017-02-111-7/+22
| |
* | Merge pull request #308 from C-Elegans/opt_compare_fix_prClifford Wolf2017-02-111-1/+19
|\ \ | | | | | | Fix issue #306, "Bug in opt -full"
| * | Fix issue #306, "Bug in opt -full"C-Elegans2017-02-101-1/+19
|/ / | | | | | | | | | | Add check for whether the high bit in the constant expression is greater than the width of the variable, and optimizes that to a constant 1 or 0
* | Fix handling of init attributes with strange widthClifford Wolf2017-02-092-3/+9
| |
* | Add checker support to verilog front-endClifford Wolf2017-02-093-14/+33
| |
* | Add "rand" and "rand const" verific supportClifford Wolf2017-02-091-0/+41
| |
* | Add SV "rand" and "const rand" supportClifford Wolf2017-02-083-10/+33
| |
* | Add PSL parser mode to verific front-endClifford Wolf2017-02-081-2/+17
| |
* | Add "read_blif -wideports"Clifford Wolf2017-02-062-5/+77
| |
* | Fix undef propagation bug in $pmux SAT modelClifford Wolf2017-02-051-14/+4
| |
* | Update ABC to hg rev a2fcd1cc61a6Clifford Wolf2017-02-051-1/+1
| |
* | Merge pull request #304 from esden/gsed-darwinClifford Wolf2017-02-051-1/+1
|\ \ | | | | | | Use gsed vs sed on Darwin.
| * | Use -E sed parameter instead of -r.Piotr Esden-Tempski2017-02-041-1/+1
|/ / | | | | | | | | BSD sed equivalent to -r parameter is -E and it is also supported in GNU sed thus using -E results in support on both platforms.
* | Add assert check in "yosys-smtbmc -c"Clifford Wolf2017-02-041-7/+28
| |
* | Improve yosys-smtbmc cover() supportClifford Wolf2017-02-041-5/+19
| |
* | Partially implement cover() support in yosys-smtbmcClifford Wolf2017-02-043-4/+97
| |
* | Further improve cover() supportClifford Wolf2017-02-043-8/+16
| |
* | Add $cover cell type and SVA cover() supportClifford Wolf2017-02-0414-9/+38
| |
* | Add assert/assume support to verific front-endClifford Wolf2017-02-042-625/+687
| |
* | Update ABC to hg rev fe96921e5d50Clifford Wolf2017-02-011-1/+1
| |
* | Update ABC scripts to use "&nf" instead of "map"Clifford Wolf2017-02-011-3/+3
| |
* | Merge branch 'C-Elegans-opt_compare_pr'Clifford Wolf2017-01-311-0/+120
|\ \ | |/ |/|
| * Fix indenting and log messages in code merged from opt_compare_prClifford Wolf2017-01-311-102/+120
| |
| * Merge branch 'opt_compare_pr' of https://github.com/C-Elegans/yosys into ↵Clifford Wolf2017-01-311-1/+103
|/| | | | | | | C-Elegans-opt_compare_pr
| * Refactor and generalize the comparision optimizationC-Elegans2017-01-301-22/+42
| | | | | | | | | | | | | | | | Generalizes the optimization to: a < C, a >= C, C > a, C <= a
| * Do not use b.as_int() in calculation of bit setC-Elegans2017-01-211-8/+29
| |
| * Optimize compares to powers of 2C-Elegans2017-01-164-81/+61
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Remove opt_compare and put comparison pass in opt_expr assuming a [7:0] is unsigned a >= (1<<x) becomes |a[7:x] a < (1<<x) becomes !a[7:x] Additionally: a >= 0 becomes constant true, a < 0 becomes constant false delete opt_compare.cc revert opt.cc to commit b7cfb7dbd (remove opt_compare step)
| * Fix issue #269, optimize signed compare with 0C-Elegans2017-01-153-0/+81
| | | | | | | | | | | | | | | | add opt_compare pass and add it to opt for a < 0: if a is signed, replace with a[max_bit-1] for a >= 0: if a is signed, replace with ~a[max_bit-1]
* | Improve opt_rmdff support for $dlatch cellsClifford Wolf2017-01-311-4/+22
| |
* | Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename>" supportClifford Wolf2017-01-301-5/+14
| |
* | Add $ff and $_FF_ support to equiv_simpleClifford Wolf2017-01-301-2/+2
| |
* | Add "yosys-smtbmc --aig-noheader" and AIGER mem init supportClifford Wolf2017-01-282-8/+55
| |
* | Be more conservative with merging large cells into FSMsClifford Wolf2017-01-261-3/+17
| |
* | Add warnings for quickly growing FSM table size in fsm_expandClifford Wolf2017-01-261-0/+10
| |
* | Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2017-01-262-4/+1
|\ \
| * | Fix RTLIL::Memory::start_offset initializationClifford Wolf2017-01-251-0/+1
| | |
| * | Merge pull request #293 from thoughtpolice/minor-cleanupClifford Wolf2017-01-161-4/+0
| |\ \ | | | | | | | | Delete some dead code in the Hierarchy pass
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-31 09:03:21 +0000