projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2015-04-18 Clifford Wolfdon't consider blackbox modules in "sat" command commit | commitdiff | tree
2015-04-18 Clifford WolfImproved handling of init values in opt_rmdff commit | commitdiff | tree
2015-04-17 Clifford WolfBugfix for $_DFF_?_ in "dff2dffe -direct-match" commit | commitdiff | tree
2015-04-17 Clifford WolfAdded mapping of synchronous set/reset to iCE40 flow commit | commitdiff | tree
2015-04-16 Clifford WolfImproved "maccmap" help message commit | commitdiff | tree
2015-04-16 Clifford WolfA "#" does start a comment, not a label. commit | commitdiff | tree
2015-04-16 Clifford WolfChanged ice40 ICESTORM_CARRYCONST port name commit | commitdiff | tree
2015-04-16 Clifford WolfFixed "dff2dffe -direct-match" commit | commitdiff | tree
2015-04-16 Clifford WolfAdded simple ice40 dff tests commit | commitdiff | tree
2015-04-16 Clifford Wolfimproved ice40 dff cell mapping commit | commitdiff | tree
2015-04-16 Clifford WolfAdded "dff2dffe -direct-match" commit | commitdiff | tree
2015-04-14 Clifford Wolfuse "hierarchy -auto-top" in synth_ice40 commit | commitdiff | tree
2015-04-14 Clifford Wolfmore cells in ice40 cell library commit | commitdiff | tree
2015-04-13 Clifford WolfAdded "splice -wires" commit | commitdiff | tree
2015-04-13 Clifford WolfAdded handling of bool-output cells to "wreduce" commit | commitdiff | tree
2015-04-09 Clifford WolfImproved xilinx "bram1" test commit | commitdiff | tree
2015-04-09 Clifford WolfAdded memory_bram "make_outreg" feature commit | commitdiff | tree
2015-04-09 Clifford WolfAdded back-end auto-detect for .edif and .json commit | commitdiff | tree
2015-04-09 Clifford WolfMinor fixes in handling of "init" attribute commit | commitdiff | tree
2015-04-09 Clifford WolfXilinx DRAMS: RAM64X1D, RAM128X1D commit | commitdiff | tree
2015-04-09 Clifford WolfFixed const2big performance bug commit | commitdiff | tree
2015-04-09 Clifford Wolftechmap code cleanup commit | commitdiff | tree
2015-04-09 Clifford WolfTowards DRAM support in Xilinx flow commit | commitdiff | tree
2015-04-08 Clifford WolfAdded support for "file names with blanks" commit | commitdiff | tree
2015-04-08 Clifford WolfRemoved "techmap -share_map" (use "-map +/filename... commit | commitdiff | tree
2015-04-07 Clifford WolfAdded %M and %C select operators commit | commitdiff | tree
2015-04-07 Clifford WolfAdded "pmuxtree" command commit | commitdiff | tree
2015-04-07 Clifford WolfAdded "chparam -list" commit | commitdiff | tree
2015-04-07 Clifford WolfAdded decoder generation to "muxcover" commit | commitdiff | tree
2015-04-07 Clifford WolfAdded hashlib support for std::tuple<> commit | commitdiff | tree
2015-04-07 Clifford WolfAdded "muxcover" command commit | commitdiff | tree
2015-04-07 Clifford WolfAdded pool<K>::pop() commit | commitdiff | tree
2015-04-07 Clifford Wolftypo fix commit | commitdiff | tree
2015-04-07 Clifford WolfAdded "chparam" command commit | commitdiff | tree
2015-04-06 Clifford WolfAdded support for initialized xilinx brams commit | commitdiff | tree
2015-04-06 Clifford WolfAdded support for initialized brams commit | commitdiff | tree
2015-04-06 Clifford WolfAdded Xilinx test case for initialized brams commit | commitdiff | tree
2015-04-06 Clifford WolfAdded Xilinx bram black-box modules commit | commitdiff | tree
2015-04-05 Clifford WolfAdded "port_directions" to write_json output commit | commitdiff | tree
2015-04-05 Clifford WolfAvoid parameter values with size 0 ($mem cells) commit | commitdiff | tree
2015-04-05 Clifford Wolfmake all vector-size related integer params in $mem... commit | commitdiff | tree
2015-04-05 Clifford WolfAdded $_MUX4_, $_MUX8_, and $_MUX16_ cell types commit | commitdiff | tree
2015-04-04 Clifford WolfAdded "dffinit", Support for initialized Xilinx DFF commit | commitdiff | tree
2015-04-04 Clifford WolfAdded "init" attribute support to verilog backend commit | commitdiff | tree
2015-04-04 Clifford Wolfappnote 012 fix commit | commitdiff | tree
2015-04-04 Clifford WolfAppnote 012 commit | commitdiff | tree
2015-04-04 Clifford WolfUpdated ABC to 51705b168d7a commit | commitdiff | tree
2015-04-04 Clifford WolfMerge pull request #55 from ahmedirfan1983/master commit | commitdiff | tree
2015-04-03 Ahmed IrfanUpdate README commit | commitdiff | tree
2015-04-03 Ahmed IrfanDelete btor.ys commit | commitdiff | tree
2015-04-03 Ahmed IrfanUpdate README commit | commitdiff | tree
2015-04-03 Ahmed Irfanseparated memory next from write cell commit | commitdiff | tree
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... commit | commitdiff | tree
2015-04-03 Ahmed IrfanMerge branch 'btor' of https://github.com/ahmedirfan198... commit | commitdiff | tree
2015-04-03 Ahmed Irfanappnote for verilog to btor commit | commitdiff | tree
2015-03-29 Clifford Wolfdocumentation improvements commit | commitdiff | tree
2015-03-25 Clifford WolfIgnore celldefine directive in verilog front-end commit | commitdiff | tree
2015-03-25 Clifford WolfFixes in cmos_cells.v commit | commitdiff | tree
2015-03-22 Clifford WolfFixed detection of absolute paths in ABC for win32 commit | commitdiff | tree
2015-03-22 Clifford WolfAdded blif reference to appnote 010 commit | commitdiff | tree
2015-03-20 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2015-03-20 Clifford Wolffix for python 2.6.6 commit | commitdiff | tree
2015-03-18 Clifford WolfFixed handling of quotes in liberty parser commit | commitdiff | tree
2015-03-18 Clifford WolfAdded hierarchy -auto-top commit | commitdiff | tree
2015-03-18 Clifford WolfAdded Verilog backend $dffsr support commit | commitdiff | tree
2015-03-06 Clifford WolfDocumentation for JSON format, added attributes commit | commitdiff | tree
2015-03-05 Clifford WolfAdded very first version of "synth_ice40" commit | commitdiff | tree
2015-03-04 Clifford WolfFixed bug in "hierarchy" for parametric designs commit | commitdiff | tree
2015-03-03 Clifford WolfJson bugfix commit | commitdiff | tree
2015-03-03 Clifford WolfJson backend improvements commit | commitdiff | tree
2015-03-02 Clifford WolfAdded write_blif -attr commit | commitdiff | tree
2015-03-02 Clifford WolfAdded JSON backend commit | commitdiff | tree
2015-03-01 Clifford WolfConst-fold parameter defs on-demand in AstNode::detectS... commit | commitdiff | tree
2015-02-26 Clifford WolfAdded $assume support to write_smt2 commit | commitdiff | tree
2015-02-26 Clifford WolfAdded non-std verilog assume() statement commit | commitdiff | tree
2015-02-26 Clifford WolfAdded $assume cell type commit | commitdiff | tree
2015-02-25 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2015-02-25 Clifford WolfBugfix in iopadmap commit | commitdiff | tree
2015-02-25 Clifford WolfAdded "keep_hierarchy" attribute commit | commitdiff | tree
2015-02-24 Clifford WolfSome cleanups in "clean" commit | commitdiff | tree
2015-02-24 Clifford WolfFixed compilation problems with gcc 4.6.3; use enum... commit | commitdiff | tree
2015-02-22 Clifford WolfMinor "write_smt2" help msg change commit | commitdiff | tree
2015-02-22 Clifford WolfFixed "check -assert" commit | commitdiff | tree
2015-02-22 Clifford WolfAdded "<mod>_a" and "<mod>_i" to write_smt2 output commit | commitdiff | tree
2015-02-22 Clifford WolfAdded "check -assert" doc commit | commitdiff | tree
2015-02-22 Clifford WolfAdded "check -assert" commit | commitdiff | tree
2015-02-22 Clifford WolfFixed "sat -initsteps" off-by-one bug commit | commitdiff | tree
2015-02-21 Clifford WolfAdded "sat -stepsize" and "sat -tempinduct-step" commit | commitdiff | tree
2015-02-21 Clifford Wolfsat docu change commit | commitdiff | tree
2015-02-21 Clifford WolfWhen "sat -tempinduct-baseonly -maxsteps N" reaches... commit | commitdiff | tree
2015-02-21 Clifford WolfAdded "sat -tempinduct-baseonly -tempinduct-inductonly" commit | commitdiff | tree
2015-02-21 Clifford WolfFixed basecase init for "sat -tempinduct" commit | commitdiff | tree
2015-02-21 Clifford WolfFixed "flatten" for non-pre-derived modules commit | commitdiff | tree
2015-02-21 Clifford WolfHotfix for yosysjs/demo03.html commit | commitdiff | tree
2015-02-21 Clifford WolfYosysJS: Wait for Viz to load commit | commitdiff | tree
2015-02-21 Clifford WolfReplaced ezDefaultSAT with ezSatPtr commit | commitdiff | tree
2015-02-21 Clifford WolfCatch constants assigned to cell outputs in "flatten" commit | commitdiff | tree
2015-02-20 Clifford WolfAdded deep recursion warning to AST simplify commit | commitdiff | tree
2015-02-20 Clifford WolfParser support for complex delay expressions commit | commitdiff | tree
2015-02-19 Clifford WolfYosysJS firefox fixes commit | commitdiff | tree
next