.github
|
2016-02-27
|
Arto Bendiken
|
[87cac8]
Improved the inline contribution guidelines.
|
bin
|
2016-03-30
|
Arto Bendiken
|
[a58a77]
Implemented the basic `consim` script.
|
doc
|
2016-01-17
|
Arto Bendiken
|
[d4d0b5]
Ensured that the Consensus module is pre-opened...
|
etc
|
2016-03-30
|
Arto Bendiken
|
[9529d1]
Defined the `conmsg` and `consim` scripts.
|
lib
|
2016-01-17
|
Arto Bendiken
|
[9570b3]
Removed libffi and Ctypes as project dependencies.
|
src
|
2016-03-30
|
Arto Bendiken
|
[7cafec]
Implemented conreality.sdk.knowledge.scenario.i...
|
test
|
2016-03-27
|
Arto Bendiken
|
[0e062c]
Implemented conreality.sdk.messaging.Message#or...
|
.gitignore
|
2016-01-17
|
Arto Bendiken
|
[6a5124]
Removed the unused, obsolete OPAM package defin...
|
.gitmodules
|
2016-01-17
|
Arto Bendiken
|
[9570b3]
Removed libffi and Ctypes as project dependencies.
|
.merlin
|
2016-03-15
|
Arto Bendiken
|
[ac6c0b]
Reorganized the tests to make space for DDK tests.
|
.ocamlinit
|
2016-01-17
|
Arto Bendiken
|
[d4d0b5]
Ensured that the Consensus module is pre-opened...
|
.ocp-indent
|
2015-08-29
|
Arto Bendiken
|
[d28930]
Created the project.
|
.travis.yml
|
2015-12-04
|
Arto Bendiken
|
[c85619]
Renamed the project repository from 'consensus'...
|
AUTHORS
|
2015-11-04
|
Arto Bendiken
|
[434498]
Added Mike Gogulski to the author list.
|
CHANGES
|
2015-08-29
|
Arto Bendiken
|
[d28930]
Created the project.
|
CREDITS
|
2015-08-29
|
Arto Bendiken
|
[d28930]
Created the project.
|
Makefile.am
|
2016-02-29
|
Arto Bendiken
|
[a88674]
Added a stub for the upcoming `concam` script.
|
README
|
2015-08-29
|
Arto Bendiken
|
[d28930]
Created the project.
|
README.rst
|
2016-01-25
|
Arto Bendiken
|
[180552]
Added `opam install` example commands to the RE...
|
TODO
|
2015-12-06
|
Arto Bendiken
|
[d46c03]
Added the accidentally-deleted TODO file back.
|
UNLICENSE
|
2015-08-29
|
Arto Bendiken
|
[d28930]
Created the project.
|
VERSION
|
2015-08-29
|
Arto Bendiken
|
[d28930]
Created the project.
|
autogen.sh
|
2016-01-09
|
Arto Bendiken
|
[b2a307]
Began overhauling the build system to be based ...
|
configure.ac
|
2016-03-29
|
Arto Bendiken
|
[ec9e96]
Imported a skeleton for the SDK.
|