projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
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
2019-09-02 EmilyUse `command -v` rather than `which` commit | commitdiff | tree
2019-09-02 Clifford WolfProperly construct $live and $fair cells from "if ... commit | commitdiff | tree
2019-09-02 Eddie HungAdd comments commit | commitdiff | tree
2019-09-02 Eddie HungRename box commit | commitdiff | tree
2019-09-02 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... commit | commitdiff | tree
2019-09-02 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys commit | commitdiff | tree
2019-09-02 Eddie HungRecognise built-in types (e.g. $_DFF_*) commit | commitdiff | tree
2019-09-01 Eddie HungMerge pull request #1344 from YosysHQ/eddie/ice40_signe... commit | commitdiff | tree
2019-09-01 Clifford WolfMerge pull request #1347 from mmicko/fix_select_error_msg commit | commitdiff | tree
2019-09-01 David ShahMerge pull request #1346 from mmicko/fix_ecp5_cells_sim commit | commitdiff | tree
2019-09-01 Miodrag MilanovicFix select command error msg, fixes issue #1081 commit | commitdiff | tree
2019-08-31 Miodrag MilanovicFix TRELLIS_FF simulation model commit | commitdiff | tree
2019-08-31 David Shahecp5_gsr: Fix typo commit | commitdiff | tree
2019-08-31 Eddie HungMake abc9 test a bit more interesting commit | commitdiff | tree
2019-08-31 Eddie HungRecognise built-in types (e.g. $_DFF_*) commit | commitdiff | tree
2019-08-30 Eddie HungRemove trailing space commit | commitdiff | tree
2019-08-30 Eddie HungMissing dep for test_pmgen commit | commitdiff | tree
2019-08-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... commit | commitdiff | tree
next