Diffusion SpecMiCP / ReactMiCP (fixpoint) History

specmicp/tests/database
fixpointafebadac83dee143dfab544…

Oct 6 2014

add common.hpp, modify database module to use it
eb7779e20fdf
·fabien on Oct 6 2014, 15:30.

Aug 18 2014

change copyright
be84b355a07d
·fabien on Aug 18 2014, 16:50.

Apr 9 2014

database selector - remove components from the basis
a293c41b2539
·georget on Apr 9 2014, 16:55.

Apr 6 2014

change name reader; allow non canonical form in database
d1005cb9e234
·georget on Apr 6 2014, 20:55.

Apr 5 2014

add database
0ee505a85b4c
·georget on Apr 5 2014, 20:54.