-
Notifications
You must be signed in to change notification settings - Fork 1
/
timed.opam
45 lines (44 loc) · 1.37 KB
/
timed.opam
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
42
43
44
45
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "Timed references for imperative state"
description: """
Timed references for imperative state. This module provides an alternative
type for references (or mutable cells) supporting undo/redo operations. In
particular, an abstract notion of time is used to capture the state of the
references at any given point, so that it can be restored. Note that usual
reference operations only have a constant time / memory overhead (compared
to those of the standard library).
Moreover, we provide an alternative implementation based on the references
of the standard library (Pervasives module). However, it is less efficient
than the first one."""
maintainer: [
"Christophe Raffalli <christophe@raffalli.eu"
"Rodolphe Lepigre <lepigre@mpi-sws.org>"
]
authors: [
"Christophe Raffalli <christophe@raffalli.eu"
"Rodolphe Lepigre <lepigre@mpi-sws.org>"
]
license: "MIT"
homepage: "https://github.com/rlepigre/ocaml-timed"
bug-reports: "https://github.com/rlepigre/ocaml-timed/issues"
depends: [
"ocaml" {>= "4.08.0"}
"odoc" {with-doc}
"dune" {>= "2.7" & build}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "git+https://github.com/rlepigre/ocaml-timed.git"