Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

minion-source Log


Commit Date  
[01af3c] by Chris Jefferson Chris Jefferson

v0.14 -> v0.15

2012-12-14 11:30:43 Tree
[e98a46] (0.14) by Peter Nightingale Peter Nightingale

finish howto

2012-07-27 10:22:02 Tree
[f62653] by Peter Nightingale Peter Nightingale

more in how-to-release.

2012-07-24 13:30:49 Tree
[7c5409] by Peter Nightingale Peter Nightingale

have another go at changing version number etc

2012-07-24 13:22:14 Tree
[cddadf] by Peter Nightingale Peter Nightingale

Change version numbers, regenerate help etc for release 0.14

2012-07-24 13:13:13 Tree
[882c99] by Lars Kotthoff Lars Kotthoff

some resume documentation and fix typos etc

2012-07-24 09:48:14 Tree
[36b4e8] by Lars Kotthoff Lars Kotthoff

remove some obsolete code

2012-07-24 09:28:19 Tree
[7debc2] by Lars Kotthoff Lars Kotthoff

I don't like double quotes.

2012-07-23 15:55:38 Tree
[f89897] by Lars Kotthoff Lars Kotthoff

more documentation update

2012-07-23 15:01:23 Tree
[770b20] by Lars Kotthoff Lars Kotthoff

don't produce file names with spaces in them

2012-07-23 14:32:01 Tree
[ae6e19] by Lars Kotthoff Lars Kotthoff

update documentation

2012-07-23 12:21:18 Tree
[ebc8b4] by Lars Kotthoff Lars Kotthoff

document -split

2012-07-23 12:16:15 Tree
[4fcc2b] by Lars Kotthoff Lars Kotthoff

Merge branch 'resumesplit'

2012-07-23 11:55:20 Tree
[cdceb7] by Chris Jefferson Chris Jefferson

Fix nasty bug find by Distler. When Minion solves a problem without having to do any search, when there are auxillery variables, and when told to search for all solutions, the it segfaults.

2012-06-27 14:53:50 Tree
[64ba65] by Chris Jefferson Chris Jefferson

Check callocs more carefully

2012-06-27 14:10:35 Tree
[fd61e2] by Chris Jefferson Chris Jefferson

Check memory allocation more carefully

2012-06-27 14:10:13 Tree
[20976b] by Lars Kotthoff Lars Kotthoff

revert commits for more propagation as this doesn't gain anything in practice

2012-06-13 14:00:53 Tree
[9ff0aa] by Lars Kotthoff Lars Kotthoff

add constraints for all domain reductions when splitting

2012-06-13 14:00:53 Tree
[15862d] by Lars Kotthoff Lars Kotthoff

dump domain reductions if last branch was a right branch to improve propagation

2012-06-13 14:00:53 Tree
[75880e] by Lars Kotthoff Lars Kotthoff

Revert "attempt at throwing away old restart nogoods when splitting multiple times"

This reverts commit abb15f0eb4fd7a97f4092c54bed1ff3d816b0ea1.

Throwing away the old restart nogoods does not work because the new ones do not
necessarily subsume them. The new nogoods will get minion to where it left off
/from the node where it was stopped the previous time/. The old nogoods are not
encoded in the new ones because getting to the node is now not a search decision
(which would be encoded) but achieved through propagation of the old noogoods.

2012-06-13 14:00:53 Tree
[9f0f13] by Lars Kotthoff Lars Kotthoff

attempt at throwing away old restart nogoods when splitting multiple times

2012-06-13 14:00:53 Tree
[e719d6] by Lars Kotthoff Lars Kotthoff

initial resumesplit implementation for optimisation problems

2012-06-13 14:00:52 Tree
[596afc] by Lars Kotthoff Lars Kotthoff

putting original instance name into resume file, courtesy of caj

2012-06-13 14:00:52 Tree
[ccd4d0] by Lars Kotthoff Lars Kotthoff

proper resume file naming

2012-06-13 14:00:52 Tree
[64dacb] by Lars Kotthoff Lars Kotthoff

don't split if there're no branches to explore

2012-06-13 14:00:52 Tree
Older >