projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2017-10-25 Clifford WolfAdd ENABLE_DEBUG config flag commit | commitdiff | tree
2017-10-25 Clifford WolfUpdate ABC to hg rev f6838749f234 commit | commitdiff | tree
2017-10-25 Clifford WolfRemove vhdl2verilog commit | commitdiff | tree
2017-10-25 Clifford WolfCapsulate smt-solver read/write in separate functions commit | commitdiff | tree
2017-10-25 Clifford WolfFix a bug in yosys-smtbmc in ROM handling commit | commitdiff | tree
2017-10-20 Clifford WolfRemove PSL example from tests/sva/ commit | commitdiff | tree
2017-10-20 Clifford WolfRemove all PSL support code from verific.cc commit | commitdiff | tree
2017-10-20 Clifford WolfMerge 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 WolfRevert 90be0d8 as it causes endless loops for some... commit | commitdiff | tree
2017-10-13 Clifford WolfAdd "verific -vlog-libdir" commit | commitdiff | tree
2017-10-13 Clifford WolfAdd "verific -vlog-incdir" and "verific -vlog-define" commit | commitdiff | tree
2017-10-13 Clifford WolfUpdate Verific README commit | commitdiff | tree
2017-10-12 Clifford WolfMerge pull request #434 from Kmanfi/vector_fix commit | commitdiff | tree
2017-10-12 Kaj TuomiFix input vector for reduce cells. commit | commitdiff | tree
2017-10-12 Clifford WolfAdd Verific fairness/liveness support commit | commitdiff | tree
2017-10-11 Clifford WolfUpdate ABC to hg rev 6283c5d99b06 commit | commitdiff | tree
2017-10-10 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2017-10-10 Clifford WolfStart work on pre-processor for Verific SVA properties commit | commitdiff | tree
2017-10-10 Clifford WolfRewrite ABC output to include proper net names in timin... commit | commitdiff | tree
2017-10-10 Clifford WolfAdd timing constraints to osu035 example commit | commitdiff | tree
2017-10-10 Clifford WolfRemove some dead code commit | commitdiff | tree
2017-10-10 Clifford WolfAllow $past, $stable, $rose, $fell in $global_clock... commit | commitdiff | tree
2017-10-07 Clifford WolfAdd $shiftx support to verilog front-end commit | commitdiff | tree
2017-10-06 Clifford WolfUpdate ABC to hg rev 0fc1803a77c0 commit | commitdiff | tree
2017-10-05 Larry DoolittleClean whitespace and permissions in techlibs/intel commit | commitdiff | tree
2017-10-05 Clifford WolfImprove handling of Verific errors commit | commitdiff | tree
2017-10-04 Clifford WolfImprove Verific error handling, check VHDL static asserts commit | commitdiff | tree
2017-10-04 Clifford WolfAdd blackbox command commit | commitdiff | tree
2017-10-04 Clifford WolfFix nasty bug in Verific bindings commit | commitdiff | tree
2017-10-03 Clifford WolfMerge branch 'pr_ast_const_funcs' of https://github... commit | commitdiff | tree
2017-10-03 Clifford WolfMerge branch 'fix_shift_reduce_conflict' of https:... commit | commitdiff | tree
2017-10-03 Clifford WolfMerge branch 'dh73-master' commit | commitdiff | tree
2017-10-03 Clifford WolfRename "write_verilog -nobasenradix" to "write_verilog... commit | commitdiff | tree
2017-10-02 dh73Tested and working altsyncarm without init files commit | commitdiff | tree
2017-10-01 dh73Fixed wrong declaration in Verilog backend commit | commitdiff | tree
2017-10-01 dh73Adding Cyclone IV (E, GX), Arria 10, Cyclone V and... commit | commitdiff | tree
2017-09-30 Udi FinkelsteinTurned a few member functions into const, esp. dumpAst... commit | commitdiff | tree
2017-09-30 Udi FinkelsteinResolved classical Bison IF/THEN/ELSE shift/reduce... commit | commitdiff | tree
2017-09-29 Clifford WolfAdd first draft of eASIC back-end commit | commitdiff | tree
2017-09-29 Clifford WolfFix synth_ice40 doc regarding -top default commit | commitdiff | tree
2017-09-29 Clifford WolfAllow $size and $bits in verilog mode, actually check... commit | commitdiff | tree
2017-09-29 Clifford WolfMerge pull request #425 from udif/udif_dollar_bits commit | commitdiff | tree
2017-09-28 Clifford WolfMerge pull request #421 from stephengroat/osx-travis commit | commitdiff | tree
2017-09-27 Stephendelete bad backslash commit | commitdiff | tree
2017-09-27 Stephenforgot to install bundles commit | commitdiff | tree
2017-09-27 Stephen GroatAdd osx tests using brew bundle commit | commitdiff | tree
2017-09-27 Clifford WolfIncrease 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 WolfParse reals as string in JSON front-end commit | commitdiff | tree
2017-09-26 Clifford WolfMerge branch 'vlogpp-inc-fixes' commit | commitdiff | tree
2017-09-26 Clifford WolfMinor coding style fix commit | commitdiff | tree
2017-09-26 Clifford WolfMerge branch 'master' of https://github.com/combinatory... commit | commitdiff | tree
2017-09-26 Udi Finkelsteinenable $bits() and $size() functions only when the... commit | commitdiff | tree
2017-09-26 Udi FinkelsteinAdded $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 FinkelsteinAdd $size() function. At the moment it works only on... commit | commitdiff | tree
2017-09-25 Clifford WolfFix ignoring of simulation timings so that invalid... commit | commitdiff | tree
2017-09-21 combinatorylogicAdding support for string macros and macros with argume... commit | commitdiff | tree
2017-09-16 Clifford WolfMerge pull request #413 from azonenberg/extract-reduce... commit | commitdiff | tree
2017-09-16 Andrew ZonenbergAdded missing "break" commit | commitdiff | tree
2017-09-15 Andrew ZonenbergImplemented off-chain support for extract_reduce commit | commitdiff | tree
2017-09-15 Andrew Zonenbergextract_reduce now only removes the head of the chain... commit | commitdiff | tree
2017-09-15 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2017-09-15 Clifford WolfUpdate ABC to hg rev cd6984ee82d4 commit | commitdiff | tree
2017-09-14 Clifford WolfMerge pull request #412 from azonenberg/reduce-fixes commit | commitdiff | tree
2017-09-14 Robert Ouextract_reduce: Fix segfault on "undriven" inputs commit | commitdiff | tree
2017-09-14 Clifford WolfMerge pull request #411 from azonenberg/counter-extract... commit | commitdiff | tree
2017-09-14 Clifford WolfMerge pull request #410 from azonenberg/opt_demorgan commit | commitdiff | tree
2017-09-14 Andrew ZonenbergMinor changes to opt_demorgan requested during code... commit | commitdiff | tree
2017-09-14 Andrew ZonenbergFixed bug where counter extraction on non-GreenPAK... commit | commitdiff | tree
2017-09-14 Andrew ZonenbergAdded support for inferring counters with reset to... commit | commitdiff | tree
2017-09-14 Andrew ZonenbergAdded RESET_TO_MAX parameter to $__COUNT_ cell. Cannot... commit | commitdiff | tree
2017-09-14 Andrew ZonenbergAdded support for inferring counters with active-low... commit | commitdiff | tree
2017-09-14 Andrew ZonenbergInitial support for extraction of counters with clock... commit | commitdiff | tree
2017-09-14 Andrew ZonenbergFixed typo in comment. Fixed bug where extract_counter... commit | commitdiff | tree
2017-09-13 Andrew ZonenbergInitial version of opt_demorgan is functioning for... commit | commitdiff | tree
2017-09-09 Clifford WolfAdd src attribute to extra cells generated by proc_dlatch commit | commitdiff | tree
2017-09-09 Clifford WolfAdd src arguments to all cell creator helper functions commit | commitdiff | tree
2017-09-02 Clifford WolfFurther improve extract_fa (but still buggy) commit | commitdiff | tree
2017-09-02 Clifford WolfMerge pull request #406 from azonenberg/coolrunner... commit | commitdiff | tree
2017-09-02 Clifford WolfMerge pull request #405 from azonenberg/gpak-refactoring commit | commitdiff | tree
2017-09-01 Robert Oucoolrunner2: Finish fixing special-use p-terms commit | commitdiff | tree
2017-09-01 Robert Oucoolrunner2: Generate a feed-through AND term when... commit | commitdiff | tree
2017-09-01 Robert Oucoolrunner2: Initial fixes for special p-terms commit | commitdiff | tree
2017-09-01 Robert Oucoolrunner2: Fix mapping of flip-flops commit | commitdiff | tree
2017-09-01 Robert Oucoolrunner2: Combine some for loops together commit | commitdiff | tree
2017-09-01 Andrew ZonenbergFixed typo in error message commit | commitdiff | tree
2017-09-01 Andrew ZonenbergAdded blackbox $__COUNT_ cell model commit | commitdiff | tree
2017-09-01 Andrew ZonenbergRefactoring: moved modules still in cells_sim to cells_... commit | commitdiff | tree
2017-09-01 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2017-09-01 Clifford WolfMerge branch 'ChipScan-master' commit | commitdiff | tree
2017-09-01 Clifford WolfUpdate more stuff to use get_src_attribute() and set_sr... commit | commitdiff | tree
2017-08-31 Jason Lowdermilkupdated to use get_src_attribute() and set_src_attribute(). commit | commitdiff | tree
2017-08-31 Clifford WolfMerge pull request #399 from azonenberg/counter-extraction commit | commitdiff | tree
2017-08-31 Andrew ZonenbergMerge branch 'counter-extraction' of github.com:azonenb... commit | commitdiff | tree
2017-08-31 Andrew Zonenbergextract_counter: Added optimizations to remove unused... commit | commitdiff | tree
2017-08-30 Andrew ZonenbergMerge branch 'master' of https://github.com/cliffordwol... commit | commitdiff | tree
2017-08-30 Andrew Zonenbergextract_counter: Minor changes requested to comply... commit | commitdiff | tree
next