Merge branch 'netlist_checker' of https://github.com/os-fpga/yosys_verific_rs into netlist_checker

behzadmehmood · behzadmehmood · commit eb819abde1fb · 2024-10-18T20:40:44.000+05:00
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -17,7 +17,7 @@ set(VERSION_MINOR 0)
 
 
 
-set(VERSION_PATCH 378)
+set(VERSION_PATCH 379)
 
 
 
