| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | Merge branch 'btor-ng' | Clifford Wolf | 2017-12-15 | 4 | -987/+959 | |
| |\ \ \ | ||||||
| | * | | | Add array support to btor back-end | Clifford Wolf | 2017-12-15 | 1 | -6/+169 | |
| | | | | | ||||||
| | * | | | Add $anyconst/$anyseq support to btor back-end | Clifford Wolf | 2017-12-15 | 1 | -13/+51 | |
| | | | | | ||||||
| | * | | | Merge branch 'master' into btor-ng | Clifford Wolf | 2017-12-14 | 4 | -8/+12 | |
| | |\ \ \ | |/ / / |/| | | | ||||||
| * | | | | Add yosys-smtbmc VCD writer support for memories with async writes | Clifford Wolf | 2017-12-14 | 3 | -7/+11 | |
| | | | | | ||||||
| * | | | | Fix a bug in clk2fflogic memory handling | Clifford Wolf | 2017-12-14 | 1 | -1/+1 | |
| | | | | | ||||||
| | * | | | Merge branch 'master' into btor-ng | Clifford Wolf | 2017-12-14 | 9 | -38/+178 | |
| | |\ \ \ | |/ / / |/| | | | ||||||
| * | | | | Add clk2fflogic memory support | Clifford Wolf | 2017-12-14 | 1 | -1/+77 | |
| | | | | | ||||||
| * | | | | Add smt2 back-end support for async write memories | Clifford Wolf | 2017-12-14 | 1 | -14/+53 | |
| | | | | | ||||||
| * | | | | Add RTLIL::Const::is_fully_ones() | Clifford Wolf | 2017-12-14 | 2 | -0/+12 | |
| | | | | | ||||||
| * | | | | Add SigSpec::is_fully_ones() | Clifford Wolf | 2017-12-14 | 2 | -0/+16 | |
| | | | | | ||||||
| * | | | | Merge pull request #469 from kkiningh/master | Clifford Wolf | 2017-12-14 | 2 | -2/+2 | |
| |\ \ \ \ | | | | | | | | | | | Use quote includes for yosys.h | |||||
| | * | | | | Use quote includes for yosys.h | Kevin Kiningham | 2017-12-13 | 2 | -2/+2 | |
| |/ / / / | ||||||
| * | | | | Check for memories in clk2fflogic | Clifford Wolf | 2017-12-13 | 1 | -0/+5 | |
| | | | | | ||||||
| * | | | | Merge pull request #468 from grahamedgecombe/fix-sb-io-od | Clifford Wolf | 2017-12-13 | 1 | -19/+19 | |
| |\ \ \ \ | | | | | | | | | | | Fix SB_IO_OD module | |||||
| | * | | | | Fix port names in SB_IO_OD | Graham Edgecombe | 2017-12-10 | 1 | -18/+18 | |
| | | | | | | ||||||
| | * | | | | Remove trailing comma from SB_IO_OD port list | Graham Edgecombe | 2017-12-10 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | This isn't compatible with Icarus Verilog. | |||||
| * | | | | | Add warnings for driver-driver conflicts between FFs (and other cells) and ↵ | Clifford Wolf | 2017-12-12 | 2 | -3/+11 | |
| |/ / / / | | | | | | | | | | | | | constants | |||||
| | * | | | Add "write_btor -s" mode | Clifford Wolf | 2017-12-13 | 1 | -6/+50 | |
| | | | | | ||||||
| | * | | | Add state initval handling to btor back-end | Clifford Wolf | 2017-12-12 | 1 | -0/+25 | |
| | | | | | ||||||
| | * | | | Add btor back-end support for 'x' constants | Clifford Wolf | 2017-12-12 | 1 | -1/+54 | |
| | | | | | ||||||
| | * | | | Add SigSpec::is_fully_ones() | Clifford Wolf | 2017-12-12 | 2 | -0/+16 | |
| | | | | | ||||||
| | * | | | Add btor $shift/$shiftx support | Clifford Wolf | 2017-12-11 | 2 | -7/+37 | |
| | | | | | ||||||
| | * | | | Fix btor back-end shift handling | Clifford Wolf | 2017-12-10 | 2 | -5/+7 | |
| | | | | | ||||||
| | * | | | Add support for $pmux in btor back-end | Clifford Wolf | 2017-12-10 | 1 | -0/+23 | |
| | | | | | ||||||
| | * | | | Add support for more cell types to btor back-end | Clifford Wolf | 2017-12-10 | 2 | -6/+245 | |
| | | | | | ||||||
| | * | | | Merge branch 'master' into btor-ng | Clifford Wolf | 2017-12-10 | 1 | -69/+122 | |
| | |\ \ \ | |/ / / |/| | | | ||||||
| * | | | | Add support for Verific PRIM_SVA_NOT properties | Clifford Wolf | 2017-12-10 | 1 | -10/+25 | |
| | | | | | ||||||
| * | | | | Add Verific OPER_SVA_STABLE support | Clifford Wolf | 2017-12-10 | 1 | -2/+32 | |
| | | | | | ||||||
| * | | | | Refactoring Verific SVA rewriter | Clifford Wolf | 2017-12-10 | 1 | -62/+70 | |
| | | | | | ||||||
| | * | | | Fix btor concat | Clifford Wolf | 2017-12-09 | 1 | -1/+1 | |
| | | | | | ||||||
| | * | | | Merge branch 'master' into btor-ng | Clifford Wolf | 2017-12-09 | 4 | -4/+9 | |
| | |\ \ \ | |/ / / |/| | | | ||||||
| * | | | | Merge pull request #467 from mithro/patch-1 | Clifford Wolf | 2017-12-09 | 1 | -1/+1 | |
| |\ \ \ \ | | | | | | | | | | | Fix spelling in -vpr help for synth_ice40 | |||||
| | * | | | | Fix spelling in -vpr help for synth_ice40 | Tim Ansell | 2017-12-08 | 1 | -1/+1 | |
| |/ / / / | ||||||
| * | | | | Use "hg ... --insecure" for cloning/pulling ABC | Clifford Wolf | 2017-12-03 | 1 | -2/+2 | |
| | | | | | ||||||
| * | | | | Update ABC to hg rev 31fc97b0aeed | Clifford Wolf | 2017-12-02 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Fix error handling for nested always/initial | Clifford Wolf | 2017-12-02 | 2 | -0/+5 | |
| | | | | | ||||||
| | * | | | Merge branch 'master' into btor-ng | Clifford Wolf | 2017-12-01 | 1 | -0/+263 | |
| | |\ \ \ | |/ / / |/| | | | ||||||
| * | | | | Merge pull request #462 from daveshah1/up5k | Clifford Wolf | 2017-11-28 | 1 | -0/+263 | |
| |\ \ \ \ | | | | | | | | | | | Add remaining UltraPlus cells to ice40 techlib | |||||
| | * | | | | Add remaining UltraPlus cells to ice40 techlib | David Shah | 2017-11-28 | 1 | -0/+263 | |
| | | | | | | ||||||
| | | * | | | Merge branch 'master' into btor-ng | Clifford Wolf | 2017-11-27 | 10 | -9/+54 | |
| | | |\ \ \ | |_|/ / / |/| | | | | ||||||
| * | | | | | Fixed "yosys-smtbmc -g" handling of no solution | Clifford Wolf | 2017-11-27 | 1 | -1/+1 | |
| | | | | | | ||||||
| * | | | | | Merge pull request #460 from mithro/g3-fixes | Clifford Wolf | 2017-11-26 | 9 | -8/+45 | |
| |\ \ \ \ \ | | | | | | | | | | | | | Bunch of small fixes | |||||
| | * | | | | | minisat: Make update script executable. | Tim 'mithro' Ansell | 2017-11-25 | 1 | -0/+0 | |
| | | | | | | | ||||||
| | * | | | | | minisat: Only define __STDC_XXX_MACROS if not already defined. | Tim 'mithro' Ansell | 2017-11-25 | 6 | -3/+23 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Replace; #define __STDC_LIMIT_MACROS #define __STDC_FORMAT_MACROS With #ifndef __STDC_LIMIT_MACROS #define __STDC_LIMIT_MACROS #endif #ifndef __STDC_FORMAT_MACROS #define __STDC_FORMAT_MACROS #endif This fixes a compile warning if you are defining these macros in your CXXFLAGS (as some distros do). | |||||
| | * | | | | | minisat: Remove template with gzFile specialization. | Tim 'mithro' Ansell | 2017-11-25 | 2 | -4/+21 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | All the other gzFile functions have been removed but this template was still left around. | |||||
| | * | | | | | subcircuit: Class with virtual methods should have virtual destructor. | Tim 'mithro' Ansell | 2017-11-25 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixes a compile warning. * https://stackoverflow.com/questions/1123044/when-should-your-destructor-be-virtual | |||||
| * | | | | | | Merge pull request #461 from mithro/travis-rework | Clifford Wolf | 2017-11-26 | 1 | -1/+9 | |
| |\ \ \ \ \ \ | |/ / / / / |/| | | | | | travis: Print branches before fetching, try both locations. | |||||
| | * | | | | | travis: Print branches before fetching, try both locations. | Tim 'mithro' Ansell | 2017-11-25 | 1 | -1/+9 | |
| |/ / / / / | ||||||
| | | * | | | Fixed "yosys-smtbmc -g" handling of no solution | Clifford Wolf | 2017-11-27 | 1 | -1/+1 | |
| | | | | | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |