-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path_oasis
42 lines (35 loc) · 1.19 KB
/
_oasis
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
Name: PTArray
Version: 1.0
Synopsis: A library handling persistent arrays using trees.
Authors: Fabian Pijcke <[email protected]>
License: LGPL with OCaml linking exception
Description: When one wants arrays with functional updates (that is, updating
the array does not alter previously existing references of this array), just
duplicating the array is obviously a bad idea as the whole array needs to be
stored in memory while only one value changed. This implementation of
persistent arrays lowers the memory footprint at the price of random access
in logarithmic time instead of constant time. The memory need when
functionnaly updating the array is however logarithmic instead of linear.
OASISFormat: 0.4
BuildTools: ocamlbuild
Plugins: META (0.4)
Library "ptarray"
Path: src
Modules: PTArray
Document "ptarray_api"
Type: ocamlbuild (0.4)
BuildTools: ocamldoc
Title: AYI reference for ptarray
XOCamlbuildpath: .
XOcamlbuildLibraries: ptarray
Executable "ptarray_tests"
Path: tests
MainIs: tests.ml
Build$: flag(tests)
CompiledObject: best
Install: false
BuildDepends: ptarray, oUnit
Test "all"
Run$: flag(tests)
TestTools: ptarray_tests
Command: $ptarray_tests