projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2019-09-25 Clifford WolfImprove "portlist" command commit | commitdiff | tree
2019-09-24 Clifford WolfAdd "portlist" command commit | commitdiff | tree
2019-09-23 Miodrag MilanovićMerge pull request #1399 from nakengelhardt/fix-show... commit | commitdiff | tree
2019-09-23 N. Engelhardtadd xdot dependency to Brewfile commit | commitdiff | tree
2019-09-23 N. Engelhardtfix show command for macos commit | commitdiff | tree
2019-09-21 Clifford WolfMerge pull request #1392 from YosysHQ/eddie/fix1391 commit | commitdiff | tree
2019-09-21 Eddie HungHell let's add the original #1381 testcase too commit | commitdiff | tree
2019-09-21 Eddie HungRevert abc9.cc commit | commitdiff | tree
2019-09-21 Eddie HungAdd testcase commit | commitdiff | tree
2019-09-21 Eddie HungTrim mismatched connection to be same (smallest) size commit | commitdiff | tree
2019-09-21 Eddie HungFix first testcase in #1391 commit | commitdiff | tree
2019-09-20 Clifford WolfMerge pull request #1386 from YosysHQ/clifford/fix1360 commit | commitdiff | tree
2019-09-20 Clifford WolfFix handling of read_verilog config in AstModule::repro... commit | commitdiff | tree
2019-09-20 Clifford WolfUpdate CHANGELOG commit | commitdiff | tree
2019-09-20 Clifford WolfAdd "add -mod" commit | commitdiff | tree
2019-09-20 Clifford WolfMerge pull request #1384 from YosysHQ/clifford/fix1381 commit | commitdiff | tree
2019-09-19 Clifford WolfAdd techmap_autopurge attribute, fixes #1381 commit | commitdiff | tree
2019-09-19 Marcin KościelnickiUse extractinv for synth_xilinx -ise commit | commitdiff | tree
2019-09-19 Marcin KościelnickiAdded extractinv pass commit | commitdiff | tree
2019-09-18 Eddie HungDocument (* gentb_skip *) attr for test_autotb commit | commitdiff | tree
2019-09-18 Eddie HungMerge pull request #1355 from YosysHQ/eddie/peepopt_dff... commit | commitdiff | tree
2019-09-18 Eddie HungMerge pull request #1379 from mmicko/sim_models commit | commitdiff | tree
2019-09-18 Miodrag Milanovicmake note that it is for latch mode commit | commitdiff | tree
2019-09-18 Miodrag Milanovicbetter lut handling commit | commitdiff | tree
2019-09-18 Miodrag Milanovicbetter handling of lut and begin/end add commit | commitdiff | tree
2019-09-18 Clifford WolfAdd "write_aiger -L" commit | commitdiff | tree
2019-09-18 Clifford WolfFix stupid bug in btor back-end commit | commitdiff | tree
2019-09-16 Clifford WolfBump version commit | commitdiff | tree
2019-09-16 Clifford WolfMerge pull request #1380 from YosysHQ/clifford/fix1372 commit | commitdiff | tree
2019-09-16 Clifford WolfFix handling of range selects on loop variables, fixes... commit | commitdiff | tree
2019-09-15 Eddie HungMerge pull request #1374 from YosysHQ/eddie/fix1371 commit | commitdiff | tree
2019-09-15 Marcin Kościelnickixilinx: Make blackbox library family-dependent. commit | commitdiff | tree
2019-09-15 Clifford WolfMerge pull request #1377 from YosysHQ/clifford/fixzdigit commit | commitdiff | tree
2019-09-15 Miodrag MilanovicAdded simulation models for Efinix and Anlogic commit | commitdiff | tree
2019-09-14 Eddie HungOops commit | commitdiff | tree
2019-09-13 Eddie HungAdd counter-example from @cliffordwolf commit | commitdiff | tree
2019-09-13 Eddie HungRevert "Make one check $shift(x)? only; change testcase... commit | commitdiff | tree
2019-09-13 Eddie HungSpacing commit | commitdiff | tree
2019-09-13 Eddie HungExplicitly order function arguments commit | commitdiff | tree
2019-09-13 Eddie HungUse template specialisation commit | commitdiff | tree
2019-09-13 Eddie HungRevert "SigSet<Cell*> to use stable compare class" commit | commitdiff | tree
2019-09-13 Clifford WolfFix handling of z_digit "?" and fix optimization of... commit | commitdiff | tree
2019-09-13 Clifford WolfMerge pull request #1373 from YosysHQ/clifford/fix1364 commit | commitdiff | tree
2019-09-13 Clifford WolfFix lexing of integer literals without radix commit | commitdiff | tree
2019-09-12 Eddie HungGrammar commit | commitdiff | tree
2019-09-12 Eddie Hungstatic_assert to enforce this going forward commit | commitdiff | tree
2019-09-12 Eddie HungSigSet<Cell*> to use stable compare class commit | commitdiff | tree
2019-09-12 David ShahMerge pull request #1370 from YosysHQ/dave/equiv_opt_mu... commit | commitdiff | tree
2019-09-12 Clifford WolfFix lexing of integer literals, fixes #1364 commit | commitdiff | tree
2019-09-11 Eddie HungTidy up commit | commitdiff | tree
2019-09-11 Eddie HungFix UB commit | commitdiff | tree
2019-09-11 Eddie HungCope with presence of reset muxes too commit | commitdiff | tree
2019-09-11 Eddie HungCleanup commit | commitdiff | tree
2019-09-11 Eddie HungAdd more tests commit | commitdiff | tree
2019-09-11 Eddie HungOnly display log message if did_something commit | commitdiff | tree
2019-09-11 Marcin KościelnickiAdd -match-init option to dff2dffs. commit | commitdiff | tree
2019-09-11 David ShahAdd equiv_opt -multiclock commit | commitdiff | tree
2019-09-11 David ShahMerge pull request #1362 from xobs/smtbmc-msvc2-build... commit | commitdiff | tree
2019-09-11 Eddie HungRename dffmuxext -> dffmux, also remove constants in... commit | commitdiff | tree
2019-09-11 Eddie Hungproc instead of prep commit | commitdiff | tree
2019-09-11 Eddie HungAdd unsigned case commit | commitdiff | tree
2019-09-10 Clifford WolfBump version commit | commitdiff | tree
2019-09-10 Sean Crosstests: ice40: fix div_mod SB_LUT4 count commit | commitdiff | tree
2019-09-09 Eddie HungFix misspelling commit | commitdiff | tree
2019-09-09 Sean Crosspasses: opt_share: don't statically initialize mergeabl... commit | commitdiff | tree
2019-09-08 Sean Crossmsys2: launcher: fix warnings and errors under g++ commit | commitdiff | tree
2019-09-08 Sean Crossbackends: smt2: use $(CXX) variable for compiler commit | commitdiff | tree
2019-09-07 Marcin Kościelnickisynth_xilinx: Support init values on Spartan 6 flip... commit | commitdiff | tree
2019-09-07 Marcin Kościelnickitechmap: Add support for extracting init values of... commit | commitdiff | tree
2019-09-07 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys commit | commitdiff | tree
2019-09-07 Eddie HungAdd missing -assert to equiv_opt commit | commitdiff | tree
2019-09-07 Eddie HungMissing equiv_opt -assert commit | commitdiff | tree
2019-09-07 Eddie HungMake one check $shift(x)? only; change testcase to... commit | commitdiff | tree
2019-09-07 Eddie HungUsee equiv_opt -assert commit | commitdiff | tree
2019-09-05 Eddie HungMerge pull request #1312 from YosysHQ/xaig_arrival commit | commitdiff | tree
2019-09-05 Clifford WolfBump version commit | commitdiff | tree
2019-09-05 Clifford WolfMerge pull request #1350 from YosysHQ/clifford/fixsby59 commit | commitdiff | tree
2019-09-05 Clifford WolfMerge pull request #1330 from YosysHQ/clifford/fix1145 commit | commitdiff | tree
2019-09-05 Eddie Hungsimple/peepopt.v tests to various/peepopt.ys with equiv... commit | commitdiff | tree
2019-09-05 Eddie HungRevert "abc9 followed by clean otherwise netlist could... commit | commitdiff | tree
2019-09-05 Clifford WolfUpdate README.md commit | commitdiff | tree
2019-09-05 Clifford WolfRename conflicting wires on flatten/techmap, add "hierc... commit | commitdiff | tree
2019-09-05 Clifford WolfAdd flatten handling of pre-existing wires as created... commit | commitdiff | tree
2019-09-05 whitequarkMerge pull request #1356 from emilazy/fix-makefile... commit | commitdiff | tree
2019-09-04 EmilyUse $(shell :; ...) in Makefile to force shell commit | commitdiff | tree
2019-09-04 Eddie HungResolve TODO with pin assignments for SRL* commit | commitdiff | tree
2019-09-04 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... commit | commitdiff | tree
2019-09-04 Eddie HungRevert "parse_xaiger() to do "clean -purge"" commit | commitdiff | tree
2019-09-04 Eddie Hungabc9 followed by clean otherwise netlist could be inval... commit | commitdiff | tree
2019-09-04 Eddie HungRemove log_cell() calls commit | commitdiff | tree
2019-09-04 Eddie HungAdd peepopt_dffmuxext commit | commitdiff | tree
2019-09-04 Eddie HungAdd peepopt_dffmuxext tests commit | commitdiff | tree
2019-09-04 whitequarkMerge pull request #1354 from emilazy/remove-which-use commit | commitdiff | tree
2019-09-04 EmilyReplace `which` with `command -v` in Makefile too commit | commitdiff | tree
2019-09-04 Eddie HungMerge pull request #1338 from YosysHQ/eddie/deferred_top commit | commitdiff | tree
2019-09-03 Eddie HungAdopt @cliffordwolf's suggestion commit | commitdiff | tree
2019-09-03 Eddie HungExpand test with `hierarchy' without -auto-top commit | commitdiff | tree
2019-09-03 Eddie HungAdd `read -noverific` before read commit | commitdiff | tree
2019-09-03 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... commit | commitdiff | tree
2019-09-03 Clifford WolfMerge pull request #1351 from emilazy/remove-which-use commit | commitdiff | tree
next