Diffusion SpecMiCP / ReactMiCP (fixpoint) History

specmicp/CMakeLists.txt
fixpointa29e40517129104a2326ec7…

Apr 7 2014

move specmicp to extended_system
a29e40517129
·georget on Apr 7 2014, 19:47.
Documentations : citations and update
c551311e303e
·georget on Apr 7 2014, 00:55.

Apr 6 2014

add database management - reducing to canonical form and swap basis
4d14a2cc5b7e
·georget on Apr 6 2014, 20:55.
new database
e12fbdcee6a7
·georget on Apr 6 2014, 20:55.

Apr 5 2014

add database
0ee505a85b4c
·georget on Apr 5 2014, 20:54.
Documentation
89f89d5696f6
·georget on Apr 5 2014, 18:21.

Apr 4 2014

logger
dcc601639650
·georget on Apr 4 2014, 23:49.

Mar 26 2014

start work on specmicp
76b655f10c49
·georget on Mar 26 2014, 23:34.
micpsolver almost working
bcec4af7755f
·georget on Mar 26 2014, 00:23.

Mar 25 2014

implementation of MiCPsolver continue
19b2506fec1c
·georget on Mar 25 2014, 20:49.
start work on micp solver
d9b77d2dcb0a
·georget on Mar 25 2014, 19:07.
first commit - start work on MiCP solver
aa99981ed3b1
·georget on Mar 25 2014, 17:24.