Commits · f48bd182c9953a299eefdfb5ab3957ff4a83c152 · POTTIER Francois / inferno

24 Sep, 2019 9 commits
- Add CHANGES.md. · f48bd182
  POTTIER Francois authored Sep 24, 2019
  
  f48bd182
- Change a TODO item into an issue (#2 ). · d9e0d5f9
  POTTIER Francois authored Sep 24, 2019
  
  d9e0d5f9
- Build and run the sample client as part of [make test]. · c50a32dd
  POTTIER Francois authored Sep 24, 2019
  
  c50a32dd
- TODO. · 9b66d7b8
  POTTIER Francois authored Sep 24, 2019
  
  9b66d7b8
- Add [make test], which runs the UnionFind benchmark. · 27d031f9
  POTTIER Francois authored Sep 24, 2019
  
  27d031f9
- Add a header to every source file. · f708bafd
  POTTIER Francois authored Sep 24, 2019
  
  f708bafd
- Switch to Dune. · 4ab55b43
  POTTIER Francois authored Sep 24, 2019
  
  4ab55b43
- Makefile fix: install inferno.{a,o,mlpack} too. · 38f398b2
  POTTIER Francois authored Sep 24, 2019
  
  38f398b2
- TODO. · aa94164f
  POTTIER Francois authored Sep 24, 2019
  
  aa94164f
05 Apr, 2018 8 commits
- Add [license] field to [opam] file. · 62cf0d2c
  POTTIER Francois authored Apr 05, 2018
  
  62cf0d2c
- Remove TODO items. · 28370d9f
  POTTIER Francois authored Apr 05, 2018
  
  28370d9f
- GNUmakefile fix. · b78ba13c
  POTTIER Francois authored Apr 05, 2018
  
  b78ba13c
- A simpler release scheme, depending on gitlab. · f1d3d72c
  POTTIER Francois authored Apr 05, 2018
  
  f1d3d72c
- Update the version number. · 2518dbb0
  POTTIER Francois authored Apr 05, 2018
  
  2518dbb0
- Scripts for maintaining an opam package. · 8571494b
  POTTIER Francois authored Apr 05, 2018
  
  8571494b
- Change [Array.create] to [Array.make]. · d536d0e6
  POTTIER Francois authored Apr 05, 2018
  
  d536d0e6
- SolverHi: eta-expand the definition of (---). · f6c09dae
  POTTIER Francois authored Apr 05, 2018
```
This works around a new type system restriction introduced in OCaml 4.05
(https://github.com/ocaml/ocaml/pull/929).
```
  f6c09dae
04 Apr, 2018 4 commits
- Merge branch 'regisgia/inferno-master' · 77844ad5
  POTTIER Francois authored Apr 04, 2018
  
  77844ad5
- Makefile simplification. · b417feda
  POTTIER Francois authored Apr 04, 2018
  
  b417feda
- Export more sources. Remove dependency of [install] on [uninstall]. · c602908a
  POTTIER Francois authored Apr 04, 2018
  
  c602908a
- Missing newline. · a4722cc1
  POTTIER Francois authored Apr 04, 2018
  
  a4722cc1
30 Mar, 2018 1 commit
- A more standard build protocol. · d04810a7
  Yann Regis-Gianas authored Mar 30, 2018
  
  d04810a7
02 Mar, 2018 8 commits
- TODO. · 80eb298d
  POTTIER Francois authored Mar 02, 2018
  
  80eb298d
- README. · 6b686600
  POTTIER Francois authored Mar 02, 2018
  
  6b686600
- TODO. · af13c4d6
  POTTIER Francois authored Mar 02, 2018
  
  af13c4d6
- Authors & license. · 96ad6e87
  POTTIER Francois authored Mar 02, 2018
  
  96ad6e87
- Add the source code. · b25bf2de
  POTTIER Francois authored Mar 02, 2018
  
  b25bf2de
- TODO. · 93a97367
  POTTIER Francois authored Mar 02, 2018
  
  93a97367
- TODO. · f0d00723
  POTTIER Francois authored Mar 02, 2018
  
  f0d00723
- Add README. · b43c009a
  POTTIER Francois authored Mar 02, 2018
  
  b43c009a