| 2016-09-19 |
Clifford Wolf | Cosmetic fix in test_autotb.cc |
commit | commitdiff | tree |
| 2016-09-19 |
Clifford Wolf | Added yosys-smtbmc --noinfo and --dummy |
commit | commitdiff | tree |
| 2016-09-19 |
Clifford Wolf | Avoid creating very long strings in test_autotb |
commit | commitdiff | tree |
| 2016-09-18 |
Clifford Wolf | Added $past, $stable, $rose, $fell SVA functions |
commit | commitdiff | tree |
| 2016-09-18 |
Clifford Wolf | Improved handling of SMT2 logics in yosys-smtbmc |
commit | commitdiff | tree |
| 2016-09-18 |
Clifford Wolf | Added support for bus interfaces to "read_liberty ... |
commit | commitdiff | tree |
| 2016-09-17 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys |
commit | commitdiff | tree |
| 2016-09-17 |
Clifford Wolf | yosys-smtbmc: added -i support smtc files |
commit | commitdiff | tree |
| 2016-09-14 |
Clifford Wolf | Bugfix in techmap parameter handling |
commit | commitdiff | tree |
| 2016-09-13 |
Clifford Wolf | Work-around for boolector bug |
commit | commitdiff | tree |
| 2016-09-13 |
Clifford Wolf | Merge pull request #228 from Kmanfi/test |
commit | commitdiff | tree |
| 2016-09-13 |
Kaj Tuomi | Fix for modules with big interfaces. |
commit | commitdiff | tree |
| 2016-09-11 |
Clifford Wolf | Added missing :produce-models setting to smtio.py |
commit | commitdiff | tree |
| 2016-09-10 |
Clifford Wolf | Minor improvements to smtio.py vcd writer |
commit | commitdiff | tree |
| 2016-09-10 |
Clifford Wolf | fixed write_smt2 for (non-combinatorial) loops through... |
commit | commitdiff | tree |
| 2016-09-08 |
Clifford Wolf | smt2 mem init bugfix |
commit | commitdiff | tree |
| 2016-09-08 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys |
commit | commitdiff | tree |
| 2016-09-08 |
Clifford Wolf | yosys-smtbmc meminit support |
commit | commitdiff | tree |
| 2016-09-08 |
Clifford Wolf | Merge pull request #225 from Kmanfi/test |
commit | commitdiff | tree |
| 2016-09-08 |
Kaj Tuomi | Typo fix. |
commit | commitdiff | tree |
| 2016-09-07 |
Clifford Wolf | Bugfix in "yosys-smtbmc --unroll" |
commit | commitdiff | tree |
| 2016-09-07 |
Clifford Wolf | Added "yosys-smtbmc --unroll" |
commit | commitdiff | tree |
| 2016-09-07 |
Clifford Wolf | Install celledges.h |
commit | commitdiff | tree |
| 2016-09-07 |
Clifford Wolf | Improvements in assertpmux |
commit | commitdiff | tree |
| 2016-09-07 |
Clifford Wolf | Updated ABC to hg 8e08604f8ad3 |
commit | commitdiff | tree |
| 2016-09-06 |
Clifford Wolf | Added assertpmux |
commit | commitdiff | tree |
| 2016-09-06 |
Clifford Wolf | Added "tee +INT -INT" |
commit | commitdiff | tree |
| 2016-09-06 |
Clifford Wolf | Run log_flush() before solving in sat command |
commit | commitdiff | tree |
| 2016-09-06 |
Clifford Wolf | Bugfix in parsing of BLIF latch init values |
commit | commitdiff | tree |
| 2016-09-06 |
Clifford Wolf | Avoid creation of bogus initial blocks for assert/assum... |
commit | commitdiff | tree |
| 2016-09-06 |
Larry Doolittle | Fix spelling and grammar in README |
commit | commitdiff | tree |
| 2016-09-05 |
Clifford Wolf | yosys-smtbmc: flush stdout after each log msg |
commit | commitdiff | tree |
| 2016-09-04 |
Clifford Wolf | Minor bugfix in write_smt2 |
commit | commitdiff | tree |
| 2016-09-03 |
Clifford Wolf | Minor README updates |
commit | commitdiff | tree |
| 2016-09-03 |
Clifford Wolf | Added boolector support to yosys-smtbmc |
commit | commitdiff | tree |
| 2016-09-02 |
Clifford Wolf | Merge branch 'smtbmc-kmanfi' |
commit | commitdiff | tree |
| 2016-09-02 |
Clifford Wolf | Made examples/smtbmc/demo1.v more interesting |
commit | commitdiff | tree |
| 2016-09-02 |
Clifford Wolf | Don't re-create hex_dict for each value |
commit | commitdiff | tree |
| 2016-09-02 |
Kaj Tuomi | More PEP 8 fixes. |
commit | commitdiff | tree |
| 2016-09-02 |
Kaj Tuomi | Indentation and PEP 8 fixes. CamelCase and white space... |
commit | commitdiff | tree |
| 2016-09-02 |
Kaj Tuomi | Use dict lookup instead of many ifs. |
commit | commitdiff | tree |
| 2016-09-02 |
Kaj Tuomi | Fix: Unresolved reference. |
commit | commitdiff | tree |
| 2016-09-02 |
Kaj Tuomi | Some syntax fixes. Generator and comma separated list... |
commit | commitdiff | tree |
| 2016-08-30 |
Clifford Wolf | Added "prep -nomem" |
commit | commitdiff | tree |
| 2016-08-30 |
Clifford Wolf | Added $anyconst support to yosys-smtbmc |
commit | commitdiff | tree |
| 2016-08-30 |
Clifford Wolf | Removed $aconst cell type |
commit | commitdiff | tree |
| 2016-08-30 |
Clifford Wolf | Fixed memory bug in write_smt2 |
commit | commitdiff | tree |
| 2016-08-30 |
Clifford Wolf | Made "write_smt2 -bv -mem" default, added "write_smt2... |
commit | commitdiff | tree |
| 2016-08-30 |
Clifford Wolf | Added $anyconst support to smt2 back-end |
commit | commitdiff | tree |
| 2016-08-29 |
Clifford Wolf | Improved init spec handling in opt_rmdff, modernized... |
commit | commitdiff | tree |
| 2016-08-29 |
Clifford Wolf | Added "yosys-smtbmc --dump-all" |
commit | commitdiff | tree |
| 2016-08-29 |
Clifford Wolf | More yosys-smtbmc bugfixes |
commit | commitdiff | tree |
| 2016-08-29 |
Clifford Wolf | Various fixes and improvements in yosys-smtbmc |
commit | commitdiff | tree |
| 2016-08-28 |
Clifford Wolf | Removed $predict again |
commit | commitdiff | tree |
| 2016-08-28 |
Clifford Wolf | Improved "show" help message |
commit | commitdiff | tree |
| 2016-08-27 |
Clifford Wolf | Some changes to yosys-smtbmc cmd line options, add... |
commit | commitdiff | tree |
| 2016-08-27 |
Clifford Wolf | Fixed handling of transparent bram rd ports on ROMs |
commit | commitdiff | tree |
| 2016-08-27 |
Clifford Wolf | Added smtc "final" statement |
commit | commitdiff | tree |
| 2016-08-26 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys |
commit | commitdiff | tree |
| 2016-08-26 |
Clifford Wolf | Merge pull request #215 from frznchckn/to_upstream |
commit | commitdiff | tree |
| 2016-08-26 |
Clifford Wolf | Added read_verilog -norestrict -assume-asserts |
commit | commitdiff | tree |
| 2016-08-26 |
Russell L Friesenhahn | Relax test to see if yosys dir is a git repository... |
commit | commitdiff | tree |
| 2016-08-26 |
Russell L Friesenhahn | Allow redefining of the ABC repository URL |
commit | commitdiff | tree |
| 2016-08-26 |
Clifford Wolf | Various fixes and improvements in smt2 back-end |
commit | commitdiff | tree |
| 2016-08-25 |
Clifford Wolf | Improved verilog parser errors |
commit | commitdiff | tree |
| 2016-08-24 |
Clifford Wolf | More yosys-smtbmc smtc features |
commit | commitdiff | tree |
| 2016-08-24 |
Clifford Wolf | yosys-smtbmc --smtc -g |
commit | commitdiff | tree |
| 2016-08-24 |
Clifford Wolf | Added SV "restrict" keyword |
commit | commitdiff | tree |
| 2016-08-22 |
Clifford Wolf | Minor yosys-smtbmc bugfix |
commit | commitdiff | tree |
| 2016-08-22 |
Clifford Wolf | Added "yosys-smtbmc --constr" |
commit | commitdiff | tree |
| 2016-08-22 |
Clifford Wolf | Added "yosys-smtbmc --dump-constr" |
commit | commitdiff | tree |
| 2016-08-22 |
Clifford Wolf | Added glob support to all front-ends |
commit | commitdiff | tree |
| 2016-08-22 |
Clifford Wolf | Fixed bug with memories that do not have a down-to... |
commit | commitdiff | tree |
| 2016-08-22 |
Clifford Wolf | Fixed bug in memory_share for memory ports with differe... |
commit | commitdiff | tree |
| 2016-08-21 |
Clifford Wolf | yosys-smtbmc: improved --dump-vlogtb handling of memories |
commit | commitdiff | tree |
| 2016-08-21 |
Clifford Wolf | Added another mem2reg test case |
commit | commitdiff | tree |
| 2016-08-21 |
Clifford Wolf | Another bugfix in mem2reg code |
commit | commitdiff | tree |
| 2016-08-21 |
Clifford Wolf | Minor improvements to AstNode::dumpAst() and AstNode... |
commit | commitdiff | tree |
| 2016-08-20 |
Clifford Wolf | Added examples/smtbmc/demo2.v |
commit | commitdiff | tree |
| 2016-08-20 |
Clifford Wolf | Added "yosys-smtbmc --dump-vlogtb" |
commit | commitdiff | tree |
| 2016-08-20 |
Clifford Wolf | Added support for memories to smtio.py |
commit | commitdiff | tree |
| 2016-08-20 |
Clifford Wolf | Deprecated "write_smt2 -regs" (by default on now),... |
commit | commitdiff | tree |
| 2016-08-20 |
Clifford Wolf | Added "yosys-smtbmc -g" |
commit | commitdiff | tree |
| 2016-08-20 |
Clifford Wolf | Added smtbmc longopt support |
commit | commitdiff | tree |
| 2016-08-20 |
Clifford Wolf | Fixed finish_addr handling in $readmemh/$readmemb |
commit | commitdiff | tree |
| 2016-08-20 |
Clifford Wolf | Bugfix in partial mem write handling in verilog back-end |
commit | commitdiff | tree |
| 2016-08-20 |
Clifford Wolf | Added "wreduce -memx" |
commit | commitdiff | tree |
| 2016-08-19 |
Clifford Wolf | Added memory_memx pass, "memory -memx", and "prep ... |
commit | commitdiff | tree |
| 2016-08-19 |
Clifford Wolf | Optimize memory address port width in wreduce and memor... |
commit | commitdiff | tree |
| 2016-08-18 |
Clifford Wolf | Added missing support for mem read enable ports to... |
commit | commitdiff | tree |
| 2016-08-18 |
Clifford Wolf | Bugfix in test_autotb |
commit | commitdiff | tree |
| 2016-08-18 |
Clifford Wolf | Improved smtbmc vcd generation performance |
commit | commitdiff | tree |
| 2016-08-17 |
Clifford Wolf | Added printing of code loc of failed asserts to yosys... |
commit | commitdiff | tree |
| 2016-08-16 |
Clifford Wolf | Fixed default build config |
commit | commitdiff | tree |
| 2016-08-16 |
Clifford Wolf | Merge pull request #203 from cr1901/master |
commit | commitdiff | tree |
| 2016-08-16 |
William D.... | Add MSYS2-compatible build. |
commit | commitdiff | tree |
| 2016-08-16 |
Clifford Wolf | Use _Exit(0) on win32, always use _Exit(1) in log_error() |
commit | commitdiff | tree |
| 2016-08-16 |
Clifford Wolf | Updated ABC to hg rev a86455b00da5 |
commit | commitdiff | tree |
| 2016-08-16 |
Clifford Wolf | Fixed use-after-free dict<> usage pattern in hierarchy.cc |
commit | commitdiff | tree |
| 2016-08-15 |
Clifford Wolf | Updated ABC to hg rev 760ba358e790 |
commit | commitdiff | tree |
| next |
projects / yosys.git / shortlog