5 commits

Author	SHA1	Message	Date
Emil J. Tywoniak	eeecb54532	Makefile: no LTO and lld by default	2024-08-05 19:28:09 +02:00
Miodrag Milanovic	ead4718e56	Enable extensions for CI	2024-07-09 09:22:37 +02:00
Krystine Sherwin	878ac02179	ci: Add skip check to test-verific	2024-05-09 09:39:27 +12:00
Roland Coeurjoly	09b9aa83c9	Add YosysHQ/abc as a submodule located in abc	2024-05-08 00:32:18 +02:00
Miodrag Milanovic	c38bbd7824	Add new verific testing environment CI	2024-04-16 07:50:50 +02:00