Commits

History for

Commits on Oct 25, 2020

Update contact info, part II
robcasloz
committed
7ac59f4

Commits on Jan 4, 2019

Put WCET computation outside the presolver's timer to avoid crashing 'minizinc-solver'
robcasloz
committed
5acff82

Commits on Nov 30, 2018

promote WCET stuff to presolver, so as to make it part of .json

matsc
authored and
robcasloz
committed
96ee81b
C++ code cleanup

matsc
authored and
robcasloz
committed
326b0d5

Commits on Nov 29, 2018

presolver: suppress excessive copies

matsc
authored and
robcasloz
committed
4fb56b2

Commits on Nov 24, 2018

scoping

matsc
authored and
robcasloz
committed
8861f03

Commits on Nov 22, 2018

new parameter "temp_domain": first hack

matsc
authored and
robcasloz
committed
60e4c88
presolver: add JSON array "subsumed_resources"

matsc
authored and
robcasloz
committed
afda618

Commits on Jan 29, 2018

a8f0ab678493eacb9ab834da1ebc7bf12ea3c262

Mats Carlsson
authored and
robcasloz
committed
fe36c49

Commits on Jan 24, 2018

Complete presolver improvements
robcasloz
committed
0acafed
code-generation.mzn: tighten data precedence; presolver: improve before-precedences and region-precedences also using tabling info and simulated data precedences

Mats Carlsson
authored and
robcasloz
committed
8f84adf
presolver: before-precedences and region-precedences revisited for better lower bounds

Mats Carlsson
authored and
robcasloz
committed
f5db170

Commits on Jan 9, 2018

Add option to disable tabling in 'gecode-presolver'
robcasloz
committed
18b3645

Commits on Dec 13, 2017

Compute 'unsafe_temp' in any case during presolving as 'minizinc-solver' seems to rely on it
robcasloz
committed
b33dfd4

Commits on Aug 29, 2017

region constraints under connection assumptions

Mats Carlsson
authored and
robcasloz
committed
b929fde

Commits on Aug 23, 2017

presolver+solver constraint expression merger cleanup

Mats Carlsson
authored and
robcasloz
committed
6c10b67
presolver+solver constraint expression merger phase 2

Mats Carlsson
authored and
robcasloz
committed
156eb6e
presolver+solver constraint expression merger phase 1

Mats Carlsson
authored and
robcasloz
committed
08372e6

Commits on Aug 16, 2017

Update SICS' name and email addresses
robcasloz
committed
dc8f590

Commits on Aug 10, 2017

Commits on May 4, 2017

Commits on Mar 13, 2017

retire instr_cond, now subsumed by bypass

Mats Carlsson
authored and
robcasloz
committed
5067c8d

Commits on Feb 21, 2017

slack domination constraint

Mats Carlsson
authored and
robcasloz
committed
37273ab

Commits on Feb 3, 2017

presolver: conservative register symmetries, better time management

Mats Carlsson
authored and
robcasloz
committed
8d19ff3

Commits on Jan 24, 2017

presolver: if globally infeasible, add a nogood; code-generation.mzn: minor cleanup

Mats Carlsson
authored and
robcasloz
committed
8264dc7

Commits on Jan 18, 2017

Make presolver abort if unsatisfiability is detected by root propagation
robcasloz
committed
da45672

Commits on Jan 11, 2017

sane region constraints, can be disabled with --regions=false

Mats Carlsson
authored and
robcasloz
committed
a0185c1

Commits on Nov 24, 2016

presolver: disable data precedences

Mats Carlsson
authored and
robcasloz
committed
a07a5f2

Commits on Nov 18, 2016

presolver: add implied region precedences; disable predecessors and successors

Mats Carlsson
authored and
robcasloz
committed
bc24e5d

Commits on Sep 27, 2016

Add initial snapshot
robcasloz
committed
a6c7efd

Loading