Diffusion SpecMiCP / ReactMiCP (fixpoint) History

specmicp/tests/database
fixpointfe4a3c6ffe370f142f579af…

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.