safe

History Graph

Commit	Author	Details	Committed
235eaf0b5b35	fabien	license: modify license to include year 2016	Jan 3 2016
7465729f8739	fabien	fix: print the simplified db in specmicp output	Sep 9 2015
829fead4677c	fabien	Install SpecMiCP library	Jun 25 2015
321d2e2ffc8c	fabien	feat: add database checking option in specmicp binary	Jun 25 2015
716c76a4f13f	fabien	feature: Add specmicp binary	Jun 25 2015