Commits

History for

Commits on Oct 26, 2020

Upgrade to Qt 5
robcasloz
committed
aef1868

Commits on Oct 25, 2020

Update contact info, part II
robcasloz
committed
7ac59f4

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:

matsc
authored and
robcasloz
committed
3abba1d

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 Jul 26, 2018

Add new ad hoc constraint literal 'aligned' that forces an alignment between two operands
robcasloz
committed
fc06b22

Commits on Jan 29, 2018

a8f0ab678493eacb9ab834da1ebc7bf12ea3c262

Mats Carlsson
authored and
robcasloz
committed
fe36c49

Commits on Jan 10, 2018

Scale up lower bounds when frequencies have been downscaled to fit into 32-bits ints
robcasloz
committed
1c2f64c

Commits on Sep 18, 2017

Emit 'bounded' parameter which tells whether each register space is bounded or not
robcasloz
committed
bc398c3

Commits on Sep 6, 2017

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

Commits on Aug 10, 2017

Commits on Aug 9, 2017

Extend the ad-hoc processor constraints with new expressions: 'implies', 'connects', 'implements', and 'distance'
robcasloz
committed
3116eaf

Commits on Aug 7, 2017

Rename 'constraints' with 'E' for consistency with the manual
robcasloz
committed
29c14e1

Commits on Jul 17, 2017

Update solver and presolver to latest Gecode trunk

Christian Schulte
authored and
robcasloz
committed
73c7cc0

Commits on May 3, 2017

Update solver to work with latest jsoncpp library
robcasloz
committed
7ede9c7

Commits on Apr 23, 2017

Add support for processor-defined ad-hoc constraints, applied to alternative stores in ARM
robcasloz
committed
8651340

Commits on Mar 17, 2017

Add extensional constraints to constrain the registers assigned to pairs of operands by arbitrary relations
robcasloz
committed
bb5a655

Commits on Mar 13, 2017

retire instr_cond, now subsumed by bypass

Mats Carlsson
authored and
robcasloz
committed
5067c8d

Commits on Mar 10, 2017

Generalize 'memassign' parameter to memory register intervals rather than individual registers: this is necessary to handle correctly congruences connected by copies (such as those resulting from C…
robcasloz
committed
f62e8c4

Commits on Feb 28, 2017

Simplified 'participative' constraints
robcasloz
committed
f472e7e

Commits on Feb 21, 2017

slack domination constraint

Mats Carlsson
authored and
robcasloz
committed
37273ab
Add bypassing constraints to schedule certain instructions (e.g. new-value in Hexagon) together with the corresponding definers
robcasloz
committed
56b3e1b

Commits on Feb 9, 2017

Add participative constraints

dlunde
authored and
robcasloz
committed
b9ffeab

Commits on Feb 2, 2017

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

Commits on Dec 9, 2016

Activate packing constraints when the definer operation is implemented by a 'pack instruction' rather than when the operand is assigned to a particular register classs
robcasloz
committed
fe34b8c

Commits on Nov 24, 2016

Extend processor resource constraints with offsets
robcasloz
committed
4dbb1d8