chiselX - Chisel with SFC compatibility

Age	Commit message (Collapse)	Author
2022-11-10	Warn on S-interpolator usage for assert, assume and printf (backport #2751) ↵	Aditya Naik
	(#2757) * Add internal methods to maintain binary compatibility Co-authored-by: Megan Wachs <megan@sifive.com> Co-authored-by: Jack Koenig <koenig@sifive.com>
2022-09-29	Add lexical scope checks to Assert, Assume and Printf (#2706) (#2753)	mergify[bot]
	(cherry picked from commit f462c9f9307bebf3012da52432c3729cd752321c) Co-authored-by: Aditya Naik <91489422+adkian-sifive@users.noreply.github.com>
2022-09-01	Revert "Privatize trait VerifPrintMacros (#2683)" (#2718) (#2719)	mergify[bot]
	This reverts commit de76e70bc5905fc4ebc8a2e323e16620fa6832ec. (cherry picked from commit e1e0503d969c8f4bb68a3beedebca5d9238192fd) Co-authored-by: Jack Koenig <koenig@sifive.com>
2022-08-16	Privatize trait VerifPrintMacros (#2683) (#2685)	mergify[bot]
	(cherry picked from commit de76e70bc5905fc4ebc8a2e323e16620fa6832ec) Co-authored-by: Aditya Naik <91489422+adkian-sifive@users.noreply.github.com>
2022-08-15	Printables for verification preconditions (backport #2663) (#2680)	mergify[bot]
	* Printables for verification preconditions (#2663) Add support for printable within assert and assume verification statements Co-authored-by: Girish Pai <girish.pai@sifive.com> Co-authored-by: Megan Wachs <megan@sifive.com> Co-authored-by: Jack Koenig <koenig@sifive.com> (cherry picked from commit 7df5653309b5e48e1732b335610d9a7e8449f903) * Waive MiMa false positive Co-authored-by: Aditya Naik <91489422+adkian-sifive@users.noreply.github.com> Co-authored-by: Jack Koenig <koenig@sifive.com>
2022-04-19	verification: switch order of assert/assume and printf (#2484) (#2493)	mergify[bot]
	This is a quick fix for issue #2408 (cherry picked from commit d4ef9a96c4131252a0a49002a28be3391eb67258) Co-authored-by: Kevin Laeufer <laeufer@cs.berkeley.edu>
2022-01-10	Apply scalafmt	Jack Koenig
	Command: sbt scalafmtAll
2021-09-23	make all verification statements publically available (#2089)	Kevin Laeufer