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

2021-11-05	Miodrag Milanovic	Release version 0.11	commit \| commitdiff \| tree
2021-11-05	Miodrag Milanovic	Must use latest flex to generate c++17 compatible code	commit \| commitdiff \| tree
2021-11-05	Miodrag Milanovic	Make it work on all	commit \| commitdiff \| tree
2021-11-05	Miodrag Milanovic	Correct way of setting maybe_unsused on labels	commit \| commitdiff \| tree
2021-11-05	Miodrag Milanovic	Add missing changelog item	commit \| commitdiff \| tree
2021-11-05	Miodrag Milanovic	Update command reference	commit \| commitdiff \| tree
2021-11-05	Miodrag Milanovic	Removed semicolon from macro	commit \| commitdiff \| tree
2021-10-29	Miodrag Milanovic	Add missing items in CHANGELOG	commit \| commitdiff \| tree
2021-10-29	Miodrag Milanovic	Update command reference part of manual	commit \| commitdiff \| tree
2021-10-27	Miodrag Milanovic	Enable async load dff emit by default in Verific	commit \| commitdiff \| tree
2021-10-27	Miodrag Milanovic	Revert "Compile option for enabling async load verific...	commit \| commitdiff \| tree
2021-10-25	Miodrag Milanovic	Compile option for enabling async load verific support	commit \| commitdiff \| tree
2021-10-20	Miodrag Milanovic	If verific have vhdl lib it is required by other libs	commit \| commitdiff \| tree
2021-10-20	Miodrag Milanovic	Forgot to remove from main list	commit \| commitdiff \| tree
2021-10-20	Miodrag Milanovic	Option to disable verific VHDL support	commit \| commitdiff \| tree
2021-10-14	Miodrag Milanovic	Support PRIM_BUFIF1 primitive	commit \| commitdiff \| tree
2021-10-10	Miodrag Milanovic	Import module attributes from Verific	commit \| commitdiff \| tree
2021-10-09	Miodrag Milanovic	Split module ports, 20 per line	commit \| commitdiff \| tree
2021-10-04	Miodrag Milanovic	verific set db_infer_set_reset_registers	commit \| commitdiff \| tree
2021-09-27	Miodrag Milanovic	Prepare for next release cycle	commit \| commitdiff \| tree
2021-09-02	Miodrag Milanovic	update required verific version	commit \| commitdiff \| tree
2021-08-20	Miodrag Milanovic	Make Verific extensions optional	commit \| commitdiff \| tree
2021-08-02	Miodrag Milanovic	Require latest verific	commit \| commitdiff \| tree
2021-07-26	Miodrag Milanovic	Add version bump workflow	commit \| commitdiff \| tree
2021-07-21	Miodrag Milanovic	Update to latest verific	commit \| commitdiff \| tree
2021-07-09	Miodrag Milanovic	Update to latest Verific with extensions for initial...	commit \| commitdiff \| tree
2021-07-05	Miodrag Milanovic	Add additional help	commit \| commitdiff \| tree
2021-06-16	Miodrag Milanovic	Support command files in Verific	commit \| commitdiff \| tree
2021-05-17	Miodrag Milanovic	Visual Studio build action	commit \| commitdiff \| tree
2021-03-11	Miodrag Milanovic	Add _pm.h files to GENLIST, fixes vcxsrc target	commit \| commitdiff \| tree
2021-02-12	Miodrag Milanovic	Ganulate Verific support	commit \| commitdiff \| tree
2021-01-30	Miodrag Milanovic	Require latest Verific build	commit \| commitdiff \| tree
2020-12-09	Miodrag Milanovic	Return nice error in pmgen generated code, fixes #2482	commit \| commitdiff \| tree
2020-12-02	Miodrag Milanovic	Bump required Verific version	commit \| commitdiff \| tree
2020-11-25	Miodrag Milanovic	Add verilog backend option for simple_lhs	commit \| commitdiff \| tree
2020-11-25	Miodrag Milanovic	generate only simple assignments in verilog backend	commit \| commitdiff \| tree
2020-11-18	Miodrag Milanovic	Fix duplicated parameter name typo	commit \| commitdiff \| tree
2020-11-06	Miodrag Milanovic	Expose abc and data paths as globals	commit \| commitdiff \| tree
2020-10-30	Miodrag Milanovic	Update verific version	commit \| commitdiff \| tree
2020-10-12	Miodrag Milanovic	extend verific library API for formal apps and generators	commit \| commitdiff \| tree
2020-09-30	Miodrag Milanovic	use sha1 for parameter list in case if they contain...	commit \| commitdiff \| tree
2020-09-30	Miodrag Milanovic	Fixed installation dir override for Python scripts	commit \| commitdiff \| tree
2020-09-25	Miodrag Milanovic	Validate parameters only when they are used	commit \| commitdiff \| tree
2020-09-18	Miodrag Milanovic	Better error for unsupported SVA sequence	commit \| commitdiff \| tree
2020-09-02	Miodrag Milanovic	Use latest verific	commit \| commitdiff \| tree
2020-08-31	Miodrag Milanovic	Reorder to prevent crash	commit \| commitdiff \| tree
2020-08-30	Miodrag Milanovic	ast recognize lower case x and z and verific gives...	commit \| commitdiff \| tree
2020-08-30	Miodrag Milanovic	Do not check for 1 and 0 only	commit \| commitdiff \| tree
2020-08-30	Miodrag Milanovic	Fix import of VHDL enums	commit \| commitdiff \| tree
2020-08-26	Miodrag Milanovic	Add formal apps and template generators	commit \| commitdiff \| tree
2020-07-29	Miodrag Milanovic	Clear last error message	commit \| commitdiff \| tree
2020-06-30	Miodrag Milanovic	Update verific API version check	commit \| commitdiff \| tree
2020-06-29	Miodrag Milanovic	Give error that options are exclusive	commit \| commitdiff \| tree
2020-06-29	Miodrag Milanovic	cleanup	commit \| commitdiff \| tree
2020-06-29	Miodrag Milanovic	Use ID macro to fix assertion	commit \| commitdiff \| tree
2020-06-29	Miodrag Milanovic	expose pass fix	commit \| commitdiff \| tree
2020-06-29	Miodrag Milanovic	sim - error when memrd and memwr detected	commit \| commitdiff \| tree
2020-06-26	Miodrag Milanovic	Fix crash in verific frontend	commit \| commitdiff \| tree
2020-06-25	Miodrag Milanovic	optimization, all items should have same attributes	commit \| commitdiff \| tree
2020-06-24	Miodrag Milanovic	verific - import attributes for net buses as well	commit \| commitdiff \| tree
2020-06-10	Miodrag Milanovic	verific - detect missing memory to prevent crash.	commit \| commitdiff \| tree
2020-06-01	Miodrag Milanovic	allow range for mux test	commit \| commitdiff \| tree
2020-06-01	Miodrag Milanovic	Support asymmetric memories for verific frontend	commit \| commitdiff \| tree
2020-04-15	Miodrag Milanovic	Fix compile for mingw	commit \| commitdiff \| tree
2020-04-10	Miodrag Milanovic	Keep libyosys name same as befire, but put it in directory	commit \| commitdiff \| tree
2020-04-10	Miodrag Milanovic	Support custom PROGRAM_PREFIX	commit \| commitdiff \| tree
2020-03-28	Miodrag Milanovic	Explicit include of csignal	commit \| commitdiff \| tree
2020-03-28	Miodrag Milanovic	windows - there are no stopping signals	commit \| commitdiff \| tree
2020-03-25	Miodrag Milanovic	Enable ENABLE_LIBYOSYS when ENABLE_PYOSYS is set	commit \| commitdiff \| tree
2020-03-19	Miodrag Milanovic	Add one mode dependency	commit \| commitdiff \| tree
2020-03-14	Miodrag Milanovic	Fix invalid verilog syntax	commit \| commitdiff \| tree
2020-03-13	Miodrag Milanovic	exclude clang from checking	commit \| commitdiff \| tree
2020-03-13	Miodrag Milanovic	Add YS_ prefix to macros, add explanation and apply...	commit \| commitdiff \| tree
2020-03-13	Miodrag Milanovic	Added back tests for logger	commit \| commitdiff \| tree
2020-03-13	Miodrag Milanovic	Use boost xpressive for gcc 4.8	commit \| commitdiff \| tree
2020-03-13	Miodrag Milanovic	remove include where not used	commit \| commitdiff \| tree
2020-03-12	Miodrag Milanovic	Added filter-out for libyosys.so	commit \| commitdiff \| tree
2020-03-12	Miodrag Milanovic	Revert "Clean up 'install' Makefile target"	commit \| commitdiff \| tree
2020-03-12	Miodrag Milanovic	Revert "Improve ABC repository management in Makefile"	commit \| commitdiff \| tree
2020-03-12	Miodrag Milanovic	Add mandatory wasm file to zip file as well	commit \| commitdiff \| tree
2020-02-26	Miodrag Milanovic	Remove tests for now	commit \| commitdiff \| tree
2020-02-23	Miodrag Milanovic	Add tests for logger pass	commit \| commitdiff \| tree
2020-02-23	Miodrag Milanovic	Remove duplicate warning detection	commit \| commitdiff \| tree
2020-02-23	Miodrag Milanovic	Fix line endings	commit \| commitdiff \| tree
2020-02-22	Miodrag Milanovic	Update explanation for expect-no-warnings	commit \| commitdiff \| tree
2020-02-22	Miodrag Milanovic	Handle expect no warnings together with expected	commit \| commitdiff \| tree
2020-02-22	Miodrag Milanovic	Check other regex parameters	commit \| commitdiff \| tree
2020-02-20	Miodrag Milanovic	check for regex errors	commit \| commitdiff \| tree
2020-02-17	Miodrag Milanovic	Prevent double error message	commit \| commitdiff \| tree
2020-02-17	Miodrag Milanovic	Option to expect no warnings	commit \| commitdiff \| tree
2020-02-17	Miodrag Milanovic	Add to changelog	commit \| commitdiff \| tree
2020-02-17	Miodrag Milanovic	No new error if already failing	commit \| commitdiff \| tree
2020-02-15	Miodrag Milanovic	Remove executable flag from files	commit \| commitdiff \| tree
2020-02-14	Miodrag Milanovic	remove whitespace	commit \| commitdiff \| tree
2020-02-14	Miodrag Milanovic	Add expect option to logger command	commit \| commitdiff \| tree
2020-02-13	Miodrag Milanovic	Add new logger pass	commit \| commitdiff \| tree
2020-01-28	Miodrag Milanovic	Updated test to use assert-max	commit \| commitdiff \| tree
2020-01-10	Miodrag Milanovic	this one is fine	commit \| commitdiff \| tree
2020-01-10	Miodrag Milanovic	Fix tests	commit \| commitdiff \| tree
2020-01-10	Miodrag Milanovic	remove whitespace	commit \| commitdiff \| tree
next

RSS Atom