Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | | | | Use log_warning which does not immediately terminate. | litghost | 2018-08-03 | 1 | -3/+3 | |
| * | | | | | | | | Add BLIF parsing support for .conn and .cname | litghost | 2018-08-02 | 1 | -3/+30 | |
| |/ / / / / / / | ||||||
* | | | | | | | | Merge pull request #600 from jpathy/patch-1 | Clifford Wolf | 2018-08-06 | 1 | -1/+1 | |
|\ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | Use `realpath` | jpathy | 2018-08-06 | 1 | -1/+1 | |
| |/ / / / / / / | ||||||
* | | | | | | | | Merge pull request #599 from kbeckmann/kbeckmann/fix_readme_quotes | Clifford Wolf | 2018-08-06 | 1 | -1/+1 | |
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | | ||||||
| * | | | | | | | readme: Fix formatting of a keyword | Konrad Beckmann | 2018-08-06 | 1 | -1/+1 | |
|/ / / / / / / | ||||||
* | | | | | | | Verific: Produce errors for instantiating unknown module | Clifford Wolf | 2018-07-22 | 1 | -0/+3 | |
* | | | | | | | Add missing <deque> include (MSVC build fix) | Clifford Wolf | 2018-07-22 | 1 | -0/+1 | |
* | | | | | | | Upodate ABC to git rev ae6716b | Clifford Wolf | 2018-07-22 | 1 | -1/+1 | |
* | | | | | | | Add missing -lz to MXE build | Clifford Wolf | 2018-07-22 | 1 | -1/+1 | |
| |_|_|/ / / |/| | | | | | ||||||
* | | | | | | Merge pull request #586 from hzeller/more-sourcepos-logging | Clifford Wolf | 2018-07-20 | 4 | -137/+131 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Convert more log_error() to log_file_error() where possible. | Henner Zeller | 2018-07-20 | 4 | -137/+131 | |
|/ / / / / / | ||||||
* | | | | | | Merge pull request #585 from hzeller/use-file-warning-error | Clifford Wolf | 2018-07-20 | 3 | -82/+79 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Use log_file_warning(), log_file_error() functions. | Henner Zeller | 2018-07-20 | 3 | -82/+79 | |
|/ / / / / / | ||||||
* | | | | | | Merge pull request #584 from hzeller/provide-source-location-logging | Clifford Wolf | 2018-07-20 | 3 | -47/+47 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Provide source-location logging. | Henner Zeller | 2018-07-19 | 3 | -47/+47 | |
|/ / / / / / | ||||||
* | | | | | | Add async2sync pass | Clifford Wolf | 2018-07-19 | 2 | -0/+148 | |
| | | | | * | Merge pull request #2 from YosysHQ/master | Aman Goel | 2018-07-18 | 13 | -9/+1242 | |
| | | | | |\ | |_|_|_|_|/ |/| | | | | | ||||||
* | | | | | | Fix handling of eventually properties in verific importer | Clifford Wolf | 2018-07-17 | 1 | -2/+4 | |
* | | | | | | Fix verific -vlog-incdir and -vlog-libdir handling | Clifford Wolf | 2018-07-16 | 1 | -2/+13 | |
* | | | | | | Merge pull request #581 from daveshah1/ecp5 | Clifford Wolf | 2018-07-16 | 10 | -3/+1200 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | ecp5: Fixing miscellaneous sim model issues | David Shah | 2018-07-16 | 1 | -2/+2 | |
| * | | | | | | ecp5: Fixing 'X' issues with LUT simulation models | David Shah | 2018-07-16 | 1 | -6/+19 | |
| * | | | | | | ecp5: ECP5 synthesis fixes | David Shah | 2018-07-16 | 3 | -15/+32 | |
| * | | | | | | ecp5: Adding synchronous set/reset support | David Shah | 2018-07-14 | 5 | -24/+197 | |
| * | | | | | | ecp5: Add DRAM match rule | David Shah | 2018-07-13 | 1 | -0/+4 | |
| * | | | | | | ecp5: Cells and mappings fixes | David Shah | 2018-07-13 | 2 | -5/+5 | |
| * | | | | | | ecp5: Fixing arith_map | David Shah | 2018-07-13 | 1 | -4/+5 | |
| * | | | | | | ecp5: Initial arith_map implementation | David Shah | 2018-07-13 | 3 | -6/+80 | |
| * | | | | | | ecp5: Adding basic synth_ecp5 based on synth_ice40 | David Shah | 2018-07-13 | 3 | -7/+345 | |
| * | | | | | | ecp5: Adding DFF maps | David Shah | 2018-07-13 | 2 | -1/+30 | |
| * | | | | | | ecp5: Adding DRAM map | David Shah | 2018-07-13 | 3 | -1/+76 | |
| * | | | | | | ecp5: Adding basic cells_sim and mapper for LUTs up to LUT7 | David Shah | 2018-07-13 | 2 | -0/+473 | |
* | | | | | | | Fix "read -incdir" | Clifford Wolf | 2018-07-16 | 1 | -1/+1 | |
* | | | | | | | Merge branch 'master' of github.com:YosysHQ/yosys | Clifford Wolf | 2018-07-16 | 1 | -2/+6 | |
|\ \ \ \ \ \ \ | ||||||
| * | | | | | | | Merge pull request #580 from daveshah1/ice40_nx | Clifford Wolf | 2018-07-13 | 1 | -2/+6 | |
| |\| | | | | | | | |_|_|/ / / | |/| | | | | | ||||||
| | * | | | | | ice40: Add CIN_CONST and CIN_SET parameters to ICESTORM_LC | David Shah | 2018-07-13 | 1 | -2/+6 | |
| |/ / / / / | ||||||
* / / / / / | Add "read -incdir" | Clifford Wolf | 2018-07-16 | 1 | -0/+19 | |
|/ / / / / | ||||||
| | | | * | Merge branch 'YosysHQ-master' | Aman Goel | 2018-07-04 | 28 | -189/+1348 | |
| | | | |\ | ||||||
| | | | | * | Merging with official repo | Aman Goel | 2018-07-04 | 28 | -189/+1348 | |
| | | | |/| | |_|_|_|/ |/| | | | | ||||||
* | | | | | Fix verific eventually handling | Clifford Wolf | 2018-06-29 | 1 | -6/+5 | |
* | | | | | Add verific support for eventually properties | Clifford Wolf | 2018-06-29 | 1 | -5/+105 | |
* | | | | | Add "verific -formal" and "read -formal" | Clifford Wolf | 2018-06-29 | 1 | -7/+15 | |
* | | | | | Add "read -sv -D" support | Clifford Wolf | 2018-06-28 | 1 | -2/+25 | |
* | | | | | Add "read -undef" | Clifford Wolf | 2018-06-28 | 1 | -0/+32 | |
* | | | | | Fix handling of signed memories | Clifford Wolf | 2018-06-28 | 1 | -0/+3 | |
| |_|/ / |/| | | | ||||||
* | | | | Add YOSYS_NOVERIFIC env variable for temporarily disabling verific | Clifford Wolf | 2018-06-22 | 1 | -22/+40 | |
* | | | | Add simplified "read" command, enable extnets in implicit Verific import | Clifford Wolf | 2018-06-21 | 1 | -0/+84 | |
* | | | | Merge branch 'master' of github.com:YosysHQ/yosys | Clifford Wolf | 2018-06-20 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * \ \ \ | Merge pull request #572 from q3k/q3k/fix-protobuf-build | Clifford Wolf | 2018-06-20 | 1 | -1/+1 | |
| |\ \ \ \ |