Diffusion SpecMiCP / ReactMiCP (master) History

specmicp/src/bin
master65e7793dc32308ee9e89ae8…

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.