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

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 Signed-off-by: Clifford Wolf <clifford@clifford.at>	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 Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-01-04	Clifford Wolf	Merge pull request #480 from Fatsie/liberty_value_expression	commit \| commitdiff \| tree
2018-01-04	Clifford Wolf	Temporarily derive blackbox modules in hierarchy to... Signed-off-by: Clifford Wolf <clifford@clifford.at>	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	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
2017-12-12	Clifford Wolf	Add warnings for driver-driver conflicts between FFs...	commit \| commitdiff \| tree
2017-12-11	Clifford Wolf	Add btor $shift/$shiftx support	commit \| commitdiff \| tree
2017-12-10	Clifford Wolf	Fix btor back-end shift handling	commit \| commitdiff \| tree
2017-12-10	Clifford Wolf	Add support for $pmux in btor back-end	commit \| commitdiff \| tree
2017-12-10	Clifford Wolf	Add support for more cell types to btor back-end	commit \| commitdiff \| tree
2017-12-10	Clifford Wolf	Merge branch 'master' into btor-ng	commit \| commitdiff \| tree
2017-12-10	Clifford Wolf	Add support for Verific PRIM_SVA_NOT properties	commit \| commitdiff \| tree
2017-12-09	Clifford Wolf	Add Verific OPER_SVA_STABLE support	commit \| commitdiff \| tree
2017-12-09	Clifford Wolf	Refactoring Verific SVA rewriter	commit \| commitdiff \| tree
2017-12-09	Clifford Wolf	Fix btor concat	commit \| commitdiff \| tree
2017-12-09	Clifford Wolf	Merge branch 'master' into btor-ng	commit \| commitdiff \| tree
2017-12-09	Clifford Wolf	Merge pull request #467 from mithro/patch-1	commit \| commitdiff \| tree
2017-12-03	Clifford Wolf	Use "hg ... --insecure" for cloning/pulling ABC	commit \| commitdiff \| tree
2017-12-02	Clifford Wolf	Update ABC to hg rev 31fc97b0aeed	commit \| commitdiff \| tree
2017-12-02	Clifford Wolf	Fix error handling for nested always/initial	commit \| commitdiff \| tree
2017-12-01	Clifford Wolf	Merge branch 'master' into btor-ng	commit \| commitdiff \| tree
2017-11-28	Clifford Wolf	Merge pull request #462 from daveshah1/up5k	commit \| commitdiff \| tree
2017-11-27	Clifford Wolf	Merge branch 'master' into btor-ng	commit \| commitdiff \| tree
2017-11-27	Clifford Wolf	Fixed "yosys-smtbmc -g" handling of no solution	commit \| commitdiff \| tree
2017-11-27	Clifford Wolf	Fixed "yosys-smtbmc -g" handling of no solution	commit \| commitdiff \| tree
2017-11-26	Clifford Wolf	Merge pull request #460 from mithro/g3-fixes	commit \| commitdiff \| tree
2017-11-26	Clifford Wolf	Merge pull request #461 from mithro/travis-rework	commit \| commitdiff \| tree
2017-11-24	Clifford Wolf	Merge branch 'master' into btor-ng	commit \| commitdiff \| tree
2017-11-24	Clifford Wolf	Bugfixes in new BTOR back-end	commit \| commitdiff \| tree
2017-11-24	Clifford Wolf	Merge pull request #446 from mithro/travis-rework	commit \| commitdiff \| tree
2017-11-23	Clifford Wolf	Progress in new BTOR back-end	commit \| commitdiff \| tree
2017-11-23	Clifford Wolf	Progress in new BTOR back-end	commit \| commitdiff \| tree
2017-11-23	Clifford Wolf	Progress in new BTOR back-end	commit \| commitdiff \| tree
2017-11-23	Clifford Wolf	Merge branch 'master' into btor-ng	commit \| commitdiff \| tree
2017-11-23	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2017-11-23	Clifford Wolf	Add Verilog "automatic" keyword (ignored in synthesis)	commit \| commitdiff \| tree
2017-11-23	Clifford Wolf	Progress with new BTOR backend	commit \| commitdiff \| tree
2017-11-23	Clifford Wolf	Add skeleton for new BTOR back-end	commit \| commitdiff \| tree
2017-11-23	Clifford Wolf	Remove old BTOR back-end	commit \| commitdiff \| tree
2017-11-18	Clifford Wolf	Merge pull request #455 from daveshah1/up5k	commit \| commitdiff \| tree
2017-11-18	Clifford Wolf	Accept real-valued delay values	commit \| commitdiff \| tree
2017-11-18	Clifford Wolf	Merge pull request #452 from cr1901/master	commit \| commitdiff \| tree
2017-11-18	Clifford Wolf	Merge pull request #453 from dh73/master	commit \| commitdiff \| tree
2017-11-16	Clifford Wolf	Add "synth_ice40 -vpr"	commit \| commitdiff \| tree
2017-11-08	Clifford Wolf	Add support for editline as replacement for readline	commit \| commitdiff \| tree
2017-10-31	Clifford Wolf	Add "ltp" command	commit \| commitdiff \| tree
2017-10-29	Clifford Wolf	Fix SMT2 handling of initstate in sub-modules	commit \| commitdiff \| tree
2017-10-26	Clifford Wolf	Fix memory corruption bug in opt_rmdff	commit \| commitdiff \| tree
2017-10-26	Clifford Wolf	Fix typo in opt_clean log message	commit \| commitdiff \| tree
2017-10-25	Clifford Wolf	Improve smtio performance by using reader thread, not...	commit \| commitdiff \| tree
2017-10-25	Clifford Wolf	Use separate writer thread for talking to SMT solver...	commit \| commitdiff \| tree
2017-10-25	Clifford Wolf	Improve p_* functions in smtio.py	commit \| commitdiff \| tree
2017-10-25	Clifford Wolf	Disable OSX in .travis.yml	commit \| commitdiff \| tree
2017-10-25	Clifford Wolf	Add ENABLE_DEBUG config flag	commit \| commitdiff \| tree
2017-10-25	Clifford Wolf	Update ABC to hg rev f6838749f234	commit \| commitdiff \| tree
2017-10-25	Clifford Wolf	Remove vhdl2verilog	commit \| commitdiff \| tree
2017-10-25	Clifford Wolf	Capsulate smt-solver read/write in separate functions	commit \| commitdiff \| tree
2017-10-25	Clifford Wolf	Fix a bug in yosys-smtbmc in ROM handling	commit \| commitdiff \| tree
2017-10-20	Clifford Wolf	Remove PSL example from tests/sva/	commit \| commitdiff \| tree
2017-10-20	Clifford Wolf	Remove all PSL support code from verific.cc	commit \| commitdiff \| tree
2017-10-20	Clifford Wolf	Merge pull request #437 from mithro/master	commit \| commitdiff \| tree
2017-10-14	Clifford Wolf	Revert 90be0d8 as it causes endless loops for some...	commit \| commitdiff \| tree
2017-10-13	Clifford Wolf	Add "verific -vlog-libdir"	commit \| commitdiff \| tree
2017-10-13	Clifford Wolf	Add "verific -vlog-incdir" and "verific -vlog-define"	commit \| commitdiff \| tree
2017-10-13	Clifford Wolf	Update Verific README	commit \| commitdiff \| tree
2017-10-12	Clifford Wolf	Merge pull request #434 from Kmanfi/vector_fix	commit \| commitdiff \| tree
2017-10-12	Clifford Wolf	Add Verific fairness/liveness support	commit \| commitdiff \| tree
2017-10-11	Clifford Wolf	Update ABC to hg rev 6283c5d99b06	commit \| commitdiff \| tree
2017-10-10	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2017-10-10	Clifford Wolf	Start work on pre-processor for Verific SVA properties	commit \| commitdiff \| tree
2017-10-10	Clifford Wolf	Rewrite ABC output to include proper net names in timing...	commit \| commitdiff \| tree
2017-10-10	Clifford Wolf	Add timing constraints to osu035 example	commit \| commitdiff \| tree
2017-10-10	Clifford Wolf	Remove some dead code	commit \| commitdiff \| tree
2017-10-10	Clifford Wolf	Allow $past, $stable, $rose, $fell in $global_clock...	commit \| commitdiff \| tree
2017-10-07	Clifford Wolf	Add $shiftx support to verilog front-end	commit \| commitdiff \| tree
2017-10-06	Clifford Wolf	Update ABC to hg rev 0fc1803a77c0	commit \| commitdiff \| tree
next

RSS Atom