andrewray

System requirements

m4, minsat, picosat, llvm-3.5: install with apt-get in ubuntu 16.04

cryptominisat: compile and install from https://github.com/msoos/cryptominisat/releases/tag/4.5.3

Opam install

Copy line by line or dump into a bash script.

andrewray

FROM ocaml/opam

RUN sudo apt-get install -y \
    libgmp3-dev \
    libzmq3-dev \
    libffi-dev \
    libssl-dev \
    zlib1g-dev \
    pkg-config \
    build-essential \

andrewray

(* Extending the LEDs example with a couple of more advanced features.
 
  1) Use interfaces to define the input and output ports of the circuit
     and then use the generic functors in HardCaml.Interface to avoid
     needing to explicitly define port names with the `input` and `output` 
     functions.

  2) Implement the pictorial statemachine from the diagram in the style
     we would use if writing in VHDL or Verilog

andrewray

A simple GIST created to demonstrate ocaml-github javascript integration.

andrewray

To access Iocaml require the package iocaml-kernel.notebook

From a discussion on using plplot in iocaml

yes, either Iocaml.dispaly or Iocaml.send_mime could do the job in sligthly different ways:

?context:Iocaml.cell_context -> ?base64:bool -> string -> string -> unit

andrewray

#!/bin/sh -ex

echo 'yes' | sudo apt-add-repository ppa:lvillani/zeromq3
sudo apt-get update
sudo apt-get install --force-yes -y libzmq3=3.2.4+dfsg-1~precise1~ppa1 libzmq3-dev=3.2.4+dfsg-1~precise1~ppa1

andrewray

(*

  An OCaml (4.02) port of the C++ conjugate gradient solver.  

  Demo
  ----

    $ ocaml
    # #use "solver.ml";;
    # let b, (err, x) = Demo.solve_small();;

andrewray

andrewray

diff --git a/utils/clflags.ml b/utils/clflags.ml
index 0f557a7..6cb1a76 100644
--- a/utils/clflags.ml
+++ b/utils/clflags.ml
@@ -110,4 +110,4 @@ let runtime_variant = ref "";;      (* -runtime-variant *)
 
 let keep_locs = ref false              (* -keep-locs *)
 let unsafe_string = ref true;;         (* -safe-string / -unsafe-string *)
-let easy = ref false               (* -easytype *)
+let easy = ref true               (* -easytype *)

andrewray

diff --git a/.depend b/.depend
index 9b6b9ff..c845f3e 100644
--- a/.depend
+++ b/.depend
@@ -86,7 +86,7 @@ parsing/printast.cmx : parsing/parsetree.cmi utils/misc.cmx \
 parsing/syntaxerr.cmo : parsing/location.cmi parsing/syntaxerr.cmi
 parsing/syntaxerr.cmx : parsing/location.cmx parsing/syntaxerr.cmi
 typing/annot.cmi : parsing/location.cmi
-typing/btype.cmi : typing/types.cmi typing/path.cmi parsing/asttypes.cmi
+typing/btype.cmi : typing/types.cmi typing/path.cmi parsing/asttypes.cmi typing/typedtree.cmi