Sockeye: Implement unmap

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Bugfix

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: towards unmap

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Fix p2i error

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

decoding net: fixed compile error

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

Sockeye: Start with unmap

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Fix for parsing with p2i

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add free

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Fix state_remove bug and tests

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Remove backtracking point in decrement avail

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Don't use negative numbers for empty region

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Resolve Dst first in map command

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Multiple conf nodes

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Implement map

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

decoding net: some formatting changes

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

decoding net: update the state predicates to use less resolution

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Sockeye: Cleanup, move asserts out into support

Also had to make decoding_net4 a non-module, because dynamic and
modules are a hassle.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add alloc

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

flattening

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Start with re-work

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Again, make things go fast(er).

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

sockeye: reorganize queries and the support

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Sockeye: Speed optimizations

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Another try

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Print all the model queries

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

hwmodels: make the testcase working

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Sockeye: Add reverse resolve wrap query

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

revert some tries

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Revert some tries

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

More fixes

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Try if optimizations get in our way

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Fix numbers. translate (no conf) respect sub-blocks

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Respect in_use in intermediate route steps

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Translate blocks that are a subset of translateable blocks

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: More fixes for new state encoding

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

sockeye: call assert inside the init function of the decoding net

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Sockeye: Fix new state representation

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

sockeye: separate the state lists

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Sockeye: Integrate Xeon Phi address translation query

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Make it work for xeon phi + xeon_phi alias query

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add Xeon Phi

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: "optimize" search order

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Remove state file fixup 2

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: don't use the internal state predicates as they use cut

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Sockeye: Remove structs from prolog

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

decnet: replace structs with normal predicates

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Sockeye: Make offset smaller pagesize. Allocation speed

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Prolog fixing

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

decodingnet: remove the loop and simplify parsing

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Sockeye: Support variable observer count in prolog

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add BF interface support for new decoding net

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add alloc and alias frontend queries

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Update region_alloc

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Decoding net allocate free range

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add routing

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add configurable translate

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add translate for reconfigurable nodes

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Add some more stuff to new file

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: Next iteration

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>