projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add counter-example from @cliffordwolf
[yosys.git] / techlibs /
2019-09-03 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-09-02 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-09-01 Eddie HungMerge pull request #1344 from YosysHQ/eddie/ice40_signe... tree | commitdiff
2019-09-01 Clifford WolfMerge pull request #1347 from mmicko/fix_select_error_msg tree | commitdiff
2019-09-01 David ShahMerge pull request #1346 from mmicko/fix_ecp5_cells_sim tree | commitdiff
2019-08-31 Miodrag MilanovicFix TRELLIS_FF simulation model tree | commitdiff
2019-08-31 David Shahecp5_gsr: Fix typo tree | commitdiff
2019-08-30 Eddie HungMerge pull request #1340 from YosysHQ/eddie/abc_no_clean tree | commitdiff
2019-08-30 Eddie HungMerge pull request #1310 from SergeyDegtyar/master tree | commitdiff
2019-08-30 Eddie HungMerge pull request #1321 from YosysHQ/eddie/xilinx_srl tree | commitdiff
2019-08-30 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-30 David ShahMerge pull request #1343 from whitequark/diamond-ffs tree | commitdiff
2019-08-30 David Shahecp5: Add simulation equivalence check for Diamond... tree | commitdiff
2019-08-30 whitequarkecp5: deduplicate Diamond FD/IFS/OFS/IO primitives. tree | commitdiff
2019-08-30 whitequarkecp5: allow (and enable by default) GSR on FD/IFS/OFS... tree | commitdiff
2019-08-30 whitequarkecp5: add missing FD primitives. tree | commitdiff
2019-08-30 whitequarkecp5: fix CEMUX on IFS/OFS primitives. tree | commitdiff
2019-08-30 SergeyMerge branch 'master' into master tree | commitdiff
2019-08-30 Eddie HungMerge pull request #1337 from YosysHQ/eddie/fix_carry_w... tree | commitdiff
2019-08-29 SergeyMerge pull request #2 from YosysHQ/master tree | commitdiff
2019-08-29 SergeyMerge pull request #3 from YosysHQ/Sergey/tests_ice40 tree | commitdiff
2019-08-29 Eddie HungRename boxes too tree | commitdiff
2019-08-29 Eddie HungDo not overwrite LUT param tree | commitdiff
2019-08-29 Eddie HungTrailing comma tree | commitdiff
2019-08-29 Eddie HungAdapt to $__ICE40_CARRY_WRAPPER tree | commitdiff
2019-08-29 Eddie HungRevert "Remove $__ICE40_FULL_ADDER handling from ice40_... tree | commitdiff
2019-08-29 Eddie HungRemove $__ICE40_FULL_ADDER handling from ice40_opt... tree | commitdiff
2019-08-29 Eddie HungUpdate box size and timings tree | commitdiff
2019-08-29 Eddie HungUpdate to new $__ICE40_CARRY_WRAPPER tree | commitdiff
2019-08-28 Eddie HungMerge pull request #1334 from YosysHQ/clifford/async2sy... tree | commitdiff
2019-08-28 Eddie HungMerge remote-tracking branch 'origin/clifford/async2syn... tree | commitdiff
2019-08-28 Eddie HungAdd (* clkbuf_sink *) to SRLC16E, reorder ports to... tree | commitdiff
2019-08-28 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-28 David ShahMerge pull request #1332 from YosysHQ/dave/ecp5gsr tree | commitdiff
2019-08-27 Clifford WolfMerge pull request #1325 from YosysHQ/eddie/sat_init tree | commitdiff
2019-08-27 Marcin Kościelnickixilinx: Add SRLC16E primitive. tree | commitdiff
2019-08-27 Eddie HungMerge pull request #1292 from YosysHQ/mwk/xilinx_bufgmap tree | commitdiff
2019-08-27 David Shahecp5: Add GSR support tree | commitdiff
2019-08-26 Eddie HungMerge branch 'master' into eddie/xilinx_srl tree | commitdiff
2019-08-26 Eddie HungMerge branch 'master' into mwk/xilinx_bufgmap tree | commitdiff
2019-08-26 Clifford WolfMerge tag 'yosys-0.9' tree | commitdiff
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue tree | commitdiff
2019-08-24 Clifford WolfMerge pull request #1327 from YosysHQ/clifford/pmgen tree | commitdiff
2019-08-23 Eddie HungAdd undocumented feature tree | commitdiff
2019-08-23 Eddie Hungxilinx_srl now copes with word-level flops $dff{,e} tree | commitdiff
2019-08-23 Eddie HungMerge remote-tracking branch 'origin/clifford/pmgen... tree | commitdiff
2019-08-23 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-23 Eddie HungMerge branch 'master' into mwk/xilinx_bufgmap tree | commitdiff
2019-08-23 Eddie HungForgot one tree | commitdiff
2019-08-23 Eddie HungMerge branch 'master' into mwk/xilinx_bufgmap tree | commitdiff
2019-08-23 Eddie HungPut abc_* attributes above port tree | commitdiff
2019-08-23 Eddie HungMerge remote-tracking branch 'origin/master' into mwk... tree | commitdiff
2019-08-22 Eddie HungMerge pull request #1319 from TeaEngineering/shuckc... tree | commitdiff
2019-08-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-22 Eddie HungMerge pull request #1317 from YosysHQ/eddie/opt_expr_shiftx tree | commitdiff
2019-08-22 Clifford WolfFix missing newline at end of file tree | commitdiff
2019-08-22 Clifford WolfMerge pull request #1289 from mmicko/anlogic_fixes tree | commitdiff
2019-08-22 Clifford WolfFix missing newline at end of file tree | commitdiff
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix tree | commitdiff
2019-08-22 Eddie HungAdd variable length support to xilinx_srl tree | commitdiff
2019-08-21 Eddie Hungabc9 to perform new 'map_ffs' before 'map_luts' tree | commitdiff
2019-08-21 Eddie HungMerge branch 'eddie/fix_mem2reg' into eddie/xilinx_srl tree | commitdiff
2019-08-21 Eddie HungAdd init support tree | commitdiff
2019-08-21 Clifford WolfMerge pull request #1314 from YosysHQ/eddie/fix_techmap tree | commitdiff
2019-08-21 Eddie HungMissing newline tree | commitdiff
2019-08-20 Eddie HungMerge pull request #1209 from YosysHQ/eddie/synth_xilinx tree | commitdiff
2019-08-20 Eddie HungMerge pull request #1304 from YosysHQ/eddie/abc9_refactor tree | commitdiff
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-19 Eddie HungUnify abc_carry_{in,out} into abc_carry and use port... tree | commitdiff
2019-08-19 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-08-19 Eddie HungMerge remote-tracking branch 'origin/master' into cliff... tree | commitdiff
2019-08-18 Miodrag MilanovicMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2019-08-18 whitequarkMerge pull request #1290 from YosysHQ/eddie/pr1266_again tree | commitdiff
2019-08-18 whitequarkMerge branch 'master' into eddie/pr1266_again tree | commitdiff
2019-08-17 Clifford WolfMerge pull request #1283 from YosysHQ/clifford/fix1255 tree | commitdiff
2019-08-17 Clifford WolfMerge pull request #1303 from YosysHQ/bogdanvuk/opt_share tree | commitdiff
2019-08-17 Clifford WolfMerge pull request #1300 from YosysHQ/eddie/cleanup2 tree | commitdiff
2019-08-16 Eddie HungUpdate abc_* attr in ecp5 and ice40 tree | commitdiff
2019-08-16 Eddie HungAttach abc_scc_break, abc_carry_{in,out} attr to ports... tree | commitdiff
2019-08-16 Eddie HungMerge pull request #1250 from bwidawsk/master tree | commitdiff
2019-08-16 Eddie HungMerge https://github.com/bogdanvuk/yosys into bogdanvuk... tree | commitdiff
2019-08-16 Eddie HungMerge remote-tracking branch 'origin/master' into mwk... tree | commitdiff
2019-08-13 Marcin Kościelnickimove attributes to wires tree | commitdiff
2019-08-13 Marcin Kościelnickiminor review fixes tree | commitdiff
2019-08-13 Marcin Kościelnickireview fixes tree | commitdiff
2019-08-12 Marcin KościelnickiAdd clock buffer insertion pass, improve iopadmap. tree | commitdiff
2019-08-12 Eddie HungFix $lut pin ordering inside $__ICE40_CARRY_WRAPPER tree | commitdiff
2019-08-12 Eddie HungRevert "Merge pull request #1280 from YosysHQ/revert... tree | commitdiff
2019-08-12 Miodrag MilanovicProper arith for Anlogic and use standard pass tree | commitdiff
2019-08-12 Serge BazanskiMerge pull request #1152 from 1138-4EB/feat-docker tree | commitdiff
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-11 Miodrag MilanovicFix formating tree | commitdiff
2019-08-11 Miodrag Milanovicone bit enable signal tree | commitdiff
2019-08-11 Miodrag Milanovicfix mixing signals on FF mapping tree | commitdiff
2019-08-11 Miodrag MilanovicReplaced custom step with setundef tree | commitdiff
2019-08-11 Miodrag MilanovicFixed data width tree | commitdiff
2019-08-11 Miodrag MilanovicAdding new pass to fix carry chain tree | commitdiff
2019-08-11 Miodrag Milanoviccleanup tree | commitdiff
2019-08-10 Eddie HungMerge pull request #1280 from YosysHQ/revert-1266-eddie... tree | commitdiff
next