| 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 |
| 2017-09-28 |
Clifford Wolf | Merge pull request #421 from stephengroat/osx-travis |
commit | commitdiff | tree |
| 2017-09-27 |
Stephen | delete bad backslash |
commit | commitdiff | tree |
| 2017-09-27 |
Stephen | forgot to install bundles |
commit | commitdiff | tree |
| 2017-09-27 |
Stephen Groat | Add osx tests using brew bundle |
commit | commitdiff | tree |
| 2017-09-27 |
Clifford Wolf | Increase maximum LUT size in blifparse to 12 bits |
commit | commitdiff | tree |
| 2017-09-26 |
Udi Finkelstein | $size() now works correctly for all cases! |
commit | commitdiff | tree |
| 2017-09-26 |
Udi Finkelstein | $size() seems to work now with or without the optional... |
commit | commitdiff | tree |
| 2017-09-26 |
Clifford Wolf | Parse reals as string in JSON front-end |
commit | commitdiff | tree |
| 2017-09-26 |
Clifford Wolf | Merge branch 'vlogpp-inc-fixes' |
commit | commitdiff | tree |
| 2017-09-26 |
Clifford Wolf | Minor coding style fix |
commit | commitdiff | tree |
| 2017-09-26 |
Clifford Wolf | Merge branch 'master' of https://github.com/combinatory... |
commit | commitdiff | tree |
| 2017-09-26 |
Udi Finkelstein | enable $bits() and $size() functions only when the... |
commit | commitdiff | tree |
| 2017-09-26 |
Udi Finkelstein | Added $bits() for memories as well. |
commit | commitdiff | tree |
| 2017-09-26 |
Udi Finkelstein | $size() now works with memories as well! |
commit | commitdiff | tree |
| 2017-09-26 |
Udi Finkelstein | Add $size() function. At the moment it works only on... |
commit | commitdiff | tree |
| 2017-09-25 |
Clifford Wolf | Fix ignoring of simulation timings so that invalid... |
commit | commitdiff | tree |
| 2017-09-21 |
combinatorylogic | Adding support for string macros and macros with argume... |
commit | commitdiff | tree |
| 2017-09-16 |
Clifford Wolf | Merge pull request #413 from azonenberg/extract-reduce... |
commit | commitdiff | tree |
| 2017-09-16 |
Andrew Zonenberg | Added missing "break" |
commit | commitdiff | tree |
| 2017-09-15 |
Andrew Zonenberg | Implemented off-chain support for extract_reduce |
commit | commitdiff | tree |
| 2017-09-15 |
Andrew Zonenberg | extract_reduce now only removes the head of the chain... |
commit | commitdiff | tree |
| 2017-09-15 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys |
commit | commitdiff | tree |
| 2017-09-15 |
Clifford Wolf | Update ABC to hg rev cd6984ee82d4 |
commit | commitdiff | tree |
| 2017-09-14 |
Clifford Wolf | Merge pull request #412 from azonenberg/reduce-fixes |
commit | commitdiff | tree |
| 2017-09-14 |
Robert Ou | extract_reduce: Fix segfault on "undriven" inputs |
commit | commitdiff | tree |
| 2017-09-14 |
Clifford Wolf | Merge pull request #411 from azonenberg/counter-extract... |
commit | commitdiff | tree |
| 2017-09-14 |
Clifford Wolf | Merge pull request #410 from azonenberg/opt_demorgan |
commit | commitdiff | tree |
| 2017-09-14 |
Andrew Zonenberg | Minor changes to opt_demorgan requested during code... |
commit | commitdiff | tree |
| 2017-09-14 |
Andrew Zonenberg | Fixed bug where counter extraction on non-GreenPAK... |
commit | commitdiff | tree |
| 2017-09-14 |
Andrew Zonenberg | Added support for inferring counters with reset to... |
commit | commitdiff | tree |
| 2017-09-14 |
Andrew Zonenberg | Added RESET_TO_MAX parameter to $__COUNT_ cell. Cannot... |
commit | commitdiff | tree |
| 2017-09-14 |
Andrew Zonenberg | Added support for inferring counters with active-low... |
commit | commitdiff | tree |
| 2017-09-14 |
Andrew Zonenberg | Initial support for extraction of counters with clock... |
commit | commitdiff | tree |
| 2017-09-14 |
Andrew Zonenberg | Fixed typo in comment. Fixed bug where extract_counter... |
commit | commitdiff | tree |
| 2017-09-13 |
Andrew Zonenberg | Initial version of opt_demorgan is functioning for... |
commit | commitdiff | tree |
| 2017-09-09 |
Clifford Wolf | Add src attribute to extra cells generated by proc_dlatch |
commit | commitdiff | tree |
| 2017-09-09 |
Clifford Wolf | Add src arguments to all cell creator helper functions |
commit | commitdiff | tree |
| 2017-09-02 |
Clifford Wolf | Further improve extract_fa (but still buggy) |
commit | commitdiff | tree |
| 2017-09-02 |
Clifford Wolf | Merge pull request #406 from azonenberg/coolrunner... |
commit | commitdiff | tree |
| 2017-09-02 |
Clifford Wolf | Merge pull request #405 from azonenberg/gpak-refactoring |
commit | commitdiff | tree |
| 2017-09-01 |
Robert Ou | coolrunner2: Finish fixing special-use p-terms |
commit | commitdiff | tree |
| 2017-09-01 |
Robert Ou | coolrunner2: Generate a feed-through AND term when... |
commit | commitdiff | tree |
| 2017-09-01 |
Robert Ou | coolrunner2: Initial fixes for special p-terms |
commit | commitdiff | tree |
| 2017-09-01 |
Robert Ou | coolrunner2: Fix mapping of flip-flops |
commit | commitdiff | tree |
| 2017-09-01 |
Robert Ou | coolrunner2: Combine some for loops together |
commit | commitdiff | tree |
| 2017-09-01 |
Andrew Zonenberg | Fixed typo in error message |
commit | commitdiff | tree |
| 2017-09-01 |
Andrew Zonenberg | Added blackbox $__COUNT_ cell model |
commit | commitdiff | tree |
| 2017-09-01 |
Andrew Zonenberg | Refactoring: moved modules still in cells_sim to cells_... |
commit | commitdiff | tree |
| 2017-09-01 |
Clifford Wolf | Merge branch 'master' of github.com:cliffordwolf/yosys |
commit | commitdiff | tree |
| 2017-09-01 |
Clifford Wolf | Merge branch 'ChipScan-master' |
commit | commitdiff | tree |
| 2017-09-01 |
Clifford Wolf | Update more stuff to use get_src_attribute() and set_sr... |
commit | commitdiff | tree |
| 2017-08-31 |
Jason Lowdermilk | updated to use get_src_attribute() and set_src_attribute(). |
commit | commitdiff | tree |
| 2017-08-31 |
Clifford Wolf | Merge pull request #399 from azonenberg/counter-extraction |
commit | commitdiff | tree |
| next |
projects / yosys.git / shortlog