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

2015-02-24	Clifford Wolf	Fixed compilation problems with gcc 4.6.3; use enum...	commit \| commitdiff \| tree
2015-02-22	Clifford Wolf	Minor "write_smt2" help msg change	commit \| commitdiff \| tree
2015-02-22	Clifford Wolf	Fixed "check -assert"	commit \| commitdiff \| tree
2015-02-22	Clifford Wolf	Added "<mod>_a" and "<mod>_i" to write_smt2 output	commit \| commitdiff \| tree
2015-02-22	Clifford Wolf	Added "check -assert" doc	commit \| commitdiff \| tree
2015-02-22	Clifford Wolf	Added "check -assert"	commit \| commitdiff \| tree
2015-02-22	Clifford Wolf	Fixed "sat -initsteps" off-by-one bug	commit \| commitdiff \| tree
2015-02-21	Clifford Wolf	Added "sat -stepsize" and "sat -tempinduct-step"	commit \| commitdiff \| tree
2015-02-21	Clifford Wolf	sat docu change	commit \| commitdiff \| tree
2015-02-21	Clifford Wolf	When "sat -tempinduct-baseonly -maxsteps N" reaches...	commit \| commitdiff \| tree
2015-02-21	Clifford Wolf	Added "sat -tempinduct-baseonly -tempinduct-inductonly"	commit \| commitdiff \| tree
2015-02-21	Clifford Wolf	Fixed basecase init for "sat -tempinduct"	commit \| commitdiff \| tree
2015-02-21	Clifford Wolf	Fixed "flatten" for non-pre-derived modules	commit \| commitdiff \| tree
2015-02-21	Clifford Wolf	Hotfix for yosysjs/demo03.html	commit \| commitdiff \| tree
2015-02-21	Clifford Wolf	YosysJS: Wait for Viz to load	commit \| commitdiff \| tree
2015-02-21	Clifford Wolf	Replaced ezDefaultSAT with ezSatPtr	commit \| commitdiff \| tree
2015-02-21	Clifford Wolf	Catch constants assigned to cell outputs in "flatten"	commit \| commitdiff \| tree
2015-02-20	Clifford Wolf	Added deep recursion warning to AST simplify	commit \| commitdiff \| tree
2015-02-20	Clifford Wolf	Parser support for complex delay expressions	commit \| commitdiff \| tree
2015-02-19	Clifford Wolf	YosysJS firefox fixes	commit \| commitdiff \| tree
2015-02-19	Clifford Wolf	YosysJS stuff	commit \| commitdiff \| tree
2015-02-19	Clifford Wolf	format fixes in "sat -dump_json"	commit \| commitdiff \| tree
2015-02-19	Clifford Wolf	Added "sat -dump_json" (WaveJSON format)	commit \| commitdiff \| tree
2015-02-19	Clifford Wolf	Changed "show" defaults for Win32	commit \| commitdiff \| tree
2015-02-18	Clifford Wolf	Convert floating point cell parameters to strings	commit \| commitdiff \| tree
2015-02-18	Clifford Wolf	Fixed clang (svn trunk) warnings	commit \| commitdiff \| tree
2015-02-18	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2015-02-18	Clifford Wolf	Added "select %xe %cie %coe"	commit \| commitdiff \| tree
2015-02-17	Clifford Wolf	wreduce help typo fix	commit \| commitdiff \| tree
2015-02-17	Clifford Wolf	CodingReadme	commit \| commitdiff \| tree
2015-02-16	Clifford Wolf	YosysJS fixes for firefox	commit \| commitdiff \| tree
2015-02-16	Clifford Wolf	More YosysJS stuff	commit \| commitdiff \| tree
2015-02-16	Clifford Wolf	Added YosysJS wrapper	commit \| commitdiff \| tree
2015-02-16	Clifford Wolf	Bugfix in wreduce	commit \| commitdiff \| tree
2015-02-15	Clifford Wolf	More yosys.js improvements	commit \| commitdiff \| tree
2015-02-15	Clifford Wolf	Added Viz to yosys.js	commit \| commitdiff \| tree
2015-02-15	Clifford Wolf	Added yosys.js FS support	commit \| commitdiff \| tree
2015-02-15	Clifford Wolf	More emcc stuff	commit \| commitdiff \| tree
2015-02-15	Clifford Wolf	Improved yosys.js example	commit \| commitdiff \| tree
2015-02-15	Clifford Wolf	Added "stat" to "synth" and "synth_xilinx"	commit \| commitdiff \| tree
2015-02-15	Clifford Wolf	Added final checks to "synth" and "synth_xilinx"	commit \| commitdiff \| tree
2015-02-15	Clifford Wolf	Added "check -noinit"	commit \| commitdiff \| tree
2015-02-15	Clifford Wolf	Cosmetic fixes in "hierarchy" for blackbox modules	commit \| commitdiff \| tree
2015-02-15	Clifford Wolf	More emscripten stuff, Added example app	commit \| commitdiff \| tree
2015-02-15	Clifford Wolf	Fixed default EMCCFLAGS	commit \| commitdiff \| tree
2015-02-14	Clifford Wolf	Smaller default parameters in $mem simlib model	commit \| commitdiff \| tree
2015-02-14	Clifford Wolf	Fixed "stat" handling of blackbox modules	commit \| commitdiff \| tree
2015-02-14	Clifford Wolf	Various fixes for memories with offsets	commit \| commitdiff \| tree
2015-02-14	Clifford Wolf	Added $meminit support to "memory" command	commit \| commitdiff \| tree
2015-02-14	Clifford Wolf	Added $meminit test case	commit \| commitdiff \| tree
2015-02-14	Clifford Wolf	Added "read_verilog -nomeminit" and "nomeminit" attribute	commit \| commitdiff \| tree
2015-02-14	Clifford Wolf	Creating $meminit cells in verilog front-end	commit \| commitdiff \| tree
2015-02-14	Clifford Wolf	Added $meminit cell type	commit \| commitdiff \| tree
2015-02-14	Clifford Wolf	Fixed handling of "//" in filenames in verilog pre...	commit \| commitdiff \| tree
2015-02-13	Clifford Wolf	Fixed "write_verilog -attr2comment" handling of "*...	commit \| commitdiff \| tree
2015-02-13	Clifford Wolf	hotfix in "check" command	commit \| commitdiff \| tree
2015-02-13	Clifford Wolf	Added "check" command	commit \| commitdiff \| tree
2015-02-13	Clifford Wolf	Added AstNode::simplify() recursion counter	commit \| commitdiff \| tree
2015-02-13	Clifford Wolf	Added EMCCFLAGS	commit \| commitdiff \| tree
2015-02-12	Clifford Wolf	Some test related fixes	commit \| commitdiff \| tree
2015-02-12	Clifford Wolf	Added "proc_dlatch"	commit \| commitdiff \| tree
2015-02-10	Clifford Wolf	Less aggressive "share" defaults	commit \| commitdiff \| tree
2015-02-10	Clifford Wolf	Improved read_verilog support for empty behavioral...	commit \| commitdiff \| tree
2015-02-10	Clifford Wolf	Added "scc -expect <N> -nofeedback"	commit \| commitdiff \| tree
2015-02-09	Clifford Wolf	Some hashlib improvements	commit \| commitdiff \| tree
2015-02-09	Clifford Wolf	Various changes to release checklist	commit \| commitdiff \| tree
2015-02-09	Clifford Wolf	Fixed creation of command reference in manual	commit \| commitdiff \| tree
2015-02-09	Clifford Wolf	We are now in 0.5+ development	commit \| commitdiff \| tree
2015-02-09	Clifford Wolf	Yosys 0.5	commit \| commitdiff \| tree
2015-02-09	Clifford Wolf	Bugfix in "make vcxsrc"	commit \| commitdiff \| tree
2015-02-09	Clifford Wolf	Updated command reference in manual	commit \| commitdiff \| tree
2015-02-09	Clifford Wolf	Various presentation fixes	commit \| commitdiff \| tree
2015-02-08	Clifford Wolf	Fixed iterator invalidation bug in "rename" command	commit \| commitdiff \| tree
2015-02-08	Clifford Wolf	CodingReadme update	commit \| commitdiff \| tree
2015-02-08	Clifford Wolf	Fixed bug in "show -format .."	commit \| commitdiff \| tree
2015-02-08	Clifford Wolf	Added new APIs to changelog	commit \| commitdiff \| tree
2015-02-08	Clifford Wolf	Fixed eval_select_op() api	commit \| commitdiff \| tree
2015-02-08	Clifford Wolf	Added eval_select_args() and eval_select_op()	commit \| commitdiff \| tree
2015-02-08	Clifford Wolf	Minor "make vgtest" changes	commit \| commitdiff \| tree
2015-02-08	Clifford Wolf	Various ModIndex improvements	commit \| commitdiff \| tree
2015-02-08	Clifford Wolf	Added Yosys 0.5 Changelog	commit \| commitdiff \| tree
2015-02-08	Clifford Wolf	Various updates to CodingReadme	commit \| commitdiff \| tree
2015-02-08	Clifford Wolf	Added equiv_add	commit \| commitdiff \| tree
2015-02-07	Clifford Wolf	Ignore explicit assignments to constants in HDL code	commit \| commitdiff \| tree
2015-02-07	Clifford Wolf	Fixed a bug with autowire bit size	commit \| commitdiff \| tree
2015-02-07	Clifford Wolf	fixed typo	commit \| commitdiff \| tree
2015-02-07	Clifford Wolf	Added "yosys-config --build modname.so cppsources.."	commit \| commitdiff \| tree
2015-02-07	Clifford Wolf	Added SigSpec::has_const()	commit \| commitdiff \| tree
2015-02-07	Clifford Wolf	Cleanup in add_share_file make macro	commit \| commitdiff \| tree
2015-02-07	Clifford Wolf	Removed "make mklibyosys"	commit \| commitdiff \| tree
2015-02-07	Clifford Wolf	Improved building of plugins	commit \| commitdiff \| tree
2015-02-07	Clifford Wolf	Added "make uninstall"	commit \| commitdiff \| tree
2015-02-07	Clifford Wolf	Added cell->known(), cell->input(portname), cell->output...	commit \| commitdiff \| tree
2015-02-06	Clifford Wolf	Added "select -read"	commit \| commitdiff \| tree
2015-02-05	Clifford Wolf	Auto-detect TCL version	commit \| commitdiff \| tree
2015-02-04	Clifford Wolf	Added onehot attribute	commit \| commitdiff \| tree
2015-02-04	Clifford Wolf	Fixed opt_clean performance bug	commit \| commitdiff \| tree
2015-02-04	Clifford Wolf	Disabled (unused) Xilinx tristate buffers	commit \| commitdiff \| tree
2015-02-03	Clifford Wolf	Using design->selected_modules() in opt_*	commit \| commitdiff \| tree
2015-02-03	Clifford Wolf	Skip blackbox modules in design->selected_modules()	commit \| commitdiff \| tree
next

RSS Atom