2017-12-14 |
Clifford Wolf | Add clk2fflogic memory support |
commit | commitdiff | tree |
2017-12-14 |
Clifford Wolf | Add smt2 back-end support for async write memories |
commit | commitdiff | tree |
2017-12-14 |
Clifford Wolf | Add RTLIL::Const::is_fully_ones() |
commit | commitdiff | tree |
2017-12-14 |
Clifford Wolf | Add SigSpec::is_fully_ones() |
commit | commitdiff | tree |
2017-12-13 |
Clifford Wolf | Merge pull request #469 from kkiningh/master |
commit | commitdiff | tree |
2017-12-13 |
Kevin Kiningham | Use quote includes for yosys.h |
commit | commitdiff | tree |
2017-12-13 |
Clifford Wolf | Check for memories in clk2fflogic |
commit | commitdiff | tree |
2017-12-13 |
Clifford Wolf | Merge pull request #468 from grahamedgecombe/fix-sb... |
commit | commitdiff | tree |
2017-12-12 |
Clifford Wolf | Add warnings for driver-driver conflicts between FFs... |
commit | commitdiff | tree |
2017-12-10 |
Graham Edgecombe | Fix port names in SB_IO_OD |
commit | commitdiff | tree |
2017-12-10 |
Graham Edgecombe | Remove trailing comma from SB_IO_OD port list |
commit | commitdiff | tree |
2017-12-10 |
Clifford Wolf | Add support for Verific PRIM_SVA_NOT properties |
commit | commitdiff | tree |
2017-12-09 |
Clifford Wolf | Add Verific OPER_SVA_STABLE support |
commit | commitdiff | tree |
2017-12-09 |
Clifford Wolf | Refactoring Verific SVA rewriter |
commit | commitdiff | tree |
2017-12-09 |
Clifford Wolf | Merge pull request #467 from mithro/patch-1 |
commit | commitdiff | tree |
2017-12-09 |
Tim Ansell | Fix spelling in -vpr help for synth_ice40 |
commit | commitdiff | tree |
2017-12-03 |
Clifford Wolf | Use "hg ... --insecure" for cloning/pulling ABC |
commit | commitdiff | tree |
2017-12-02 |
Clifford Wolf | Update ABC to hg rev 31fc97b0aeed |
commit | commitdiff | tree |
2017-12-02 |
Clifford Wolf | Fix error handling for nested always/initial |
commit | commitdiff | tree |
2017-11-28 |
Clifford Wolf | Merge pull request #462 from daveshah1/up5k |
commit | commitdiff | tree |
2017-11-28 |
David Shah | Add remaining UltraPlus cells to ice40 techlib |
commit | commitdiff | tree |
2017-11-27 |
Clifford Wolf | Fixed "yosys-smtbmc -g" handling of no solution |
commit | commitdiff | tree |
2017-11-26 |
Clifford Wolf | Merge pull request #460 from mithro/g3-fixes |
commit | commitdiff | tree |
2017-11-26 |
Clifford Wolf | Merge pull request #461 from mithro/travis-rework |
commit | commitdiff | tree |
2017-11-26 |
Tim 'mithro... | travis: Print branches before fetching, try both locations. |
commit | commitdiff | tree |
2017-11-26 |
Tim 'mithro... | minisat: Make update script executable. |
commit | commitdiff | tree |
2017-11-26 |
Tim 'mithro... | minisat: Only define __STDC_XXX_MACROS if not already... |
commit | commitdiff | tree |
2017-11-26 |
Tim 'mithro... | minisat: Remove template with gzFile specialization. |
commit | commitdiff | tree |
2017-11-26 |
Tim 'mithro... | subcircuit: Class with virtual methods should have... |
commit | commitdiff | tree |
2017-11-24 |
Clifford Wolf | Merge pull request #446 from mithro/travis-rework |
commit | commitdiff | tree |
2017-11-24 |
Tim 'mithro... | travis: Use the cache. |
commit | commitdiff | tree |
2017-11-24 |
Tim 'mithro... | travis: Adding gcc-4.8 and gcc-6 on Linux. |
commit | commitdiff | tree |
2017-11-24 |
Tim 'mithro... | travis: Reworking travis setup. |
commit | commitdiff | tree |
2017-11-23 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys |
commit | commitdiff | tree |
2017-11-23 |
Clifford Wolf | Add Verilog "automatic" keyword (ignored in synthesis) |
commit | commitdiff | tree |
2017-11-18 |
Clifford Wolf | Merge pull request #455 from daveshah1/up5k |
commit | commitdiff | tree |
2017-11-18 |
David Shah | Remove unnecessary keep attributes |
commit | commitdiff | tree |
2017-11-18 |
Clifford Wolf | Accept real-valued delay values |
commit | commitdiff | tree |
2017-11-18 |
Clifford Wolf | Merge pull request #452 from cr1901/master |
commit | commitdiff | tree |
2017-11-18 |
Clifford Wolf | Merge pull request #453 from dh73/master |
commit | commitdiff | tree |
2017-11-17 |
David Shah | Merge branch 'master' into up5k |
commit | commitdiff | tree |
2017-11-16 |
Clifford Wolf | Add "synth_ice40 -vpr" |
commit | commitdiff | tree |
2017-11-16 |
David Shah | Add some UltraPlus cells to ice40 techlib |
commit | commitdiff | tree |
2017-11-15 |
dh73 | Fixed the -vout flag to -vqm in examples/intel directory |
commit | commitdiff | tree |
2017-11-14 |
William D.... | Accommodate Windows-style paths during include-file... |
commit | commitdiff | tree |
2017-11-09 |
dh73 | Initial Cyclone 10 support |
commit | commitdiff | tree |
2017-11-09 |
dh73 | Merge https://github.com/cliffordwolf/yosys |
commit | commitdiff | tree |
2017-11-09 |
dh73 | Organizing Speedster file names |
commit | commitdiff | tree |
2017-11-08 |
Clifford Wolf | Add support for editline as replacement for readline |
commit | commitdiff | tree |
2017-10-31 |
Clifford Wolf | Add "ltp" command |
commit | commitdiff | tree |
2017-10-29 |
Clifford Wolf | Fix SMT2 handling of initstate in sub-modules |
commit | commitdiff | tree |
2017-10-26 |
Clifford Wolf | Fix memory corruption bug in opt_rmdff |
commit | commitdiff | tree |
2017-10-26 |
Clifford Wolf | Fix typo in opt_clean log message |
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Improve smtio performance by using reader thread, not... |
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Use separate writer thread for talking to SMT solver... |
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Improve p_* functions in smtio.py |
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Disable OSX in .travis.yml |
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Add ENABLE_DEBUG config flag |
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Update ABC to hg rev f6838749f234 |
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Remove vhdl2verilog |
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Capsulate smt-solver read/write in separate functions |
commit | commitdiff | tree |
2017-10-25 |
Clifford Wolf | Fix a bug in yosys-smtbmc in ROM handling |
commit | commitdiff | tree |
2017-10-20 |
Clifford Wolf | Remove PSL example from tests/sva/ |
commit | commitdiff | tree |
2017-10-20 |
Clifford Wolf | Remove all PSL support code from verific.cc |
commit | commitdiff | tree |
2017-10-20 |
Clifford Wolf | Merge pull request #437 from mithro/master |
commit | commitdiff | tree |
2017-10-20 |
Tim 'mithro... | Adding COPYING file with license information. |
commit | commitdiff | tree |
2017-10-14 |
Clifford Wolf | Revert 90be0d8 as it causes endless loops for some... |
commit | commitdiff | tree |
2017-10-13 |
Clifford Wolf | Add "verific -vlog-libdir" |
commit | commitdiff | tree |
2017-10-13 |
Clifford Wolf | Add "verific -vlog-incdir" and "verific -vlog-define" |
commit | commitdiff | tree |
2017-10-13 |
Clifford Wolf | Update Verific README |
commit | commitdiff | tree |
2017-10-12 |
Clifford Wolf | Merge pull request #434 from Kmanfi/vector_fix |
commit | commitdiff | tree |
2017-10-12 |
Kaj Tuomi | Fix input vector for reduce cells. |
commit | commitdiff | tree |
2017-10-12 |
Clifford Wolf | Add Verific fairness/liveness support |
commit | commitdiff | tree |
2017-10-11 |
Clifford Wolf | Update ABC to hg rev 6283c5d99b06 |
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys |
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Start work on pre-processor for Verific SVA properties |
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Rewrite ABC output to include proper net names in timin... |
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Add timing constraints to osu035 example |
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Remove some dead code |
commit | commitdiff | tree |
2017-10-10 |
Clifford Wolf | Allow $past, $stable, $rose, $fell in $global_clock... |
commit | commitdiff | tree |
2017-10-07 |
Clifford Wolf | Add $shiftx support to verilog front-end |
commit | commitdiff | tree |
2017-10-06 |
Clifford Wolf | Update ABC to hg rev 0fc1803a77c0 |
commit | commitdiff | tree |
2017-10-05 |
Larry Doolittle | Clean whitespace and permissions in techlibs/intel |
commit | commitdiff | tree |
2017-10-05 |
Clifford Wolf | Improve handling of Verific errors |
commit | commitdiff | tree |
2017-10-04 |
Clifford Wolf | Improve Verific error handling, check VHDL static asserts |
commit | commitdiff | tree |
2017-10-04 |
Clifford Wolf | Add blackbox command |
commit | commitdiff | tree |
2017-10-04 |
Clifford Wolf | Fix nasty bug in Verific bindings |
commit | commitdiff | tree |
2017-10-03 |
Clifford Wolf | Merge branch 'pr_ast_const_funcs' of https://github... |
commit | commitdiff | tree |
2017-10-03 |
Clifford Wolf | Merge branch 'fix_shift_reduce_conflict' of https:... |
commit | commitdiff | tree |
2017-10-03 |
Clifford Wolf | Merge branch 'dh73-master' |
commit | commitdiff | tree |
2017-10-03 |
Clifford Wolf | Rename "write_verilog -nobasenradix" to "write_verilog... |
commit | commitdiff | tree |
2017-10-02 |
dh73 | Tested and working altsyncarm without init files |
commit | commitdiff | tree |
2017-10-01 |
dh73 | Fixed wrong declaration in Verilog backend |
commit | commitdiff | tree |
2017-10-01 |
dh73 | Adding Cyclone IV (E, GX), Arria 10, Cyclone V and... |
commit | commitdiff | tree |
2017-09-30 |
Udi Finkelstein | Turned a few member functions into const, esp. dumpAst... |
commit | commitdiff | tree |
2017-09-30 |
Udi Finkelstein | Resolved classical Bison IF/THEN/ELSE shift/reduce... |
commit | commitdiff | tree |
2017-09-29 |
Clifford Wolf | Add first draft of eASIC back-end |
commit | commitdiff | tree |
2017-09-29 |
Clifford Wolf | Fix synth_ice40 doc regarding -top default |
commit | commitdiff | tree |
2017-09-29 |
Clifford Wolf | Allow $size and $bits in verilog mode, actually check... |
commit | commitdiff | tree |
2017-09-29 |
Clifford Wolf | Merge pull request #425 from udif/udif_dollar_bits |
commit | commitdiff | tree |
next |