aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Add -match-init option to dff2dffs.Marcin Kościelnicki2019-09-113-3/+77
|
* Merge pull request #1362 from xobs/smtbmc-msvc2-build-fixesDavid Shah2019-09-114-9/+10
|\ | | | | MSVC2 fixes
| * tests: ice40: fix div_mod SB_LUT4 countSean Cross2019-09-101-1/+1
| | | | | | | | | | | | | | | | | | This test is failing due to one of the changes present in this patchset. Adjust the test to match the newly-observed values. https://github.com/xobs/yosys/compare/smtbmc-msvc2-build-fixes...YosysHQ:xobs/pr1362 Signed-off-by: Sean Cross <sean@xobs.io>
| * passes: opt_share: don't statically initialize mergeable_type_mapSean Cross2019-09-091-3/+4
| | | | | | | | | | | | | | | | | | | | | | | | In 3d3779b0376b8204ed7637053176a07b7271ac1d this got turned from a `std::map<std::string, std::string>` to `std::map<IdString, IdString>`. Consequently, this exposed some initialization sequencing issues (#1361). Only initialize the map when it's first used, to avoid these static issues. This fixes #1361. Signed-off-by: Sean Cross <sean@xobs.io>
| * msys2: launcher: fix warnings and errors under g++Sean Cross2019-09-081-4/+4
| | | | | | | | | | | | | | | | | | | | When building under G++, certain C-isms no longer work. For example, we must now cast the return from `calloc()`. Fix `launcher.c` so that it builds under whatever $CXX is set to, which is usually a C++ compiler. Signed-off-by: Sean Cross <sean@xobs.io>
| * backends: smt2: use $(CXX) variable for compilerSean Cross2019-09-081-1/+1
| | | | | | | | | | | | | | | | | | | | | | The Makefile assumes the compiler is called `gcc`, which isn't always true. In fact, if we're building on msys2 or msys2-64, the compiler is called `i686-w64-mingw32-g++` or `x86_64-w64-mingw32-g++`. Use the variable instead of hardcoding the name, to fix building on these systems. Signed-off-by: Sean Cross <sean@xobs.io>
* | Bump versionClifford Wolf2019-09-101-1/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Fix misspellingEddie Hung2019-09-091-1/+1
|/
* synth_xilinx: Support init values on Spartan 6 flip-flops properly.Marcin Kościelnicki2019-09-075-53/+219
|
* techmap: Add support for extracting init values of portsMarcin Kościelnicki2019-09-073-1/+169
|
* Merge branch 'master' of github.com:YosysHQ/yosysEddie Hung2019-09-0628-215/+719
|\
| * Merge pull request #1312 from YosysHQ/xaig_arrivalEddie Hung2019-09-0525-196/+657
| |\ | | | | | | Allow arrival times of sequential outputs to be specified to abc9
| | * Resolve TODO with pin assignments for SRL*Eddie Hung2019-09-041-4/+2
| | |
| | * Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-046-5/+63
| | |\
| | * | Add commentsEddie Hung2019-09-021-1/+9
| | | |
| | * | Rename boxEddie Hung2019-09-021-1/+1
| | | |
| | * | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-027-22/+21
| | |\ \
| | * | | Make abc9 test a bit more interestingEddie Hung2019-08-301-1/+3
| | | | |
| | * | | Recognise built-in types (e.g. $_DFF_*)Eddie Hung2019-08-301-3/+3
| | | | |
| | * | | Remove trailing spaceEddie Hung2019-08-301-2/+2
| | | | |
| | * | | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-3041-33/+798
| | |\ \ \
| | * \ \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-301-1/+1
| | |\ \ \ \
| | * \ \ \ \ Merge branch 'eddie/xilinx_srl' into xaig_arrivalEddie Hung2019-08-301-4/+0
| | |\ \ \ \ \
| | * \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-3012-111/+152
| | |\ \ \ \ \ \
| | * | | | | | | Use a dummy box file if none specifiedEddie Hung2019-08-283-3/+10
| | | | | | | | |
| | * | | | | | | Comment out SB_MAC16 arrival time for now, need to handle all its modesEddie Hung2019-08-281-1/+1
| | | | | | | | |
| | * | | | | | | Add arrival for SB_MAC16.OEddie Hung2019-08-281-0/+1
| | | | | | | | |
| | * | | | | | | Add arrival times for UEddie Hung2019-08-281-0/+26
| | | | | | | | |
| | * | | | | | | LX -> LPEddie Hung2019-08-281-1/+1
| | | | | | | | |
| | * | | | | | | Round not floorEddie Hung2019-08-281-21/+21
| | | | | | | | |
| | * | | | | | | Add LP timingsEddie Hung2019-08-281-0/+26
| | | | | | | | |
| | * | | | | | | LX -> LPEddie Hung2019-08-281-1/+1
| | | | | | | | |
| | * | | | | | | Merge remote-tracking branch 'origin/eddie/fix_carry_wrapper' into xaig_arrivalEddie Hung2019-08-281-0/+20
| | |\ \ \ \ \ \ \
| | * | | | | | | | Do not overwrite LUT paramEddie Hung2019-08-281-1/+0
| | | | | | | | | |
| | * | | | | | | | Add SB_CARRY to ice40_opt testEddie Hung2019-08-281-3/+5
| | | | | | | | | |
| | * | | | | | | | Add ice40_opt testEddie Hung2019-08-281-0/+24
| | | | | | | | | |
| | * | | | | | | | Revert "Revert "Fix omode which inserts an output if none exists (otherwise ↵Eddie Hung2019-08-281-7/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | abc9 breaks)"" This reverts commit 8f0c1232d7c511a6473f4581e4c27a90088cedb7.
| | * | | | | | | | Revert "Output "h" extension only if boxes"Eddie Hung2019-08-281-32/+28
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 399ac760ff2bf4a7d438ed388820e7bfb511de6b.
| | * | | | | | | | Merge remote-tracking branch 'origin/eddie/fix_carry_wrapper' into xaig_arrivalEddie Hung2019-08-282-1/+48
| | |\ \ \ \ \ \ \ \
| | * | | | | | | | | Add arrival times for HX devicesEddie Hung2019-08-281-21/+114
| | | | | | | | | | |
| | * | | | | | | | | Specify ice40 family to cells_sim.v using defineEddie Hung2019-08-281-1/+8
| | | | | | | | | | |
| | * | | | | | | | | Merge remote-tracking branch 'origin/eddie/fix_carry_wrapper' into xaig_arrivalEddie Hung2019-08-285-68/+20
| | |\ \ \ \ \ \ \ \ \
| | * | | | | | | | | | Account for D port being a constantEddie Hung2019-08-281-4/+4
| | | | | | | | | | | |
| | * | | | | | | | | | Merge branch 'eddie/xilinx_srl' into xaig_arrivalEddie Hung2019-08-2813-225/+819
| | |\ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-2833-409/+1901
| | |\ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ Merge branch 'xaig_arrival' of github.com:YosysHQ/yosys into xaig_arrivalEddie Hung2019-08-232-14/+1
| | |\ \ \ \ \ \ \ \ \ \ \ \
| | | * | | | | | | | | | | | Revert to upstreamEddie Hung2019-08-231-2/+2
| | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | Fix spacingEddie Hung2019-08-231-1/+1
| | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | Remove unused modelEddie Hung2019-08-231-13/+0
| | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | CleanupEddie Hung2019-08-231-130/+59
| | |/ / / / / / / / / / / /