projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2017-07-28 Clifford WolfAdd merging of "past FFs" to verific importer commit | commitdiff | tree
2017-07-28 Clifford WolfAdd consolidation of init attributes to opt_clean,... commit | commitdiff | tree
2017-07-28 Clifford WolfAdd minimal support for PSL in VHDL via Verific commit | commitdiff | tree
2017-07-28 Clifford WolfAdd simple VHDL+PSL example commit | commitdiff | tree
2017-07-28 Clifford WolfImprove Verific HDL language options commit | commitdiff | tree
2017-07-28 Clifford WolfFix handling of non-user-declared Verific netbus commit | commitdiff | tree
2017-07-27 Clifford WolfImprove Verific SVA importer commit | commitdiff | tree
2017-07-27 Clifford WolfAdd counter.sv SVA test commit | commitdiff | tree
2017-07-27 Clifford WolfAdd log_warning_noprefix() API, Use for Verific warning... commit | commitdiff | tree
2017-07-27 Clifford WolfAdd "verific -import -n" and "verific -import -nosva" commit | commitdiff | tree
2017-07-27 Clifford WolfImprove SVA tests, add Makefile and scripts commit | commitdiff | tree
2017-07-27 Clifford WolfImprove Verific SVA import: negedge and $past commit | commitdiff | tree
2017-07-27 Clifford WolfImprove Verific SVA importer commit | commitdiff | tree
2017-07-26 Clifford WolfAdd "opt_expr -fine" feature to remove neutral bits... commit | commitdiff | tree
2017-07-26 Clifford WolfImprove Verific bindings (mostly related to SVA) commit | commitdiff | tree
2017-07-25 Clifford WolfImprove "help verific" message commit | commitdiff | tree
2017-07-25 Clifford WolfAdd "verific -extnets" commit | commitdiff | tree
2017-07-25 Clifford WolfAdd "using std::get" to yosys.h commit | commitdiff | tree
2017-07-25 Clifford WolfImprove "verific -all" handling commit | commitdiff | tree
2017-07-24 Clifford WolfAdd "verific -import -d <dump_file" commit | commitdiff | tree
2017-07-24 Clifford WolfAdd "verific -import -flatten" and "verific -import -v" commit | commitdiff | tree
2017-07-22 Clifford WolfAdd more SVA test cases for future Verific work commit | commitdiff | tree
2017-07-22 Clifford WolfAdd "verific -import -k" commit | commitdiff | tree
2017-07-22 Clifford WolfAdd error for cell output ports that are connected... commit | commitdiff | tree
2017-07-22 Clifford WolfAdd some simple SVA test cases for future Verific work commit | commitdiff | tree
2017-07-22 Clifford WolfImprove docs for verific bindings, add simply sby example commit | commitdiff | tree
2017-07-21 Clifford WolfFix handling of empty cell port assignments (i.e. ignor... commit | commitdiff | tree
2017-07-21 Clifford WolfFix "read_blif -wideports" handling of cells with wide... commit | commitdiff | tree
2017-07-21 Clifford WolfAdd a paragraph about pre-defined macros to read_verilo... commit | commitdiff | tree
2017-07-21 Clifford WolfAdd verilator support to testbenches generated by yosys... commit | commitdiff | tree
2017-07-18 Clifford WolfChange intptr_t to uintptr_t in hashlib.h commit | commitdiff | tree
2017-07-18 Clifford WolfMerge pull request #363 from rqou/master commit | commitdiff | tree
2017-07-17 Robert Oumakefile: Add the option to use libtermcap commit | commitdiff | tree
2017-07-17 Robert OuFix build warnings for win64 commit | commitdiff | tree
2017-07-14 Clifford WolfAdd $alu to list of supported cells for "stat -width" commit | commitdiff | tree
2017-07-12 Clifford WolfGenerate FSM-style testbenches in smtbmc commit | commitdiff | tree
2017-07-11 Clifford WolfFix the fixed handling of x-bits in EDIF back-end commit | commitdiff | tree
2017-07-11 Clifford WolfFix handling of x-bits in EDIF back-end commit | commitdiff | tree
2017-07-10 Clifford WolfAdd attributes and parameter support to JSON front-end commit | commitdiff | tree
2017-07-10 Clifford WolfAdd techlibs/xilinx/lut2lut.v commit | commitdiff | tree
2017-07-08 Clifford WolfAdd JSON front-end commit | commitdiff | tree
2017-07-07 Clifford WolfChange s/asserts/assertions/ in yosys-smtbmc log messages commit | commitdiff | tree
2017-07-07 Clifford WolfAdd "yosys-smtbmc --presat" commit | commitdiff | tree
2017-07-05 Clifford WolfFix generation of multiple outputs for same AIG node... commit | commitdiff | tree
2017-07-05 Clifford WolfAdd write_table command commit | commitdiff | tree
2017-07-04 Clifford WolfAdd Verific Release information to log commit | commitdiff | tree
2017-07-03 Clifford WolfFix some c++ clang compiler errors commit | commitdiff | tree
2017-07-03 Clifford WolfApply minor coding style changes to coolrunner2 target commit | commitdiff | tree
2017-07-03 Clifford WolfMerge pull request #352 from rqou/master commit | commitdiff | tree
2017-07-03 Clifford WolfMerge pull request #356 from set-soft/clean-test commit | commitdiff | tree
2017-07-03 Clifford WolfMerge pull request #355 from set-soft/exclude_TBUF_merge commit | commitdiff | tree
2017-07-03 Salvador E... Added the test outputs to the clean target commit | commitdiff | tree
2017-07-03 Salvador E... Excluded $_TBUF_ from opt_merge pass commit | commitdiff | tree
2017-07-03 Clifford WolfRemove unneeded delays in smtbmc vlogtb commit | commitdiff | tree
2017-07-03 Clifford WolfInclude output ports with constant driver in AIGER... commit | commitdiff | tree
2017-07-01 Clifford WolfAdd "yosys-smtbmc --vlogtb-top" commit | commitdiff | tree
2017-07-01 Clifford WolfFix and_or_buffer optimization in opt_expr for signed... commit | commitdiff | tree
2017-07-01 Clifford WolfFix smtbmc vlogtb bug in $anyseq handling commit | commitdiff | tree
2017-06-30 Clifford WolfAdd "design -import" commit | commitdiff | tree
2017-06-30 Clifford WolfAdd chtype command commit | commitdiff | tree
2017-06-30 Clifford WolfAdd $tribuf to opt_merge blacklist commit | commitdiff | tree
2017-06-27 Clifford WolfMerge pull request #353 from azonenberg/master commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Add a few more primitives commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Initial mapping of latches commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Initial mapping of DFFs commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Remove redundant INVERT_PTC commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Remove debug prints commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Correctly handle $_NOT_ after $sop commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Also construct the XOR cell in the macrocell commit | commitdiff | tree
2017-06-26 Robert Oucoolrunner2: Initial techmapping for $sop commit | commitdiff | tree
2017-06-24 Andrew Zonenberggreenpak4_counters: Changed generation of primitive... commit | commitdiff | tree
2017-06-24 Robert Oucoolrunner2: Initial commit commit | commitdiff | tree
2017-06-20 Clifford WolfFix handling of init values in "abc -dff" and "abc... commit | commitdiff | tree
2017-06-20 Clifford WolfFix history namespace collision commit | commitdiff | tree
2017-06-20 Clifford WolfStore command history when terminating with an error commit | commitdiff | tree
2017-06-20 Clifford WolfSwitched abc "clock domain not found" error to log_cmd_... commit | commitdiff | tree
2017-06-07 Clifford WolfFix generation of vlogtb output in yosys-smtbmc for... commit | commitdiff | tree
2017-06-01 Clifford WolfFix handling of Verilog ~& and ~| operators commit | commitdiff | tree
2017-05-31 Clifford WolfUpdate ABC to hg rev efbf7f13ea9e commit | commitdiff | tree
2017-05-31 Clifford WolfAdd dff2ff.v techmap file commit | commitdiff | tree
2017-05-30 Clifford WolfFix AIGER back-end for multiple symbols per input/latch... commit | commitdiff | tree
2017-05-28 Clifford WolfAdd "setundef -anyseq" commit | commitdiff | tree
2017-05-28 Clifford WolfImprove write_aiger handling of unconnected nets and... commit | commitdiff | tree
2017-05-27 Clifford WolfChange default smt2 solver to yices (Yices 2 has switch... commit | commitdiff | tree
2017-05-24 Clifford WolfAdd aliases for common sets of gate types to "abc -g" commit | commitdiff | tree
2017-05-23 Clifford WolfAdd examples/osu035 commit | commitdiff | tree
2017-05-23 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2017-05-23 Clifford WolfMerge pull request #346 from azonenberg/master commit | commitdiff | tree
2017-05-23 Andrew Zonenberggreenpak4_counters: Added support for parallel output... commit | commitdiff | tree
2017-05-17 Clifford WolfAdd workaround for CBMC bug to SimpleC back-end commit | commitdiff | tree
2017-05-17 Clifford WolfEnable readline and tcl in mxe builds commit | commitdiff | tree
2017-05-17 Clifford WolfAdd missing AndnotGate() and OrnotGate() declarations... commit | commitdiff | tree
2017-05-17 Clifford WolfAdd $_ANDNOT_ and $_ORNOT_ gates commit | commitdiff | tree
2017-05-16 Clifford WolfAdd <modname>_init() function generator to simpleC... commit | commitdiff | tree
2017-05-16 Clifford WolfImprove simplec back-end commit | commitdiff | tree
2017-05-15 Clifford WolfImprove simplec back-end commit | commitdiff | tree
2017-05-14 Clifford WolfImprove simplec back-end commit | commitdiff | tree
2017-05-13 Clifford WolfImprove simplec back-end commit | commitdiff | tree
2017-05-12 Clifford WolfImprove simplec back-end commit | commitdiff | tree
2017-05-12 Clifford WolfAdded support for more gate types to simplec back-end commit | commitdiff | tree
next