schedcat.git/native/include, branch master

Remove unused field from QPA implementation

2013-08-14T17:10:46+00:00

Silences a Clang++ warning/error:

> In file included from src/edf/qpa.cpp:12:
> include/edf/qpa.h:7:18: error: private field 'm' is not used [-Werror,-Wunused-private-field]
>     unsigned int m;
>                  ^
> 1 error generated.

Implement LP-based OMIP blocking analysis

2013-07-12T12:19:22+00:00

Fix broken demand calculation

2013-05-22T17:10:13+00:00

Felipe Cerqueira reported incorrect QPA results. The root cause was
a corner case in the demand calculation. This patch fixes the
underestimation of demand if time == deadline and adds a test case
discovered by Felipe that triggered the bug.

Add LP-based blocking analysis for FMLP+

2013-02-12T11:55:16+00:00

Add LP-based blocking analysis for MPCP

2013-02-12T11:55:16+00:00

Add generic LP support for shared-memory protocols

2013-02-12T11:55:16+00:00

Add support for dumping LPs to iostreams

2013-02-12T11:55:16+00:00

Quite handy when debugging LPs...

C++ LP analysis: add LP debugging helper

2013-02-12T11:55:16+00:00

Dump a LP solution to a stream for inspection.

Refactor linprog_solve() into a proper function

2013-02-12T11:55:16+00:00

Disable creation of new variables after creation of the objective function

2013-02-12T11:55:16+00:00

This can reveal bugs in constraints that accidentally include Ti.