| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Bump version | Clifford Wolf | 2019-09-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Merge pull request #1380 from YosysHQ/clifford/fix1372 | Clifford Wolf | 2019-09-16 | 1 | -2/+9 |
| |\ | | | | | Fix handling of range selects on loop variables | ||||
| | * | Fix handling of range selects on loop variables, fixes #1372 | Clifford Wolf | 2019-09-16 | 1 | -2/+9 |
| |/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Merge pull request #1374 from YosysHQ/eddie/fix1371 | Eddie Hung | 2019-09-15 | 2 | -5/+25 |
| |\ | | | | | Fix two non-deterministic behaviours that cause divergence between compilers | ||||
| | * | Spacing | Eddie Hung | 2019-09-13 | 1 | -1/+1 |
| | | | |||||
| | * | Explicitly order function arguments | Eddie Hung | 2019-09-13 | 1 | -4/+15 |
| | | | |||||
| | * | Use template specialisation | Eddie Hung | 2019-09-13 | 1 | -2/+9 |
| | | | |||||
| | * | Revert "SigSet<Cell*> to use stable compare class" | Eddie Hung | 2019-09-13 | 5 | -6/+6 |
| | | | | | | | | | This reverts commit 4ea34aaacdf6f76e11a83d5eb2a53ba7e75f7c11. | ||||
| | * | Grammar | Eddie Hung | 2019-09-12 | 1 | -1/+1 |
| | | | |||||
| | * | static_assert to enforce this going forward | Eddie Hung | 2019-09-12 | 1 | -0/+2 |
| | | | |||||
| | * | SigSet<Cell*> to use stable compare class | Eddie Hung | 2019-09-12 | 5 | -6/+6 |
| | | | |||||
| * | | xilinx: Make blackbox library family-dependent. | Marcin Kościelnicki | 2019-09-15 | 7 | -1024/+19252 |
| | | | | | | | | | Fixes #1246. | ||||
| * | | Merge pull request #1377 from YosysHQ/clifford/fixzdigit | Clifford Wolf | 2019-09-15 | 2 | -5/+5 |
| |\ \ | | | | | | | Fix handling of z_digit "?" and fix optimization of cmp with "z" | ||||
| | * | | Fix handling of z_digit "?" and fix optimization of cmp with "z" | Clifford Wolf | 2019-09-13 | 2 | -5/+5 |
| |/ / | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Merge pull request #1373 from YosysHQ/clifford/fix1364 | Clifford Wolf | 2019-09-13 | 2 | -3/+3 |
| |\ \ | |/ |/| | Fix lexing of integer literals | ||||
| | * | Fix lexing of integer literals without radix | Clifford Wolf | 2019-09-13 | 1 | -1/+1 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | Fix lexing of integer literals, fixes #1364 | Clifford Wolf | 2019-09-12 | 2 | -3/+3 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock | David Shah | 2019-09-12 | 2 | -1/+23 |
| |\ \ | |/ |/| | Add equiv_opt -multiclock | ||||
| | * | Add equiv_opt -multiclock | David Shah | 2019-09-11 | 2 | -1/+23 |
| | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
| * | | Add -match-init option to dff2dffs. | Marcin Kościelnicki | 2019-09-11 | 3 | -3/+77 |
| |/ | |||||
| * | Merge pull request #1362 from xobs/smtbmc-msvc2-build-fixes | David Shah | 2019-09-11 | 4 | -9/+10 |
| |\ | | | | | MSVC2 fixes | ||||
| | * | tests: ice40: fix div_mod SB_LUT4 count | Sean Cross | 2019-09-10 | 1 | -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_map | Sean Cross | 2019-09-09 | 1 | -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 Cross | 2019-09-08 | 1 | -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 compiler | Sean Cross | 2019-09-08 | 1 | -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 version | Clifford Wolf | 2019-09-10 | 1 | -1/+1 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Fix misspelling | Eddie Hung | 2019-09-09 | 1 | -1/+1 |
| |/ | |||||
| * | synth_xilinx: Support init values on Spartan 6 flip-flops properly. | Marcin Kościelnicki | 2019-09-07 | 5 | -53/+219 |
| | | |||||
| * | techmap: Add support for extracting init values of ports | Marcin Kościelnicki | 2019-09-07 | 3 | -1/+169 |
| | | |||||
| * | Merge branch 'master' of github.com:YosysHQ/yosys | Eddie Hung | 2019-09-06 | 28 | -215/+719 |
| |\ | |||||
| | * | Merge pull request #1312 from YosysHQ/xaig_arrival | Eddie Hung | 2019-09-05 | 25 | -196/+657 |
| | |\ | | | | | | | Allow arrival times of sequential outputs to be specified to abc9 | ||||
| | | * | Resolve TODO with pin assignments for SRL* | Eddie Hung | 2019-09-04 | 1 | -4/+2 |
| | | | | |||||
| | | * | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-09-04 | 6 | -5/+63 |
| | | |\ | |||||
| | | * | | Add comments | Eddie Hung | 2019-09-02 | 1 | -1/+9 |
| | | | | | |||||
| | | * | | Rename box | Eddie Hung | 2019-09-02 | 1 | -1/+1 |
| | | | | | |||||
| | | * | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-09-02 | 7 | -22/+21 |
| | | |\ \ | |||||
| | | * | | | Make abc9 test a bit more interesting | Eddie Hung | 2019-08-30 | 1 | -1/+3 |
| | | | | | | |||||
| | | * | | | Recognise built-in types (e.g. $_DFF_*) | Eddie Hung | 2019-08-30 | 1 | -3/+3 |
| | | | | | | |||||
| | | * | | | Remove trailing space | Eddie Hung | 2019-08-30 | 1 | -2/+2 |
| | | | | | | |||||
| | | * | | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-30 | 41 | -33/+798 |
| | | |\ \ \ | |||||
| | | * \ \ \ | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-30 | 1 | -1/+1 |
| | | |\ \ \ \ | |||||
| | | * \ \ \ \ | Merge branch 'eddie/xilinx_srl' into xaig_arrival | Eddie Hung | 2019-08-30 | 1 | -4/+0 |
| | | |\ \ \ \ \ | |||||
| | | * \ \ \ \ \ | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-30 | 12 | -111/+152 |
| | | |\ \ \ \ \ \ | |||||
| | | * | | | | | | | Use a dummy box file if none specified | Eddie Hung | 2019-08-28 | 3 | -3/+10 |
| | | | | | | | | | | |||||
| | | * | | | | | | | Comment out SB_MAC16 arrival time for now, need to handle all its modes | Eddie Hung | 2019-08-28 | 1 | -1/+1 |
| | | | | | | | | | | |||||
| | | * | | | | | | | Add arrival for SB_MAC16.O | Eddie Hung | 2019-08-28 | 1 | -0/+1 |
| | | | | | | | | | | |||||
| | | * | | | | | | | Add arrival times for U | Eddie Hung | 2019-08-28 | 1 | -0/+26 |
| | | | | | | | | | | |||||
| | | * | | | | | | | LX -> LP | Eddie Hung | 2019-08-28 | 1 | -1/+1 |
| | | | | | | | | | | |||||
| | | * | | | | | | | Round not floor | Eddie Hung | 2019-08-28 | 1 | -21/+21 |
| | | | | | | | | | | |||||
| | | * | | | | | | | Add LP timings | Eddie Hung | 2019-08-28 | 1 | -0/+26 |
| | | | | | | | | | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |