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

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
2020-01-10	Miodrag Milanovic	Use CARRY4 for abc1 as well, preventing issues with...	commit \| commitdiff \| tree
2020-01-10	Miodrag Milanovic	Export wire properties as well in EDIF	commit \| commitdiff \| tree
2020-01-04	Miodrag Milanovic	Valid to have attribute starting with SB_CARRY.	commit \| commitdiff \| tree
2020-01-01	Miodrag Milanovic	Added a test case	commit \| commitdiff \| tree
2020-01-01	Miodrag Milanovic	take skip wire bits into account	commit \| commitdiff \| tree
2019-12-28	Miodrag Milanovic	Fix new tests	commit \| commitdiff \| tree
2019-12-28	Miodrag Milanovic	Merge remote-tracking branch 'origin/master' into iopad_default	commit \| commitdiff \| tree
2019-12-28	Miodrag Milanovic	Make test without iopads	commit \| commitdiff \| tree
2019-12-28	Miodrag Milanovic	Revert "Fix xilinx tests, when iopads are default"	commit \| commitdiff \| tree
2019-12-25	Miodrag Milanovic	fixed invalid char	commit \| commitdiff \| tree
2019-12-21	Miodrag Milanovic	Addressed review comments	commit \| commitdiff \| tree
2019-12-21	Miodrag Milanovic	iopad no op for compatibility with old scripts	commit \| commitdiff \| tree
2019-12-21	Miodrag Milanovic	Fix xilinx tests, when iopads are default	commit \| commitdiff \| tree
2019-12-21	Miodrag Milanovic	Make iopad option default for all xilinx flows	commit \| commitdiff \| tree
2019-12-07	Miodrag Milanovic	Fix for non-deterministic test	commit \| commitdiff \| tree
2019-11-11	Miodrag Milanovic	Fixed tests	commit \| commitdiff \| tree
2019-10-18	Miodrag Milanovic	fixed error	commit \| commitdiff \| tree
2019-10-18	Miodrag Milanovic	Unify verilog style	commit \| commitdiff \| tree
2019-10-18	Miodrag Milanovic	Common memory test now shared	commit \| commitdiff \| tree
2019-10-18	Miodrag Milanovic	Remove not needed tests	commit \| commitdiff \| tree
2019-10-18	Miodrag Milanovic	Share common tests	commit \| commitdiff \| tree
2019-10-18	Miodrag Milanovic	fix yosys path	commit \| commitdiff \| tree
next

RSS Atom