Diffusion SpecMiCP / ReactMiCP (dev) History

specmicp/src/bin/specmicp
dev5b27dfbd6dec5f18ba0088f…

May 22 2016

specmicp binary use new YAML interface
b1aa7b422b2b
·georget on May 22 2016, 17:57.

Feb 7 2016

fix:organization update binaries
5370f3c30e60
·georget on Feb 7 2016, 17:08.

Jan 3 2016

license: modify license to include year 2016
235eaf0b5b35
·fabien on Jan 3 2016, 00:04.

Sep 9 2015

fix: print the simplified db in specmicp output
7465729f8739
·fabien on Sep 9 2015, 21:37.

Jun 25 2015

Install SpecMiCP library
829fead4677c
·fabien on Jun 25 2015, 23:21.
feat: add database checking option in specmicp binary
321d2e2ffc8c
·fabien on Jun 25 2015, 19:50.
feature: Add specmicp binary
716c76a4f13f
·fabien on Jun 25 2015, 19:24.