- Nov 26, 2013
-
-
Jiří Weiser authored
-
Jiří Weiser authored
-
Vladimír Štill authored
-
Petr Rockai authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
- Nov 25, 2013
-
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
- Nov 24, 2013
-
-
Vladimír Štill authored
-
Petr Rockai authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
- Nov 23, 2013
-
-
Vladimír Štill authored
Most work is now done by instances generator when it is run (that is when compiling DIVINE). Contrary to situation with old automatic instantiation, the select function is now also auto generated, therefore the run-time overhead of instantiation should be less then or equal to previous version.
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
- Nov 21, 2013
-
-
Petr Rockai authored
-
Petr Rockai authored
-
- Nov 17, 2013
-
-
Vladimír Štill authored
There are still things this are probably outdated though.
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
- Nov 08, 2013
-
-
Jiří Barnat authored
-
- Nov 19, 2013
-
-
Petr Rockai authored
-
Petr Rockai authored
-
- Nov 17, 2013
-
-
Petr Rockai authored
-
- Nov 16, 2013
-
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
- Nov 15, 2013
-
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
- Oct 14, 2013
-
-
Vladimír Štill authored
Now: - for each list of possible component values, it is specified whether there is default value (last) and whether user should be warned if selection of one components shadows others (such as POR vs. fairness for DVE). - user is warned is component would be selected but is is not compiled in (such as POR when compiled with O_SMALL, or missing generator)
-