git.libre-soc.org Git - yosys.git/shortlog

2018-03-05	Clifford Wolf	Imporove yosys-smtbmc error handling, Improve VCD output	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Fix connwrappers help message	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Improve handling of warning messages	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Update copyright header	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Improve SMT2 encoding of $reduce_{and,or,bool}	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Fix a hangup in yosys-smtbmc error handling	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Add proper SVA seq.triggered support	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Add "synth -noshare"	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Add Verific SVA support for "seq and seq" expressions	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Refactor Verific SVA importer property parser	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Add VerificClocking class and refactor Verific DFF...	commit \| commitdiff \| tree
2018-03-03	Clifford Wolf	Improved error handling in yosys-smtbmc	commit \| commitdiff \| tree
2018-03-03	Clifford Wolf	Add SVA support for sequence OR	commit \| commitdiff \| tree
2018-03-03	Clifford Wolf	Terminate running SMT solver when smtbmc is terminated	commit \| commitdiff \| tree
2018-03-03	Clifford Wolf	Fix smtbmc smtc/aiw parser for wire names containing []	commit \| commitdiff \| tree
2018-03-02	Clifford Wolf	Fix handling of SVA "until seq.triggered" properties	commit \| commitdiff \| tree
2018-03-02	Clifford Wolf	Update SVA cheat sheet in verificsva.cc	commit \| commitdiff \| tree
2018-03-01	Clifford Wolf	Fix in Verific SVA importer handling of until_with	commit \| commitdiff \| tree
2018-03-01	Clifford Wolf	Mangle names with square brackets in VCD files to work...	commit \| commitdiff \| tree
2018-03-01	Clifford Wolf	Fixes and improvements in Verific SVA importer	commit \| commitdiff \| tree
2018-03-01	Clifford Wolf	Add $rose/$fell support to Verific bindings	commit \| commitdiff \| tree
2018-02-28	Clifford Wolf	Merge branch 'verificsva-ng'	commit \| commitdiff \| tree
2018-02-28	Clifford Wolf	Add support for PRIM_SVA_UNTIL to new SVA importer	commit \| commitdiff \| tree
2018-02-28	Clifford Wolf	Add DFSM generator to verific SVA importer	commit \| commitdiff \| tree
2018-02-28	Clifford Wolf	Continue refactoring of Verific SVA importer code	commit \| commitdiff \| tree
2018-02-27	Clifford Wolf	Major redesign of Verific SVA importer	commit \| commitdiff \| tree
2018-02-27	Clifford Wolf	Add -lz for verific builds	commit \| commitdiff \| tree
2018-02-26	Clifford Wolf	Add handling of verific OPER_REDUCE_NOR	commit \| commitdiff \| tree
2018-02-26	Clifford Wolf	Add handling of verific OPER_SELECTOR and OPER_WIDE_SEL...	commit \| commitdiff \| tree
2018-02-26	Clifford Wolf	Add handling of verific OPER_NTO1MUX and OPER_WIDE_NTO1MUX	commit \| commitdiff \| tree
2018-02-26	Clifford Wolf	Add "SVA syntax cheat sheet" comment to verificsva.cc	commit \| commitdiff \| tree
2018-02-26	Clifford Wolf	Add $dlatchsr support to clk2fflogic	commit \| commitdiff \| tree
2018-02-26	Clifford Wolf	Small fixes and improvements in $allconst/$allseq handling	commit \| commitdiff \| tree
2018-02-26	Clifford Wolf	Fix opt_rmdff handling of $dlatchsr	commit \| commitdiff \| tree
2018-02-23	Clifford Wolf	Merge branch 'forall'	commit \| commitdiff \| tree
2018-02-23	Clifford Wolf	Add smtbmc support for exist-forall problems	commit \| commitdiff \| tree
2018-02-23	Clifford Wolf	Add $allconst and $allseq cell types	commit \| commitdiff \| tree
2018-02-22	Clifford Wolf	Add Verific SVA support for ranges in repetition operator	commit \| commitdiff \| tree
2018-02-21	Clifford Wolf	Add support for SVA throughout via Verific	commit \| commitdiff \| tree
2018-02-20	Clifford Wolf	Add support for mockup clock signals in yosys-smtbmc...	commit \| commitdiff \| tree
2018-02-19	Clifford Wolf	Merge pull request #507 from cr1901/msys2	commit \| commitdiff \| tree
2018-02-19	William D....	Improve msys2 flags for building abc.	commit \| commitdiff \| tree
2018-02-18	Clifford Wolf	Add support for SVA sequence concatenation ranges via...	commit \| commitdiff \| tree
2018-02-18	Clifford Wolf	Add support for SVA until statements via Verific	commit \| commitdiff \| tree
2018-02-18	Clifford Wolf	Move Verific SVA importer to extra C++ source file	commit \| commitdiff \| tree
2018-02-18	Clifford Wolf	Merge Verific SVA preprocessor and SVA importer	commit \| commitdiff \| tree
2018-02-16	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2018-02-15	Clifford Wolf	Improve handling of "bus" pins in liberty front-end...	commit \| commitdiff \| tree
2018-02-15	Clifford Wolf	Fix verific PRIM_SVA_AT handling in properties with...	commit \| commitdiff \| tree
2018-02-13	Clifford Wolf	Fixed yosys-config for binary distributions with Verific	commit \| commitdiff \| tree
2018-02-13	Clifford Wolf	Recognize stand-alone obj pattern even when it contains...	commit \| commitdiff \| tree
2018-02-08	Clifford Wolf	Fix handling of zero-length cell connections in SMT2...	commit \| commitdiff \| tree
2018-02-03	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2018-02-03	Clifford Wolf	Do not create deep backtraces unless in ENABLE_DEBUG...	commit \| commitdiff \| tree
2018-02-03	Clifford Wolf	Merge pull request #488 from azonenberg/for_clifford	commit \| commitdiff \| tree
2018-02-03	Clifford Wolf	Fixed gcc 7.2 "statement will never be executed" warning	commit \| commitdiff \| tree
2018-02-01	Clifford Wolf	Fix single-bit $stable handling in verific front-end	commit \| commitdiff \| tree
2018-01-31	Clifford Wolf	Add Verific attribute handling for assert/assume/cover...	commit \| commitdiff \| tree
2018-01-29	Clifford Wolf	Fix smtio.py for large SMT2 S-expressions	commit \| commitdiff \| tree
2018-01-28	Clifford Wolf	Fix permissions on verific vdb files	commit \| commitdiff \| tree
2018-01-23	Clifford Wolf	Fixed handling of synchronous and asynchronous assertio...	commit \| commitdiff \| tree
2018-01-19	Clifford Wolf	Use "strip -S" instead of "strip -d" for Mac OS X compa...	commit \| commitdiff \| tree
2018-01-19	Clifford Wolf	Improve log messages in equiv_make	commit \| commitdiff \| tree
2018-01-18	Clifford Wolf	Move user-provided smt2 info stmts to the top of the...	commit \| commitdiff \| tree
2018-01-18	Robert Ou	coolrunner2: Move LOC attributes onto the IO cells	commit \| commitdiff \| tree
2018-01-17	Clifford Wolf	Strip debug symbols from binaries on install	commit \| commitdiff \| tree
2018-01-09	Clifford Wolf	Add "dffinit -highlow" and fix synth_intel	commit \| commitdiff \| tree
2018-01-07	Clifford Wolf	Add support for "yosys -E"	commit \| commitdiff \| tree
2018-01-07	Clifford Wolf	Bugfix in hierarchy blackbox module port width handling	commit \| commitdiff \| tree
2018-01-07	Clifford Wolf	Update ABC to hg rev 6e3c24b3308a	commit \| commitdiff \| tree
2018-01-05	Clifford Wolf	Merge pull request #479 from Fatsie/latch_without_data	commit \| commitdiff \| tree
2018-01-05	Clifford Wolf	Bugfix in hierarchy handling of blackbox module ports	commit \| commitdiff \| tree
2018-01-04	Clifford Wolf	Merge pull request #480 from Fatsie/liberty_value_expre...	commit \| commitdiff \| tree
2018-01-04	Clifford Wolf	Temporarily derive blackbox modules in hierarchy to...	commit \| commitdiff \| tree
2018-01-03	Staf Verhaegen	Value of properties can be expression.	commit \| commitdiff \| tree
2018-01-03	Staf Verhaegen	Some standard cell libraries include a latch with only...	commit \| commitdiff \| tree
2017-12-24	Clifford Wolf	Add "no driver for signal bit" error msg to btor back-end	commit \| commitdiff \| tree
2017-12-24	Clifford Wolf	Bugfix in verilog_defaults argument parser	commit \| commitdiff \| tree
2017-12-19	Clifford Wolf	Fix minor typo in "prep" help message	commit \| commitdiff \| tree
2017-12-17	Clifford Wolf	Simple fix BTOR memory encoding	commit \| commitdiff \| tree
2017-12-17	Clifford Wolf	Improve BTOR memory encoding	commit \| commitdiff \| tree
2017-12-15	Clifford Wolf	Merge branch 'btor-ng'	commit \| commitdiff \| tree
2017-12-15	Clifford Wolf	Add array support to btor back-end	commit \| commitdiff \| tree
2017-12-14	Clifford Wolf	Add $anyconst/$anyseq support to btor back-end	commit \| commitdiff \| tree
2017-12-14	Clifford Wolf	Merge branch 'master' into btor-ng	commit \| commitdiff \| tree
2017-12-14	Clifford Wolf	Add yosys-smtbmc VCD writer support for memories with...	commit \| commitdiff \| tree
2017-12-14	Clifford Wolf	Fix a bug in clk2fflogic memory handling	commit \| commitdiff \| tree
2017-12-14	Clifford Wolf	Merge branch 'master' into btor-ng	commit \| commitdiff \| tree
2017-12-14	Clifford Wolf	Add clk2fflogic memory support	commit \| commitdiff \| tree
2017-12-14	Clifford Wolf	Add smt2 back-end support for async write memories	commit \| commitdiff \| tree
2017-12-14	Clifford Wolf	Add RTLIL::Const::is_fully_ones()	commit \| commitdiff \| tree
2017-12-14	Clifford Wolf	Add SigSpec::is_fully_ones()	commit \| commitdiff \| tree
2017-12-13	Clifford Wolf	Merge pull request #469 from kkiningh/master	commit \| commitdiff \| tree
2017-12-13	Kevin Kiningham	Use quote includes for yosys.h	commit \| commitdiff \| tree
2017-12-13	Clifford Wolf	Check for memories in clk2fflogic	commit \| commitdiff \| tree
2017-12-13	Clifford Wolf	Merge pull request #468 from grahamedgecombe/fix-sb...	commit \| commitdiff \| tree
2017-12-12	Clifford Wolf	Add "write_btor -s" mode	commit \| commitdiff \| tree
2017-12-12	Clifford Wolf	Add state initval handling to btor back-end	commit \| commitdiff \| tree
2017-12-12	Clifford Wolf	Add btor back-end support for 'x' constants	commit \| commitdiff \| tree
2017-12-12	Clifford Wolf	Add SigSpec::is_fully_ones()	commit \| commitdiff \| tree
next

RSS Atom