| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Improvements in "mutate" list-reduce algorithm | Clifford Wolf | 2019-03-15 | 1 | -13/+36 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add "mutate -cfg", improve pick_cover behavior | Clifford Wolf | 2019-03-14 | 1 | -46/+101 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add a strictly coverage-driven mutation selection strategy | Clifford Wolf | 2019-03-14 | 1 | -1/+70 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Improve "mutate" wire coverage metric | Clifford Wolf | 2019-03-14 | 1 | -1/+16 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add more mutation types, improve mutation src cover | Clifford Wolf | 2019-03-14 | 1 | -92/+268 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Fix smtbmc.py handling of zero appended steps | Clifford Wolf | 2019-03-14 | 1 | -5/+5 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add "mutate" command DB reduce functionality | Clifford Wolf | 2019-03-14 | 1 | -12/+181 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add hashlib "<container>::element(int n)" methods | Clifford Wolf | 2019-03-14 | 1 | -0/+6 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add "mutate -mode inv", various other mutate improvements | Clifford Wolf | 2019-03-14 | 1 | -99/+213 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add basic "mutate -list N" framework | Clifford Wolf | 2019-03-14 | 2 | -0/+230 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | 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 | ||||
| | * | Improve handling of and-with-1 and or-with-0 in opt_expr, fixes #327 | Clifford Wolf | 2019-03-14 | 1 | -0/+7 |
| |/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Merge pull request #872 from YosysHQ/clifford/pmuxfix | Clifford Wolf | 2019-03-14 | 2 | -1/+10 |
| |\ | | | | | Improve handling of "full_case" attributes | ||||
| | * | Improve handling of "full_case" attributes | Clifford Wolf | 2019-03-14 | 1 | -0/+9 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | Fix a syntax bug in ilang backend related to process case statements | Clifford Wolf | 2019-03-14 | 1 | -1/+1 |
| |/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | 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. | ||||
| | * | Install launcher executable when running yosys-smtbmc on Windows. | William D. Jones | 2019-03-13 | 3 | -1/+377 |
| | | | | | | | | | Signed-off-by: William D. Jones <thor0505@comcast.net> | ||||
| * | | Merge pull request #868 from YosysHQ/clifford/fixmem | Clifford Wolf | 2019-03-13 | 2 | -40/+24 |
| |\ \ | | | | | | | Various mem2reg-related improvements in handling of memories | ||||
| | * | | Remove ice40/cells_sim.v hack to avoid warning for blocking memory writes | Clifford Wolf | 2019-03-12 | 1 | -19/+0 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | | Improve handling of memories used in mem index expressions on LHS of an ↵ | Clifford Wolf | 2019-03-12 | 1 | -5/+16 |
| | | | | | | | | | | | | | | | | | | | assignment Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | | Remove outdated "blocking assignment to memory" warning | Clifford Wolf | 2019-03-12 | 1 | -10/+0 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | | Only set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for non-init writes, fixes #867 | Clifford Wolf | 2019-03-12 | 1 | -6/+8 |
| | |/ | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Fix a bug in handling quotes in multi-cmd lines in Yosys scripts | Clifford Wolf | 2019-03-12 | 1 | -1/+7 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Merge pull request #866 from YosysHQ/clifford/idstuff | Clifford Wolf | 2019-03-12 | 5 | -5/+71 |
| |\ \ | |/ |/| | Improve determinism of IdString DB for similar scripts | ||||
| | * | Improve determinism of IdString DB for similar scripts | Clifford Wolf | 2019-03-11 | 5 | -5/+71 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | 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 | ||||
| | * | Fix handling of cases that look like sva labels, fixes #862 | Clifford Wolf | 2019-03-10 | 2 | -92/+66 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Add ENABLE_GLOB Makefile switch | Clifford Wolf | 2019-03-11 | 2 | -3/+10 |
| |/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Fix typo in ice40_braminit help msg | Clifford Wolf | 2019-03-09 | 1 | -1/+1 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Merge pull request #859 from smunaut/ice40_braminit | Clifford Wolf | 2019-03-09 | 4 | -37/+212 |
| |\ | | | | | iCE40 BRAM primitives init from file | ||||
| | * | ice40: Run ice40_braminit pass by default | Sylvain Munaut | 2019-03-08 | 1 | -0/+1 |
| | | | | | | | | | Signed-off-by: Sylvain Munaut <tnt@246tNt.com> | ||||
| | * | ice40: Add ice40_braminit pass to allow initialization of BRAM from file | Sylvain Munaut | 2019-03-08 | 3 | -37/+211 |
| | | | | | | | | | | | | | | | | | This adds a INIT_FILE attribute to the SB_RAM40_4K blocks that will initialize content from a hex file. Same behavior is imlemented in the simulation model and in a new pass for actual synthesis Signed-off-by: Sylvain Munaut <tnt@246tNt.com> | ||||
| * | | Fix signed $shift/$shiftx handling in write_smt2 | Clifford Wolf | 2019-03-09 | 1 | -1/+2 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Add $dffsr support to async2sync | Clifford Wolf | 2019-03-09 | 1 | -2/+51 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Merge pull request #858 from YosysHQ/clifford/svalabels | Clifford Wolf | 2019-03-09 | 6 | -58/+203 |
| |\ \ | | | | | | | Add support for using SVA labels in yosys-smtbmc console output | ||||
| | * | | Also add support for labels on sva module items, fixes #699 | Clifford Wolf | 2019-03-08 | 2 | -44/+113 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | | Use SVA label in smt export if available | Clifford Wolf | 2019-03-07 | 1 | -2/+2 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | | Add support for SVA labels in read_verilog | Clifford Wolf | 2019-03-07 | 3 | -26/+89 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | | Add hack for handling SVA labels via Verific | Clifford Wolf | 2019-03-07 | 1 | -1/+14 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Merge pull request #861 from YosysHQ/verific_chparam | Clifford Wolf | 2019-03-08 | 2 | -3/+20 |
| |\ \ \ | | | | | | | | | Add -chparam option to verific command | ||||
| | * | | | Update help message for -chparam | Eddie Hung | 2019-03-09 | 1 | -1/+2 |
| | | | | | |||||
| | * | | | Add -chparam option to verific command | Eddie Hung | 2019-03-09 | 1 | -2/+18 |
| | | | | | |||||
| | * | | | Fix spelling | Eddie Hung | 2019-03-09 | 1 | -1/+1 |
| |/ / / | |||||
| * | | | Merge branch 'master' of github.com:YosysHQ/yosys | Clifford Wolf | 2019-03-07 | 6 | -10/+12 |
| |\ \ \ | |||||
| | * \ \ | Merge pull request #856 from kprasadvnsi/master | Clifford Wolf | 2019-03-07 | 6 | -10/+12 |
| | |\ \ \ | | |/ / | |/| | | examples/anlogic/ now also output the SVF file. | ||||
| | | * | | examples/anlogic/ now also output the SVF file. | Kali Prasad | 2019-03-06 | 6 | -10/+12 |
| | | | | | |||||
| * | | | | Fix handling of task output ports in clocked always blocks, fixes #857 | Clifford Wolf | 2019-03-07 | 2 | -15/+37 |
| |/ / / | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Add link to SF2 / igloo2 macro library guide | Clifford Wolf | 2019-03-07 | 1 | -21/+24 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Improvements in sf2 cells_sim.v | Clifford Wolf | 2019-03-06 | 2 | -30/+251 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Add sf2 techmap rules for more FF types | Clifford Wolf | 2019-03-06 | 1 | -25/+39 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |