Diffusion SpecMiCP / ReactMiCP (master) History

specmicp/src/bin/specmicp
master235eaf0b5b3515771367395…

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.