| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | 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 | 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 | |
| |\ \ \ | ||||||
| | * | | | 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 | |
| | * | | | minisat: Remove template with gzFile specialization. | Tim 'mithro' Ansell | 2017-11-25 | 2 | -4/+21 | |
| | * | | | subcircuit: Class with virtual methods should have virtual destructor. | Tim 'mithro' Ansell | 2017-11-25 | 1 | -1/+1 | |
| * | | | | Merge pull request #461 from mithro/travis-rework | Clifford Wolf | 2017-11-26 | 1 | -1/+9 | |
| |\ \ \ \ | |/ / / |/| | | | ||||||
| | * | | | 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 | |
| | | * | Merge branch 'master' into btor-ng | Clifford Wolf | 2017-11-24 | 5 | -33/+309 | |
| | | |\ | |_|/ |/| | | ||||||
| * | | | Merge pull request #446 from mithro/travis-rework | Clifford Wolf | 2017-11-24 | 5 | -33/+309 | |
| |\ \ \ | ||||||
| | * | | | travis: Use the cache. | Tim 'mithro' Ansell | 2017-11-24 | 1 | -1/+1 | |
| | * | | | travis: Adding gcc-4.8 and gcc-6 on Linux. | Tim 'mithro' Ansell | 2017-11-24 | 1 | -0/+47 | |
| | * | | | travis: Reworking travis setup. | Tim 'mithro' Ansell | 2017-11-24 | 5 | -33/+262 | |
| | | | * | Bugfixes in new BTOR back-end | Clifford Wolf | 2017-11-24 | 1 | -2/+3 | |
| | | | * | Progress in new BTOR back-end | Clifford Wolf | 2017-11-23 | 1 | -36/+97 | |
| | | | * | Progress in new BTOR back-end | Clifford Wolf | 2017-11-23 | 1 | -3/+95 | |
| | | | * | Progress in new BTOR back-end | Clifford Wolf | 2017-11-23 | 1 | -14/+72 | |
| | | | * | Merge branch 'master' into btor-ng | Clifford Wolf | 2017-11-23 | 3 | -13/+121 | |
| | | | |\ | |_|_|/ |/| | | | ||||||
| * | | | | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2017-11-23 | 1 | -0/+103 | |
| |\ \ \ \ | ||||||
| | * \ \ \ | Merge pull request #455 from daveshah1/up5k | Clifford Wolf | 2017-11-18 | 1 | -0/+103 | |
| | |\ \ \ \ | | | |/ / | | |/| | | ||||||
| | | * | | | Remove unnecessary keep attributes | David Shah | 2017-11-18 | 1 | -5/+5 | |
| | | * | | | Merge branch 'master' into up5k | David Shah | 2017-11-17 | 2 | -5/+29 | |
| | | |\ \ \ | ||||||
| | | * | | | | Add some UltraPlus cells to ice40 techlib | David Shah | 2017-11-16 | 1 | -0/+103 | |
| * | | | | | | Add Verilog "automatic" keyword (ignored in synthesis) | Clifford Wolf | 2017-11-23 | 2 | -13/+18 | |
| |/ / / / / | ||||||
| | | | | * | Progress with new BTOR backend | Clifford Wolf | 2017-11-23 | 1 | -8/+109 | |
| | | | | * | Add skeleton for new BTOR back-end | Clifford Wolf | 2017-11-23 | 2 | -0/+216 | |
| | | | | * | Remove old BTOR back-end | Clifford Wolf | 2017-11-23 | 4 | -1174/+0 | |
| | |_|_|/ |/| | | | ||||||
| * | | | | Accept real-valued delay values | Clifford Wolf | 2017-11-18 | 1 | -0/+1 | |
| * | | | | Merge pull request #452 from cr1901/master | Clifford Wolf | 2017-11-18 | 1 | -4/+20 | |
| |\ \ \ \ | ||||||
| | * | | | | Accommodate Windows-style paths during include-file processing. | William D. Jones | 2017-11-14 | 1 | -4/+20 | |
| | |/ / / | ||||||
| * | | | | Merge pull request #453 from dh73/master | Clifford Wolf | 2017-11-18 | 14 | -9/+316 | |
| |\ \ \ \ | |_|/ / |/| | | | ||||||
| | * | | | Fixed the -vout flag to -vqm in examples/intel directory | dh73 | 2017-11-14 | 4 | -4/+4 | |
| | * | | | Initial Cyclone 10 support | dh73 | 2017-11-08 | 5 | -1/+308 | |
| | * | | | Merge https://github.com/cliffordwolf/yosys | dh73 | 2017-11-08 | 25 | -449/+588 | |
| | |\| | | ||||||
| | * | | | Organizing Speedster file names | dh73 | 2017-11-08 | 5 | -4/+4 | |
| * | | | | Add "synth_ice40 -vpr" | Clifford Wolf | 2017-11-16 | 2 | -5/+29 | |
| | |/ / |/| | | ||||||
| * | | | Add support for editline as replacement for readline | Clifford Wolf | 2017-11-08 | 4 | -10/+39 | |
| * | | | Add "ltp" command | Clifford Wolf | 2017-10-31 | 2 | -0/+186 | |
| * | | | Fix SMT2 handling of initstate in sub-modules | Clifford Wolf | 2017-10-29 | 1 | -0/+3 | |
| * | | | Fix memory corruption bug in opt_rmdff | Clifford Wolf | 2017-10-26 | 1 | -0/+3 | |
| * | | | Fix typo in opt_clean log message | Clifford Wolf | 2017-10-26 | 1 | -1/+1 | |
| * | | | Improve smtio performance by using reader thread, not writer thread | Clifford Wolf | 2017-10-26 | 1 | -10/+30 | |
| | |/ |/| | ||||||
| * | | Use separate writer thread for talking to SMT solver to avoid read/write dead... | Clifford Wolf | 2017-10-25 | 1 | -8/+23 | |
| * | | Improve p_* functions in smtio.py | Clifford Wolf | 2017-10-25 | 1 | -21/+19 | |
| * | | Disable OSX in .travis.yml | Clifford Wolf | 2017-10-25 | 1 | -2/+2 | |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |