brings knowledge and systems to Primus

OMakefile

@@ -33,6 +33,7 @@ include _oasis_lib.om
 OCAMLFLAGS_ANNOT = -annot -bin-annot
 OCAMLFLAGS += $(OCAMLFLAGS_ANNOT)
 OCAMLFLAGS += -opaque
+OCAMLOPTFLAGS += -O3
 
 # Until this point we allow to override variables via the command-line.
 # That means all initializations from above can be changed by omake arguments

lib/bap_primus/bap_primus.ml

@@ -8,19 +8,29 @@ module Std = struct
     module Interpreter = Bap_primus_interpreter
     module Time = Interpreter.Time
     module Linker = Bap_primus_linker
+    module Value = Bap_primus_value
+    module Memory = Bap_primus_memory
+    module Observation = Bap_primus_observation
+    module Lisp = Bap_primus_lisp
+    module Analysis = Bap_primus_analysis.Machine
+    module System = Bap_primus_system
+    module Job = System.Job
+    module Jobs = System.Jobs
+    module Info = Bap_primus_info
+    module Components = System.Components
     module Machine = struct
       module type State = State
       include Bap_primus_machine
       type 'a state = 'a State.t
       include Bap_primus_main
+      let finished = System.fini
+      let init = System.init
     end
-    module Value = Bap_primus_value
-    module Memory = Bap_primus_memory
-    module Observation = Bap_primus_observation
-    module Lisp = Bap_primus_lisp
     type generator = Generator.t
     let sexp_of_value = Value.sexp_of_t
     let value_of_sexp = Value.t_of_sexp
     let compare_value = Value.compare
+    type system = System.t
+    type info = Info.t
   end
 end