projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2017-02-08 Clifford WolfAdd SV "rand" and "const rand" support commit | commitdiff | tree
2017-02-08 Clifford WolfAdd PSL parser mode to verific front-end commit | commitdiff | tree
2017-02-06 Clifford WolfAdd "read_blif -wideports" commit | commitdiff | tree
2017-02-05 Clifford WolfFix undef propagation bug in $pmux SAT model commit | commitdiff | tree
2017-02-05 Clifford WolfUpdate ABC to hg rev a2fcd1cc61a6 commit | commitdiff | tree
2017-02-05 Clifford WolfMerge pull request #304 from esden/gsed-darwin commit | commitdiff | tree
2017-02-05 Piotr Esden... Use -E sed parameter instead of -r. commit | commitdiff | tree
2017-02-04 Clifford WolfAdd assert check in "yosys-smtbmc -c" commit | commitdiff | tree
2017-02-04 Clifford WolfImprove yosys-smtbmc cover() support commit | commitdiff | tree
2017-02-04 Clifford WolfPartially implement cover() support in yosys-smtbmc commit | commitdiff | tree
2017-02-04 Clifford WolfFurther improve cover() support commit | commitdiff | tree
2017-02-04 Clifford WolfAdd $cover cell type and SVA cover() support commit | commitdiff | tree
2017-02-04 Clifford WolfAdd assert/assume support to verific front-end commit | commitdiff | tree
2017-02-01 Clifford WolfUpdate ABC to hg rev fe96921e5d50 commit | commitdiff | tree
2017-02-01 Clifford WolfUpdate ABC scripts to use "&nf" instead of "map" commit | commitdiff | tree
2017-01-31 Clifford WolfMerge branch 'C-Elegans-opt_compare_pr' commit | commitdiff | tree
2017-01-31 Clifford WolfFix indenting and log messages in code merged from... commit | commitdiff | tree
2017-01-31 Clifford WolfMerge branch 'opt_compare_pr' of https://github.com... commit | commitdiff | tree
2017-01-31 Clifford WolfImprove opt_rmdff support for $dlatch cells commit | commitdiff | tree
2017-01-30 C-ElegansRefactor and generalize the comparision optimization commit | commitdiff | tree
2017-01-30 Clifford WolfAdd "yosys-smtbmc --aig <aim_filename>:<aiw_filename... commit | commitdiff | tree
2017-01-30 Clifford WolfAdd $ff and $_FF_ support to equiv_simple commit | commitdiff | tree
2017-01-28 Clifford WolfAdd "yosys-smtbmc --aig-noheader" and AIGER mem init... commit | commitdiff | tree
2017-01-26 Clifford WolfBe more conservative with merging large cells into... commit | commitdiff | tree
2017-01-26 Clifford WolfAdd warnings for quickly growing FSM table size in... commit | commitdiff | tree
2017-01-26 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2017-01-25 Clifford WolfFix RTLIL::Memory::start_offset initialization commit | commitdiff | tree
2017-01-21 C-ElegansDo not use b.as_int() in calculation of bit set commit | commitdiff | tree
2017-01-17 Clifford WolfAdd "enum" and "typedef" lexer support commit | commitdiff | tree
2017-01-16 C-ElegansOptimize compares to powers of 2 commit | commitdiff | tree
2017-01-16 Clifford WolfMerge pull request #293 from thoughtpolice/minor-cleanup commit | commitdiff | tree
2017-01-15 Austin Seipppasses/hierarchy: delete some dead code commit | commitdiff | tree
2017-01-15 C-ElegansFix issue #269, optimize signed compare with 0 commit | commitdiff | tree
2017-01-15 Clifford WolfFix bug in AstNode::mem2reg_as_needed_pass2() commit | commitdiff | tree
2017-01-11 Clifford WolfFix $initstate handling bug in yosys-smtbmc commit | commitdiff | tree
2017-01-11 Clifford WolfUpdate ABC to hg id f8cadfe3861f commit | commitdiff | tree
2017-01-08 Clifford WolfUpdated ABC to hg id 38b26a543f1d commit | commitdiff | tree
2017-01-05 Clifford WolfFixed handling of local memories in functions commit | commitdiff | tree
2017-01-04 Clifford WolfAdded "check -initdrv" commit | commitdiff | tree
2017-01-04 Clifford WolfAdded handling of local memories and error for local... commit | commitdiff | tree
2017-01-04 Clifford WolfImplicitly set "yosys-smtbmc --noprogress" on windows commit | commitdiff | tree
2017-01-04 Clifford WolfFixed typo in tests/simple/arraycells.v commit | commitdiff | tree
2017-01-04 Clifford WolfFixed "yosys-smtbmc --noprogress" commit | commitdiff | tree
2017-01-03 Clifford WolfAdded Verilog $rtoi and $itor support commit | commitdiff | tree
2017-01-02 Clifford WolfHandle "always 1" like "always -1" in .smtc files commit | commitdiff | tree
2017-01-01 Clifford WolfAdded cell port resizing to hierarchy pass commit | commitdiff | tree
2016-12-31 Clifford WolfUpdated ABC to hg id 55cd83f432c0 commit | commitdiff | tree
2016-12-31 Clifford WolfBugfix in RTLIL::SigSpec::remove2() commit | commitdiff | tree
2016-12-29 Clifford WolfUpdated ABC to hg id 8c6a635f7a20 commit | commitdiff | tree
2016-12-29 Clifford WolfImproved write_json help message commit | commitdiff | tree
2016-12-26 Clifford WolfUpdated ABC to hg id f591c081d5e7 commit | commitdiff | tree
2016-12-24 Clifford WolfMerge pull request #284 from azonenberg/master commit | commitdiff | tree
2016-12-23 Andrew ZonenbergMerge pull request #1 from azonenberg-hk/master commit | commitdiff | tree
2016-12-23 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys commit | commitdiff | tree
2016-12-23 Clifford WolfSimplified log_spacer() code commit | commitdiff | tree
2016-12-22 Clifford WolfAdded "yosys -W regex" commit | commitdiff | tree
2016-12-21 Clifford WolfAdded AIGER back-end to automatic back-end detection commit | commitdiff | tree
2016-12-21 Clifford WolfUpdated ABC to hg rev a4872e22c646 commit | commitdiff | tree
2016-12-21 Clifford WolfUpdated ABC to hg rev 8bab2eedbba4 commit | commitdiff | tree
2016-12-21 Andrew Zonenberggreenpak4: Added INT pin to GP_SPI commit | commitdiff | tree
2016-12-21 Andrew Zonenberggreenpak4: removed unused MISO pin from GP_SPI commit | commitdiff | tree
2016-12-20 Andrew Zonenberggreenpak4: Removed SPI_BUFFER parameter commit | commitdiff | tree
2016-12-20 Andrew Zonenberggreenpak4: replaced MOSI/MISO with single one-way SDAT pin commit | commitdiff | tree
2016-12-20 Andrew Zonenberggreenpak4: Changed port names on GP_SPI for clarity commit | commitdiff | tree
2016-12-20 Andrew Zonenberggreenpak4: Initial implementation of GP_SPI cell commit | commitdiff | tree
2016-12-17 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys commit | commitdiff | tree
2016-12-17 Andrew Zonenberggreenpak4: Updated GP_DCMP cell model commit | commitdiff | tree
2016-12-16 Andrew Zonenberggreenpak: Fixes to GP_DCMP* blocks. Added GP_CLKBUF. commit | commitdiff | tree
2016-12-15 Clifford WolfAdded "verilog_defines" command commit | commitdiff | tree
2016-12-15 Andrew Zonenberggreenpak4: Initial version of GP_DCMP skeleton (not... commit | commitdiff | tree
2016-12-14 Andrew Zonenberggreenpak4: More fixups of GP_DCMPx cells commit | commitdiff | tree
2016-12-14 Andrew Zonenberggreenpak4: And another typo :( commit | commitdiff | tree
2016-12-14 Andrew Zonenberggreenpak4: Fixed another typo commit | commitdiff | tree
2016-12-14 Andrew Zonenberggreenpak4: Fixed typo commit | commitdiff | tree
2016-12-14 Andrew Zonenberggreenpak4: Cleaned up trailing spaces in cells_sim commit | commitdiff | tree
2016-12-14 Andrew Zonenberggreenpak4: Added GP_DCMPREF / GP_DCMPMUX commit | commitdiff | tree
2016-12-13 Clifford WolfBugfix in comment handling commit | commitdiff | tree
2016-12-12 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys commit | commitdiff | tree
2016-12-11 Clifford WolfAdded $anyconst support to AIGER back-end commit | commitdiff | tree
2016-12-11 Clifford WolfMerge branch 'LSS-USP-unit-test-structure' commit | commitdiff | tree
2016-12-11 Clifford WolfSome minor CodingReadme changes in unit test section commit | commitdiff | tree
2016-12-11 Clifford WolfBuild hotfix in tests/unit/Makefile commit | commitdiff | tree
2016-12-11 Andrew ZonenbergAdded GP_PWRDET block, BANDWIDTH_KHZ parameter to GP_ABUF commit | commitdiff | tree
2016-12-10 rodrigosiqueiraImproved unit test structure commit | commitdiff | tree
2016-12-10 Andrew Zonenberggreenpak4: Added support for inferred input/output... commit | commitdiff | tree
2016-12-10 Andrew Zonenberggreenpak4: Can now techmap inferred D latches (without... commit | commitdiff | tree
2016-12-10 Andrew Zonenberggreenpak4: Inverted D latch cells now have nQ instead... commit | commitdiff | tree
2016-12-06 Andrew ZonenbergAdded GP_DLATCH and GP_DLATCHI commit | commitdiff | tree
2016-12-06 Andrew ZonenbergInitial implementation of techlib support for GreenPAK... commit | commitdiff | tree
2016-12-06 Andrew ZonenbergUpdated help text for synth_greenpak4 commit | commitdiff | tree
2016-12-04 rodrigosiqueiraAdded explanation about configure and create test commit | commitdiff | tree
2016-12-04 rodrigosiqueiraAdded required structure to implement unit tests commit | commitdiff | tree
2016-12-03 Clifford WolfAdded $assert/$assume support to AIGER back-end commit | commitdiff | tree
2016-12-03 Clifford WolfImproved yosys-smtbmc default -t/--assume-skipped for... commit | commitdiff | tree
2016-12-01 Clifford WolfUpdated ABV to hg rev 8b555d9e67cf commit | commitdiff | tree
2016-12-01 Clifford WolfAdded examples/aiger/ commit | commitdiff | tree
2016-12-01 Clifford WolfAdded "yosys-smtbmc --aig" commit | commitdiff | tree
2016-12-01 Clifford WolfAdded support for partially initialized regs to smt2... commit | commitdiff | tree
2016-12-01 Clifford WolfAdded "write_aiger -zinit -symbols -vmap" commit | commitdiff | tree
2016-11-30 Clifford WolfAdded "write_aiger" command commit | commitdiff | tree
next