Merge pull request #343 from gitoleg/bap-future-PR

Future library - a library for co-inductive data types

This library provides a foundation for reasoning about dynamic state systems. It provides two main data types: `future` that is a value, that maybe defined in the future, and `stream` that is an infinite stream of finite values, useful  to capture objects with a value that changes in time.

Author: ivg

.merlin

@@ -19,6 +19,7 @@ B _build/lib/bap
 B _build/lib/bap_disasm
 B _build/lib/bap_dwarf
 B _build/lib/bap_elf
+B _build/lib/bap_future
 B _build/lib/bap_image
 B _build/lib/bap_sema
 B _build/lib/bap_trace
@@ -29,6 +30,7 @@ S lib/bap
 S lib/bap_disasm
 S lib/bap_dwarf
 S lib/bap_elf
+S lib/bap_future
 S lib/bap_image
 S lib/bap_sema
 S lib/bap_trace

_oasis

@@ -182,6 +182,14 @@ Library bap_image
                  Image_common,
                  Image_internal_std
 
+Library bap_future
+  Path:            lib/bap_future/
+  FindlibParent:   bap
+  FindlibName:     future
+  CompiledObject:  best
+  BuildDepends:    core_kernel
+  InternalModules: Bap_future
+
 Library elf_backend
   Path:            lib/bap_image/
   FindlibParent:   bap
@@ -348,6 +356,14 @@ Library project_test
   Install:        false
   Modules:        Test_project
 
+Library future_test
+  Path:           lib_test/bap_future
+  Build$:         flag(tests)
+  CompiledObject: best
+  BuildDepends:   bap.future, oUnit
+  Install:        false
+  Modules:        Test_future_std, Test_future, Test_stream
+
 Library dwarf_test
   Path:           lib_test/bap_dwarf
   Build$:         flag(tests)
@@ -454,6 +470,7 @@ Executable run_tests
   BuildDepends: bap.plugins,
                 disasm_test,
                 dwarf_test,
+                future_test,
                 image_test,
                 oUnit,
                 sema_test,