4 Commits

Author	SHA1	Message	Date
Navidem	291956b501	Set flags to use old pass manger (#7828) ... * Set flags to use old pass manger * nit * Add comment to Dockerfile * More informative comment * nit	2022-06-09 19:39:25 +10:00
Abhishek Arya	59be14786b	Revert "Remove unmaintained jsonnet." (#2597) ... * Revert "Remove unmaintained jsonnet. (#2595)" This reverts commit ded820b3d8. * Update project.yaml	2019-07-12 19:39:18 -07:00
Abhishek Arya	ded820b3d8	Remove unmaintained jsonnet. (#2595)	2019-07-12 16:25:43 -07:00
Wei Wang	9d0ab6e60e	[jsonnet] Integrate jsonnet and add a fuzzer (#2045) ... * Add jsonnet * Update build.sh * Update build.sh * Update build file * Update build.sh * Update build.sh * Made it workgit status * Add more sanitizer configs * Minor update * Remove emacs	2018-12-27 08:33:44 -08:00