2017-10-12 |
Clifford Wolf | Add Verific fairness/liveness support |
commit | commitdiff | tree |
2017-10-12 |
Kaj Tuomi | Fix input vector for reduce cells. |
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 |
2017-08-31 |
Andrew Zonenberg | Merge branch 'counter-extraction' of github.com:azonenb... |
commit | commitdiff | tree |
2017-08-31 |
Andrew Zonenberg | extract_counter: Added optimizations to remove unused... |
commit | commitdiff | tree |
2017-08-30 |
Andrew Zonenberg | Merge branch 'master' of https://github.com/cliffordwol... |
commit | commitdiff | tree |
2017-08-30 |
Andrew Zonenberg | extract_counter: Minor changes requested to comply... |
commit | commitdiff | tree |
2017-08-30 |
Jason Lowdermilk | Merge remote-tracking branch 'upstream/master' |
commit | commitdiff | tree |
2017-08-30 |
Jason Lowdermilk | fix indent level |
commit | commitdiff | tree |
2017-08-30 |
Clifford Wolf | Merge pull request #397 from azonenberg/gpak-libfixes |
commit | commitdiff | tree |
2017-08-30 |
Clifford Wolf | Add {get,set}_src_attribute() methods on RTLIL::AttrObject |
commit | commitdiff | tree |
2017-08-29 |
Jason Lowdermilk | Add support for source line tracking through synthesis... |
commit | commitdiff | tree |
2017-08-29 |
Andrew Zonenberg | Finished refactoring counter extraction to be nice... |
commit | commitdiff | tree |
2017-08-29 |
Andrew Zonenberg | Refactored extract_counter to be generic vs GreenPAK... |
commit | commitdiff | tree |
2017-08-29 |
Andrew Zonenberg | Refactoring: Renamed greenpak4_counters pass to extract... |
commit | commitdiff | tree |
2017-08-28 |
Andrew Zonenberg | Reformatted GP_COUNTx_ADV resets to avoid Yosys thinkin... |
commit | commitdiff | tree |
2017-08-28 |
Clifford Wolf | Merge branch 'azonenberg-recover-reduce' |
commit | commitdiff | tree |
2017-08-28 |
Clifford Wolf | Rename recover_reduce to extract_reduce, fix args handling |
commit | commitdiff | tree |
2017-08-28 |
Clifford Wolf | Merge branch 'recover-reduce' of https://github.com... |
commit | commitdiff | tree |
2017-08-28 |
Clifford Wolf | Further improve extract_fa pass |
commit | commitdiff | tree |
2017-08-28 |
Clifford Wolf | Merge pull request #392 from azonenberg/greenpak-portfixes |
commit | commitdiff | tree |
next |