https://github.com/armael/ocaml-wlc

Experimental OCaml bindings for Wlc
https://github.com/armael/ocaml-wlc

Last synced: 2 months ago
JSON representation

Experimental OCaml bindings for Wlc

• Host: GitHub
• URL: https://github.com/armael/ocaml-wlc
• Owner: Armael
• Created: 2015-02-06T14:46:29.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2015-04-06T17:29:13.000Z (almost 10 years ago)
• Last Synced: 2023-03-12T09:34:10.273Z (almost 2 years ago)
• Language: OCaml
• Homepage: http://armael.github.io/ocaml-wlc/dev/
• Size: 320 KB
• Stars: 16
• Watchers: 5
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# OCaml-Wlc

Experimental OCaml binding for Wlc (http://github.com/Cloudef/wlc).

Documentation of ocaml-wlc can be found [here](http://armael.github.io/ocaml-wlc/dev/).

## How to build

After installing [Wlc](http://github.com/Cloudef/wlc), run:

```

opam pin add wlc https://github.com/Armael/ocaml-wlc.git

```

## Example

See `example/example.ml`.

## Is it up-to-date?

The hash of the Wlc commit corresponding to the current state of the

binding can be found in the file WLC_REV.

If it's not the latest commit:

- If Wlc's API (include/wlc/*.h) has not changed in between,

  then it's probably fine;

- If it changed, please ping me via github so I update the bindings :-).

## Implementation details

- *_user_data functions are not bound. It could be done, but

   there is no need to bloat the binding since we can have hashtables

   {view/output/...} -> anything in OCaml.

- some zeroed handles may not be handled (i.e. OCaml functions taking or

  returning a `t` instead of a `option t`) probably causing an error in

  the zero case. Report it if it happens

- I tried to order the various functions in submodules, causing some renamings

  for module dependencies reasons. Names of functions and variants is not

  written in stone and can be discussed.