aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | cleaning up for PRrafaeltp2018-10-202-6/+2
| | | |
| * | | fixing code stylerafaeltp2018-10-201-1/+1
| | | |
| * | | solves #675rafaeltp2018-10-202-11/+21
| | | |
| * | | Merge pull request #1 from YosysHQ/masterrafaeltp2018-10-2020-89/+869
| |\ \ \ | | | | | | | | | | updating
* | | | | Improve ConstEval error handling for non-eval cell typesClifford Wolf2018-11-292-9/+19
| |_|/ / |/| | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Add iteration limit to "opt_muxtree"Clifford Wolf2018-11-201-1/+17
| |_|/ |/| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Update ABC to git rev 2ddc57dClifford Wolf2018-11-131-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Add "write_aiger -I -O -B"Clifford Wolf2018-11-121-2/+36
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge branch 'master' of github.com:YosysHQ/yosysClifford Wolf2018-11-124-1/+1044
|\ \ \
| * \ \ Merge pull request #697 from eddiehung/xilinx_ps7Clifford Wolf2018-11-122-0/+624
| |\ \ \ | | | | | | | | | | Add support for PS7 block for Xilinx
| | * | | Add support for Xilinx PS7 blockEddie Hung2018-11-102-0/+624
| | | | |
| * | | | Merge pull request #695 from daveshah1/ecp5_bbClifford Wolf2018-11-122-1/+420
| |\ \ \ \ | | |/ / / | |/| | | ecp5: Adding some blackbox cells
| | * | | ecp5: Add 'fake' DCU parametersDavid Shah2018-11-091-0/+11
| | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * | | ecp5: Add blackboxes for ancillary DCU cellsDavid Shah2018-11-091-0/+18
| | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * | | ecp5: Adding some blackbox cellsDavid Shah2018-11-072-1/+391
| | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | | | Update ABC to git rev 68da3cfClifford Wolf2018-11-111-1/+1
|/ / / / | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Set Verific flag vhdl_support_variable_slice=1Clifford Wolf2018-11-091-0/+1
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Merge pull request #696 from arjenroodselaar/verific_darwinClifford Wolf2018-11-091-0/+4
|\ \ \ \ | | | | | | | | | | Use appropriate static libraries when building with Verific on MacOS
| * | | | Use appropriate static libraries when building with Verific on MacOSArjen Roodselaar2018-11-071-0/+4
| | | | |
* | | | | Fix "make ystests" to use correct Yosys binaryClifford Wolf2018-11-081-1/+1
|/ / / / | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Merge pull request #693 from YosysHQ/rlimitClifford Wolf2018-11-071-8/+11
|\ \ \ \ | | | | | | | | | | improve rlimit handling in smtio.py
| * | | | Limit stack size to 16 MB on DarwinClifford Wolf2018-11-071-1/+4
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Fix for improved smtio.py rlimit codeClifford Wolf2018-11-061-1/+1
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Improve stack rlimit code in smtio.pyClifford Wolf2018-11-061-8/+8
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | Merge pull request #694 from trcwm/dffmap_expr_fixClifford Wolf2018-11-061-1/+10
|\ \ \ \ \ | | | | | | | | | | | | DFFLIBMAP: changed 'missing pin' error into a warning.
| * | | | | DFFLIBMAP: changed 'missing pin' error into a warning with additional ↵Niels Moseley2018-11-061-1/+10
|/ / / / / | | | | | | | | | | | | | | | reason/info.
* | | | | Run solver in non-incremental mode whem smtio.py is configured for ↵Clifford Wolf2018-11-061-3/+12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | non-incremental solving Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | Update ABC rev to 4d56acfClifford Wolf2018-11-061-1/+1
|/ / / / | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Allow square brackets in liberty identifiersClifford Wolf2018-11-052-3/+4
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Merge pull request #691 from arjenroodselaar/stacksizeClifford Wolf2018-11-051-1/+6
|\ \ \ \ | | | | | | | | | | Use conservative stack size for SMT2 on MacOS
| * | | | Use conservative stack size for SMT2 on MacOSArjen Roodselaar2018-11-041-1/+6
|/ / / /
* | | | Add warning for SV "restrict" without "property"Clifford Wolf2018-11-041-2/+11
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Add proper error message for when smtbmc "append" failsClifford Wolf2018-11-041-2/+10
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Various indenting fixes in AST front-end (mostly space vs tab issues)Clifford Wolf2018-11-043-99/+69
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Merge pull request #687 from trcwm/masterClifford Wolf2018-11-042-4/+10
|\ \ \ \ | | | | | | | | | | Liberty file: error when it contains pin references to non-existing pins
| * | | | Liberty file newline handling is more relaxed. More descriptive error messageNiels Moseley2018-11-031-4/+7
| | | | |
| * | | | Report an error when a liberty file contains pin references that reference ↵Niels Moseley2018-11-031-0/+3
| | | | | | | | | | | | | | | | | | | | non-existing pins
* | | | | Merge pull request #688 from ZipCPU/rosenfellClifford Wolf2018-11-041-2/+8
|\ \ \ \ \ | |/ / / / |/| | | | Make rose and fell dependent upon LSB only
| * | | | Make and dependent upon LSB onlyZipCPU2018-11-031-2/+8
|/ / / /
* | | | Do not generate "reg assigned in a continuous assignment" warnings for "rand ↵Clifford Wolf2018-11-011-2/+15
| | | | | | | | | | | | | | | | | | | | | | | | reg" Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Add support for signed $shift/$shiftx in smt2 back-endClifford Wolf2018-11-011-1/+3
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Merge branch 'igloo2'Clifford Wolf2018-10-315-0/+377
|\ \ \ \
| * | | | Fix sf2 LUT interfaceClifford Wolf2018-10-312-12/+12
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Basic SmartFusion2 and IGLOO2 synthesis supportClifford Wolf2018-10-315-0/+377
| |/ / / | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Merge pull request #680 from jburgess777/fix-empty-string-back-assertClifford Wolf2018-10-301-1/+1
|\ \ \ \ | |/ / / |/| | | Avoid assert when label is an empty string
| * | | Avoid assert when label is an empty stringJon Burgess2018-10-281-1/+1
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Calling back() on an empty string is not allowed and triggers an assert with recent gcc: $ cd manual/PRESENTATION_Intro $ ../../yosys counter.ys ... /usr/include/c++/8/bits/basic_string.h:1136: std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::reference std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::back() [with _CharT = char; _Traits = std::char_traits<char>; _Alloc = std::allocator<char>; std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::reference = char&]: Assertion '!empty()' failed. 802 if (label.back() == ':' && GetSize(label) > 1) (gdb) p label $1 = ""
* | | Merge pull request #678 from whentze/masterClifford Wolf2018-10-251-2/+2
|\ \ \ | | | | | | | | Fix unhandled std::out_of_range in run_frontend() due to integer underflow
| * | | fix unhandled std::out_of_range when calling yosys with 3-character argumentwhentze2018-10-221-2/+2
| | |/ | |/|
* | | Fix minor typo in error messageClifford Wolf2018-10-251-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge pull request #679 from udif/pr_syntax_errorClifford Wolf2018-10-2514-14/+78
|\ \ \ | | | | | | | | More meaningful SystemVerilog/Verilog parser error messages
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-14 19:00:45 +0000