WIP

GillianPlatform · Mar 2, 2024 · ead989a · ead989a
1 parent d49dad5
commit ead989a
Show file tree

Hide file tree

Showing 20 changed files with 1,318 additions and 1,145 deletions.
diff --git a/Gillian-C/bin/gillian_c.ml b/Gillian-C/bin/gillian_c.ml
@@ -6,8 +6,8 @@ module Gil_to_c_lifter
                       with type annot = CParserAndCompiler.Annot.t) =
 struct
   include
-    Gillian.Debugger.Lifter.Gil_lifter.Make (CParserAndCompiler) (Verification)
-      (SMemory)
+    Gillian.Debugger.Lifter.Gil_lifter.Make (SMemory) (CParserAndCompiler)
+      (Verification)
 
   let add_variables = MonadicSMemory.Lift.add_variables
 end

diff --git a/Gillian-JS/lib/Debugging/JSLifter.ml b/Gillian-JS/lib/Debugging/JSLifter.ml
@@ -7,8 +7,8 @@ module Make
     (Verification : Gillian.Abstraction.Verifier.S with type annot = PC.Annot.t) =
 struct
   module Gil_lifter =
-    Gillian.Debugger.Lifter.Gil_lifter.Make (PC) (Verification)
-      (Semantics.Symbolic)
+    Gillian.Debugger.Lifter.Gil_lifter.Make (Semantics.Symbolic) (PC)
+      (Verification)
 
   include Gil_lifter
 

diff --git a/GillianCore/debugging/adapter/time_travel.ml b/GillianCore/debugging/adapter/time_travel.ml
@@ -25,7 +25,7 @@ module Make (Debugger : Debugger.S) = struct
       (fun _ ->
         let stop_reason = Debugger.step dbg in
         send_stopped_events stop_reason);
-    DL.set_rpc_command_handler rpc ~name:"Reverse"
+    DL.set_rpc_command_handler rpc ~name:"Reverse continue"
       (module Reverse_continue_command)
       (fun _ ->
         let stop_reason = Debugger.run ~reverse:true dbg in