| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | | | | | | | | | | Add Xilinx negedge FFs to synth_xilinx dffinit call, fixes #873 | Clifford Wolf | 2019-03-19 | 1 | -2/+4 | |
| |/ / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | Merge pull request #808 from eddiehung/read_aiger | Eddie Hung | 2019-03-19 | 35 | -6/+632 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ \ \ | Merge https://github.com/YosysHQ/yosys into read_aiger | Eddie Hung | 2019-03-19 | 113 | -792/+6364 | |
| | |\ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / |/| | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | Merge pull request #884 from zachjs/master | Clifford Wolf | 2019-03-19 | 2 | -1/+61 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | fix local name resolution in prefix constructs | Zachary Snow | 2019-03-18 | 2 | -1/+61 | |
| |/ / / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | | Update issue template | Clifford Wolf | 2019-03-17 | 1 | -5/+5 | |
| * | | | | | | | | | | | | | Update issue template | Clifford Wolf | 2019-03-17 | 1 | -0/+8 | |
| * | | | | | | | | | | | | | Merge pull request #877 from FelixVi/master | Clifford Wolf | 2019-03-16 | 1 | -1/+4 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | Add note about test requirements in README | Felix Vietmeyer | 2019-03-16 | 1 | -1/+4 | |
| |/ / / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | | Improve mix of src/wire/wirebit coverage in "mutate -list" | Clifford Wolf | 2019-03-16 | 1 | -29/+84 | |
| * | | | | | | | | | | | | | Merge pull request #876 from YosysHQ/clifford/fmcombine | Clifford Wolf | 2019-03-16 | 4 | -17/+374 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | Add "fmcombine -fwd -bwd -nop" | Clifford Wolf | 2019-03-15 | 1 | -10/+59 | |
| | * | | | | | | | | | | | | | Add fmcombine pass | Clifford Wolf | 2019-03-15 | 4 | -17/+325 | |
| |/ / / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | | Merge pull request #875 from YosysHQ/clifford/mutate | Clifford Wolf | 2019-03-15 | 4 | -5/+862 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | Improvements in "mutate" list-reduce algorithm | Clifford Wolf | 2019-03-15 | 1 | -13/+36 | |
| | * | | | | | | | | | | | | | Add "mutate -cfg", improve pick_cover behavior | Clifford Wolf | 2019-03-14 | 1 | -46/+101 | |
| | * | | | | | | | | | | | | | Add a strictly coverage-driven mutation selection strategy | Clifford Wolf | 2019-03-14 | 1 | -1/+70 | |
| | * | | | | | | | | | | | | | Improve "mutate" wire coverage metric | Clifford Wolf | 2019-03-14 | 1 | -1/+16 | |
| | * | | | | | | | | | | | | | Add more mutation types, improve mutation src cover | Clifford Wolf | 2019-03-14 | 1 | -92/+268 | |
| | * | | | | | | | | | | | | | Fix smtbmc.py handling of zero appended steps | Clifford Wolf | 2019-03-14 | 1 | -5/+5 | |
| | * | | | | | | | | | | | | | Add "mutate" command DB reduce functionality | Clifford Wolf | 2019-03-14 | 1 | -12/+181 | |
| | * | | | | | | | | | | | | | Add hashlib "<container>::element(int n)" methods | Clifford Wolf | 2019-03-14 | 1 | -0/+6 | |
| | * | | | | | | | | | | | | | Add "mutate -mode inv", various other mutate improvements | Clifford Wolf | 2019-03-14 | 1 | -99/+213 | |
| | * | | | | | | | | | | | | | Add basic "mutate -list N" framework | Clifford Wolf | 2019-03-14 | 2 | -0/+230 | |
| * | | | | | | | | | | | | | | Disable realmath tests | Clifford Wolf | 2019-03-15 | 1 | -1/+1 | |
| |/ / / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | | Merge pull request #874 from YosysHQ/clifford/andopt | Clifford Wolf | 2019-03-14 | 1 | -0/+7 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | Improve handling of and-with-1 and or-with-0 in opt_expr, fixes #327 | Clifford Wolf | 2019-03-14 | 1 | -0/+7 | |
| |/ / / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | | Merge pull request #872 from YosysHQ/clifford/pmuxfix | Clifford Wolf | 2019-03-14 | 2 | -1/+10 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | Improve handling of "full_case" attributes | Clifford Wolf | 2019-03-14 | 1 | -0/+9 | |
| | * | | | | | | | | | | | | | Fix a syntax bug in ilang backend related to process case statements | Clifford Wolf | 2019-03-14 | 1 | -1/+1 | |
| |/ / / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | | Merge pull request #869 from cr1901/win-shell | Clifford Wolf | 2019-03-14 | 3 | -1/+377 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|/ / / / / / / / / |/| | | | | | | | | | | | | ||||||
| | * | | | | | | | | | | | | Install launcher executable when running yosys-smtbmc on Windows. | William D. Jones | 2019-03-13 | 3 | -1/+377 | |
| * | | | | | | | | | | | | | Merge pull request #868 from YosysHQ/clifford/fixmem | Clifford Wolf | 2019-03-13 | 2 | -40/+24 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | Remove ice40/cells_sim.v hack to avoid warning for blocking memory writes | Clifford Wolf | 2019-03-12 | 1 | -19/+0 | |
| | * | | | | | | | | | | | | | Improve handling of memories used in mem index expressions on LHS of an assig... | Clifford Wolf | 2019-03-12 | 1 | -5/+16 | |
| | * | | | | | | | | | | | | | Remove outdated "blocking assignment to memory" warning | Clifford Wolf | 2019-03-12 | 1 | -10/+0 | |
| | * | | | | | | | | | | | | | Only set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for non-init writes, fixes #867 | Clifford Wolf | 2019-03-12 | 1 | -6/+8 | |
| | |/ / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | | Fix a bug in handling quotes in multi-cmd lines in Yosys scripts | Clifford Wolf | 2019-03-12 | 1 | -1/+7 | |
| * | | | | | | | | | | | | | Merge pull request #866 from YosysHQ/clifford/idstuff | Clifford Wolf | 2019-03-12 | 5 | -5/+71 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / |/| | | | | | | | | | | | | ||||||
| | * | | | | | | | | | | | | Improve determinism of IdString DB for similar scripts | Clifford Wolf | 2019-03-11 | 5 | -5/+71 | |
| * | | | | | | | | | | | | | Merge pull request #864 from YosysHQ/svalabelfix | Eddie Hung | 2019-03-11 | 2 | -92/+66 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / |/| | | | | | | | | | | | | ||||||
| | * | | | | | | | | | | | | Fix handling of cases that look like sva labels, fixes #862 | Clifford Wolf | 2019-03-10 | 2 | -92/+66 | |
| * | | | | | | | | | | | | | Add ENABLE_GLOB Makefile switch | Clifford Wolf | 2019-03-11 | 2 | -3/+10 | |
| |/ / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | Fix typo in ice40_braminit help msg | Clifford Wolf | 2019-03-09 | 1 | -1/+1 | |
| * | | | | | | | | | | | | Merge pull request #859 from smunaut/ice40_braminit | Clifford Wolf | 2019-03-09 | 4 | -37/+212 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | ice40: Run ice40_braminit pass by default | Sylvain Munaut | 2019-03-08 | 1 | -0/+1 | |
| | * | | | | | | | | | | | | ice40: Add ice40_braminit pass to allow initialization of BRAM from file | Sylvain Munaut | 2019-03-08 | 3 | -37/+211 | |
| * | | | | | | | | | | | | | Fix signed $shift/$shiftx handling in write_smt2 | Clifford Wolf | 2019-03-09 | 1 | -1/+2 | |
| * | | | | | | | | | | | | | Add $dffsr support to async2sync | Clifford Wolf | 2019-03-09 | 1 | -2/+51 | |
| * | | | | | | | | | | | | | Merge pull request #858 from YosysHQ/clifford/svalabels | Clifford Wolf | 2019-03-09 | 6 | -58/+203 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |