schedcat.git, branch master

Pretty-print example task set files

2013-11-26T23:21:47+00:00

Easier to inspect by hand if properly indented.

Add example code and related end-to-end tests.

2013-11-26T23:14:57+00:00

Add support for arbitrary GEL locking priorities

2013-11-25T20:50:04+00:00

Fix bug in locking overhead code that used task set in place of its cardinality

2013-11-25T20:46:02+00:00

Replace pp with prio_pt in Python code, to match C++ code

2013-11-25T20:40:23+00:00

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.

Bugfix: de-duplicate definition of assign_ids_by_period

2013-05-01T08:17:50+00:00

The Python taskmodel implementation, TaskSystem, has multiple
definitions of assign_ids_by_period(), where one of them actually
assigns IDs by deadline. This patch renames the method accordingly.

blocking bounds: return C++ results object to caller

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

This is useful for testing.