projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2019-09-29 Miodrag MilanovicOpen aig frontend as binary file commit | commitdiff | tree
2019-09-29 Miodrag MilanovićMerge pull request #1413 from YosysHQ/mmicko/backend_bi... commit | commitdiff | tree
2019-09-29 Clifford WolfMerge pull request #1411 from aman-goel/YosysHQ-master commit | commitdiff | tree
2019-09-28 Miodrag MilanovicAdd aiger and protobuf backends binary support commit | commitdiff | tree
2019-09-28 Miodrag MilanovicSupport binary files for backends, fixes #1407 commit | commitdiff | tree
2019-09-28 Eddie HungFix box name commit | commitdiff | tree
2019-09-27 Aman GoelCorrects btor2 backend commit | commitdiff | tree
2019-09-27 Marcin KościelnickiFix _TECHMAP_REMOVEINIT_ handling. commit | commitdiff | tree
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master commit | commitdiff | tree
2019-09-27 Miodrag MilanovićMerge pull request #1409 from YosysHQ/mmicko/fix_getopt... commit | commitdiff | tree
2019-09-27 Miodrag MilanovicChange order of parameters, to work on other os commit | commitdiff | tree
2019-09-27 Clifford WolfMerge pull request #1404 from YosysHQ/fix_gzip_macos commit | commitdiff | tree
2019-09-26 Eddie HungMissing an '&' commit | commitdiff | tree
2019-09-26 Miodrag MilanovicMake read/write gzip files on macos works, fixes #1357 commit | commitdiff | tree
2019-09-25 Eddie HungMerge pull request #1401 from SergeyDegtyar/SergeyDegty... commit | commitdiff | tree
2019-09-25 SergeyDegtyarChange sync controls to async. commit | commitdiff | tree
2019-09-25 Clifford WolfMerge pull request #1402 from YosysHQ/clifford/portlist commit | commitdiff | tree
2019-09-25 Clifford WolfImprove "portlist" command commit | commitdiff | tree
2019-09-24 Clifford WolfAdd "portlist" command commit | commitdiff | tree
2019-09-24 SergeyDegtyaradffs test update (equiv_opt -multiclock). 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
next