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

2022-01-28	Miodrag Milanovic	Add more options and time handling	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	update version	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Display values of outputs	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Fix tabs/spaces	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Check if stimulated	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Read fst and use data to set inputs	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Add fstdata helper class	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Cleanup of config to support platforms	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Add ability to write to FST file	commit \| commitdiff \| tree
2022-01-25	Miodrag Milanovic	Add FST library	commit \| commitdiff \| tree
2022-01-19	Miodrag Milanovic	Removed dbits 8 since 9 will always be picked	commit \| commitdiff \| tree
2022-01-11	Miodrag Milanovic	Forgot one	commit \| commitdiff \| tree
2022-01-11	Miodrag Milanovic	Change url to https	commit \| commitdiff \| tree
2022-01-11	Miodrag Milanovic	Next dev cycle	commit \| commitdiff \| tree
2022-01-11	Miodrag Milanovic	Release version 0.13	commit \| commitdiff \| tree
2022-01-11	Miodrag Milanovic	Update CHANGELOG	commit \| commitdiff \| tree
2022-01-03	Miodrag Milanovic	Update manual	commit \| commitdiff \| tree
2021-12-08	Miodrag Milanovic	If direction NONE use that from first bit	commit \| commitdiff \| tree
2021-12-03	Miodrag Milanovic	Next dev cycle	commit \| commitdiff \| tree
2021-12-03	Miodrag Milanovic	Release version 0.12	commit \| commitdiff \| tree
2021-12-03	Miodrag Milanovic	Update manual	commit \| commitdiff \| tree
2021-12-03	Miodrag Milanovic	Add gitignore for gatemate	commit \| commitdiff \| tree
2021-12-03	Miodrag Milanovic	Make sure cell names are unique for wide operators	commit \| commitdiff \| tree
2021-12-01	Miodrag Milanovic	Update CHANGELOG and CODEOWNERS	commit \| commitdiff \| tree
2021-11-17	Miodrag Milanovic	Give initial wire unique ID, fixes #2914	commit \| commitdiff \| tree
2021-11-12	Miodrag Milanovic	update abc	commit \| commitdiff \| tree
2021-11-12	Miodrag Milanovic	Update abc	commit \| commitdiff \| tree
2021-11-10	Miodrag Milanovic	No need to alocate more memory than used	commit \| commitdiff \| tree
2021-11-05	Miodrag Milanovic	Next dev cycle	commit \| commitdiff \| tree
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
next

RSS Atom