Commits

History for

Commits on Nov 30, 2018

remove dead code

matsc
authored and
robcasloz
committed
1b754a5
fix WCET-related nits

matsc
authored and
robcasloz
committed
c2ededa
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 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 Feb 6, 2018

presolver: region precedences: remove debug messages

Mats Carlsson
authored and
robcasloz
committed
aad73f7
presolver: region precedence bugs: - find all entailed active ops - single-source longest paths - int packing overflow

Mats Carlsson
authored and
robcasloz
committed
ef9288a
get more region precedences

Mats Carlsson
authored and
robcasloz
committed
734d271

Commits on Jan 29, 2018

trivial bugs

Mats Carlsson
authored and
robcasloz
committed
e8f0c0a
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 Aug 29, 2017

region constraints done

Mats Carlsson
authored and
robcasloz
committed
1bc80d4
region constraints under connection assumptions

Mats Carlsson
authored and
robcasloz
committed
b929fde

Commits on Aug 23, 2017

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

Do not inherit from MinimizeSpace, define explicit 'constrain' function
robcasloz
committed
537e762

Commits on Jul 17, 2017

bit rot in region precedence logic caused by bad assumption on [TAIL]CALL/FUN pairs

Mats Carlsson
authored and
robcasloz
committed
aeddda5
Update solver and presolver to latest Gecode trunk

Christian Schulte
authored and
robcasloz
committed
73c7cc0

Commits on May 4, 2017

Add finer-granularity timeouts in parts of 'gecode-presolver'
robcasloz
committed
5c9e408

Commits on Apr 23, 2017

Simplify alternative return instructions in ARM with ad-hoc constraints
robcasloz
committed
7aaeb2d

Commits on Feb 21, 2017

Remove commented code in solver and presolver
robcasloz
committed
a9aacf7
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 Feb 2, 2017

Simplify packing constraints, get rid of (pack) operation
robcasloz
committed
dd3a265

Commits on Jan 12, 2017

region constraints: tiny fix; register symmetry breaking: exclude (pack) operands

Mats Carlsson
authored and
robcasloz
committed
c6d53f3

Commits on Jan 11, 2017

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

Mats Carlsson
authored and
robcasloz
committed
a0185c1
towards sane region constraints

Mats Carlsson
authored and
robcasloz
committed
70cdd85

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