Replace LLVMREwriteEvent with llvm_rewrite_event (#1040)

Robertorosmaninho · rv-auditor · web-flow · commit 05c38eb547d6 · 2024-05-03T12:42:11.000-06:00
A simple PR to modify the CamelCase in `AST.cpp` to snake_case!

---------

Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
diff --git a/bindings/python/ast.cpp b/bindings/python/ast.cpp
@@ -384,7 +384,7 @@ void bind_proof_trace(py::module_ &m) {
 
   auto rewrite_event
       = py::class_<llvm_rewrite_event, std::shared_ptr<llvm_rewrite_event>>(
-            proof_trace, "LLVMREwriteEvent", step_event)
+            proof_trace, "llvm_rewrite_event", step_event)
             .def_property_readonly(
                 "rule_ordinal", &llvm_rewrite_event::get_rule_ordinal)
             .def_property_readonly(
diff --git a/package/debian/changelog b/package/debian/changelog
@@ -1,4 +1,4 @@
-k-llvm-backend (0.1.3) unstable; urgency=medium
+k-llvm-backend (0.1.4) unstable; urgency=medium
 
   * Initial release
 
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.3
+0.1.4

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-k-llvm-backend (0.1.3) unstable; urgency=medium`
	`1`	`+k-llvm-backend (0.1.4) unstable; urgency=medium`
`2`	`2`
`3`	`3`	`* Initial release`
`4`	`4`