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

2022-04-08	Aki Van Ness	pass metadata: added the output of parameters,	commit \| commitdiff \| tree
2022-04-08	Aki Van Ness	pass metadata: fixed some of the output formatting	commit \| commitdiff \| tree
2022-04-08	Aki Van Ness	pass metadata: initial commit of the metadata pass...	commit \| commitdiff \| tree
2022-03-24	N. Engelhardt	ignore # comment lines	commit \| commitdiff \| tree
2022-02-22	N. Engelhardt	print cell name for properties in yosys-smtbmc	commit \| commitdiff \| tree
2022-02-18	N. Engelhardt	fix handling of escaped chars in json backend and frontend	commit \| commitdiff \| tree
2022-01-17	N. Engelhardt	mention distributions' package manager	commit \| commitdiff \| tree
2022-01-04	N. Engelhardt	mention tabby+oss cad suite in readme	commit \| commitdiff \| tree
2021-03-22	N. Engelhardt	split CodingReadme into multiple files	commit \| commitdiff \| tree
2020-10-21	N. Engelhardt	use strftime instead of put_time for gcc 4.8 compatibility	commit \| commitdiff \| tree
2020-10-16	N. Engelhardt	wild guessing at the problem because it builds fine...	commit \| commitdiff \| tree
2020-10-16	N. Engelhardt	sim -vcd: add date, version, and option for timescale	commit \| commitdiff \| tree
2020-09-28	N. Engelhardt	add tests	commit \| commitdiff \| tree
2020-09-28	N. Engelhardt	write_verilog: emit intermediate wire for constant...	commit \| commitdiff \| tree
2020-09-23	N. Engelhardt	switch argument order to work with macOS getopt	commit \| commitdiff \| tree
2020-09-14	N. Engelhardt	use the new isPublic() in a few places	commit \| commitdiff \| tree
2020-09-03	N. Engelhardt	add IdString::isPublic()	commit \| commitdiff \| tree
2020-08-18	N. Engelhardt	include both power-of-two and non-power-of-two testcases	commit \| commitdiff \| tree
2020-06-04	N. Engelhardt	btor backend: make not printing internal names default	commit \| commitdiff \| tree
2020-06-04	N. Engelhardt	btor backend: add option to not include internal names	commit \| commitdiff \| tree
2020-05-07	N. Engelhardt	Remove yosys libdir from LDFLAGS (and fix a typo)	commit \| commitdiff \| tree
2020-03-18	N. Engelhardt	fix argument order for macOS compatibility	commit \| commitdiff \| tree
2020-03-06	N. Engelhardt	remove unused parameters	commit \| commitdiff \| tree
2020-03-06	N. Engelhardt	rpc test: make frontend listen before launching yosys...	commit \| commitdiff \| tree
2020-02-13	N. Engelhardt	make rpc frontend unix socket test less fragile	commit \| commitdiff \| tree
2020-01-06	N. Engelhardt	error if multiple -g options are given for abc	commit \| commitdiff \| tree
2020-01-06	N. Engelhardt	check scratchpad for arguments in abc pass too	commit \| commitdiff \| tree
2020-01-06	N. Engelhardt	inherit default values when checking scratchpad for...	commit \| commitdiff \| tree
2020-01-03	N. Engelhardt	share codepath for scratchpad argument handling with...	commit \| commitdiff \| tree
2020-01-03	N. Engelhardt	Merge branch 'master' of https://github.com/YosysHQ...	commit \| commitdiff \| tree
2019-12-18	N. Engelhardt	use extra_args	commit \| commitdiff \| tree
2019-12-17	N. Engelhardt	check scratchpad variable abc9.scriptfile	commit \| commitdiff \| tree
2019-12-16	N. Engelhardt	add assert option to scratchpad command	commit \| commitdiff \| tree
2019-12-13	N. Engelhardt	check scratchpad variables for custom abc scripts	commit \| commitdiff \| tree
2019-12-13	N. Engelhardt	add periods and newlines to help message	commit \| commitdiff \| tree
2019-12-12	N. Engelhardt	add test and make help message more verbose	commit \| commitdiff \| tree
2019-12-12	N. Engelhardt	add a command to read/modify scratchpad contents	commit \| commitdiff \| tree
2019-10-17	N. Engelhardt	Call memory_dff before DSP mapping to reserve registers...	commit \| commitdiff \| tree
2019-09-23	N. Engelhardt	add xdot dependency to Brewfile	commit \| commitdiff \| tree
2019-09-23	N. Engelhardt	fix show command for macos	commit \| commitdiff \| tree
2019-07-15	N. Engelhardt	smt: handle failure of setrlimit syscall	commit \| commitdiff \| tree

RSS Atom