barrelfish
4 years agoAdapt OMAP44xx spec to new sockeye
Daniel Schwyn [Wed, 19 Jul 2017 14:29:25 +0000]
Adapt OMAP44xx spec to new sockeye

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: clean up
Daniel Schwyn [Wed, 19 Jul 2017 14:19:12 +0000]
Sockeye: clean up

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Handle arbitrary large numbers
Daniel Schwyn [Wed, 19 Jul 2017 14:03:02 +0000]
Sockeye: Handle arbitrary large numbers

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoDecodingNet: Adapt resolution and queries to nodes without overlay
Daniel Schwyn [Wed, 19 Jul 2017 13:54:46 +0000]
DecodingNet: Adapt resolution and queries to nodes without overlay

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Finish implementation of overlay to map translation
Daniel Schwyn [Wed, 19 Jul 2017 13:42:01 +0000]
Sockeye: Finish implementation of overlay to map translation

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Start implementing overley to map translation
Daniel Schwyn [Tue, 18 Jul 2017 16:18:23 +0000]
Sockeye: Start implementing overley to map translation

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Switch default mapping to 0x0 if no base address given
Daniel Schwyn [Tue, 18 Jul 2017 12:54:00 +0000]
Sockeye: Switch default mapping to 0x0 if no base address given

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Implement import support
Daniel Schwyn [Tue, 18 Jul 2017 12:32:27 +0000]
Sockeye: Implement import support

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoUpdate omap44xx spec to new Sockeye syntax
Daniel Schwyn [Tue, 18 Jul 2017 08:47:06 +0000]
Update omap44xx spec to new Sockeye syntax

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Represent NodeId as name + namespace list in Prolog
Daniel Schwyn [Mon, 17 Jul 2017 09:00:49 +0000]
Sockeye: Represent NodeId as name + namespace list in Prolog

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Remove debug imports
Daniel Schwyn [Fri, 14 Jul 2017 15:11:01 +0000]
Sockeye: Remove debug imports

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Implement port mappings
Daniel Schwyn [Fri, 14 Jul 2017 14:20:16 +0000]
Sockeye: Implement port mappings

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Implement proper module instantiation check
Daniel Schwyn [Fri, 14 Jul 2017 09:05:42 +0000]
Sockeye: Implement proper module instantiation check

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Start implementing decoding net transformation
Daniel Schwyn [Thu, 13 Jul 2017 20:42:10 +0000]
Sockeye: Start implementing decoding net transformation

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Finish AST simplification
Daniel Schwyn [Thu, 13 Jul 2017 19:21:38 +0000]
Sockeye: Finish AST simplification

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Start implementing new simplification approach for net builder
Daniel Schwyn [Thu, 13 Jul 2017 15:59:37 +0000]
Sockeye: Start implementing new simplification approach for net builder

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Start implementing port mappings
Daniel Schwyn [Wed, 12 Jul 2017 16:02:36 +0000]
Sockeye: Start implementing port mappings

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Adapt prolog backend to new AST
Daniel Schwyn [Wed, 12 Jul 2017 14:56:54 +0000]
Sockeye: Adapt prolog backend to new AST

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Implement checks in net builder
Daniel Schwyn [Wed, 12 Jul 2017 12:31:28 +0000]
Sockeye: Implement checks in net builder

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Better naming for some AST types
Daniel Schwyn [Wed, 12 Jul 2017 09:09:15 +0000]
Sockeye: Better naming for some AST types

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Implement nodeSpec conversion
Daniel Schwyn [Wed, 12 Jul 2017 09:02:45 +0000]
Sockeye: Implement nodeSpec conversion

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Start implementation of net builder
Daniel Schwyn [Tue, 11 Jul 2017 12:44:04 +0000]
Sockeye: Start implementation of net builder

TODO:
- Node specs
- Port mappings
- Checks

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Start implementation of net builder
Daniel Schwyn [Fri, 7 Jul 2017 16:22:20 +0000]
Sockeye: Start implementation of net builder

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Add check for self instantiation
Daniel Schwyn [Fri, 7 Jul 2017 15:34:42 +0000]
Sockeye: Add check for self instantiation

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Checker code improvements
Daniel Schwyn [Fri, 7 Jul 2017 15:17:11 +0000]
Sockeye: Checker code improvements

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Refactor ASTs
Daniel Schwyn [Fri, 7 Jul 2017 14:49:49 +0000]
Sockeye: Refactor ASTs

Also get rid of debugging backend

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Add stub for net builder
Daniel Schwyn [Fri, 7 Jul 2017 14:34:23 +0000]
Sockeye: Add stub for net builder

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Rename 'int' type to 'nat'
Daniel Schwyn [Fri, 7 Jul 2017 13:54:35 +0000]
Sockeye: Rename 'int' type to 'nat'

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Better error messages for checker
Daniel Schwyn [Fri, 7 Jul 2017 12:32:25 +0000]
Sockeye: Better error messages for checker

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Cleanup checker
Daniel Schwyn [Fri, 7 Jul 2017 08:17:30 +0000]
Sockeye: Cleanup checker

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Checker now checks everything
Daniel Schwyn [Thu, 6 Jul 2017 22:03:48 +0000]
Sockeye: Checker now checks everything

TODO:
- Better error messages
- Clean up

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Finish checker for NodeSpec
Daniel Schwyn [Thu, 6 Jul 2017 20:24:09 +0000]
Sockeye: Finish checker for NodeSpec

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Checker almost finished
Daniel Schwyn [Thu, 6 Jul 2017 16:19:22 +0000]
Sockeye: Checker almost finished

TODO: check module instantiations

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Start implementation of checker
Daniel Schwyn [Thu, 6 Jul 2017 09:17:37 +0000]
Sockeye: Start implementation of checker

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: fix typo
Daniel Schwyn [Tue, 4 Jul 2017 09:06:49 +0000]
Sockeye: fix typo

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Allow to instantiate modules with inlined range in name space
Daniel Schwyn [Tue, 4 Jul 2017 08:59:46 +0000]
Sockeye: Allow to instantiate modules with inlined range in name space

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Allow to use inlined for in node decls
Daniel Schwyn [Tue, 4 Jul 2017 08:50:57 +0000]
Sockeye: Allow to use inlined for in node decls

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Refactoring
Daniel Schwyn [Tue, 4 Jul 2017 08:36:41 +0000]
Sockeye: Refactoring

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Allow do define port mappings with inline range in identifier
Daniel Schwyn [Tue, 4 Jul 2017 07:56:41 +0000]
Sockeye: Allow do define port mappings with inline range in identifier

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Allow to define ports with inline range in identifier
Daniel Schwyn [Mon, 3 Jul 2017 13:55:28 +0000]
Sockeye: Allow to define ports with inline range in identifier

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Fix Identifier parsing
Daniel Schwyn [Mon, 3 Jul 2017 08:36:37 +0000]
Sockeye: Fix Identifier parsing

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Introduce for loops
Daniel Schwyn [Fri, 30 Jun 2017 20:47:04 +0000]
Sockeye: Introduce for loops

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Only one list for port mappings
Daniel Schwyn [Fri, 30 Jun 2017 18:39:26 +0000]
Sockeye: Only one list for port mappings

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Correct file headers for ASTs
Daniel Schwyn [Fri, 30 Jun 2017 18:32:58 +0000]
Sockeye: Correct file headers for ASTs

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Better error messages for parser
Daniel Schwyn [Fri, 30 Jun 2017 16:14:48 +0000]
Sockeye: Better error messages for parser

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Parser for new syntax
Daniel Schwyn [Fri, 30 Jun 2017 15:53:10 +0000]
Sockeye: Parser for new syntax

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: WIP: Parser for new syntax
Daniel Schwyn [Fri, 30 Jun 2017 15:17:14 +0000]
Sockeye: WIP: Parser for new syntax

TODO:
- Module instantiations

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Correct imports
Daniel Schwyn [Fri, 30 Jun 2017 08:19:07 +0000]
Sockeye: Correct imports

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Complete new AST for Frontend
Daniel Schwyn [Fri, 30 Jun 2017 07:50:58 +0000]
Sockeye: Complete new AST for Frontend

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: New AST for Frontend
Daniel Schwyn [Thu, 29 Jun 2017 14:18:02 +0000]
Sockeye: New AST for Frontend

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoTechnote: Add TODOs for missing parts
Daniel Schwyn [Tue, 27 Jun 2017 12:47:16 +0000]
Technote: Add TODOs for missing parts

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoTechnote: Compile Sockeye examples as part of build process
Daniel Schwyn [Tue, 27 Jun 2017 10:59:44 +0000]
Technote: Compile Sockeye examples as part of build process

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoTechnote: Add more syntax examples
Daniel Schwyn [Mon, 26 Jun 2017 14:13:52 +0000]
Technote: Add more syntax examples

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoBackport OMAP44xx spec changes from page-tables branch
Daniel Schwyn [Mon, 26 Jun 2017 14:22:41 +0000]
Backport OMAP44xx spec changes from page-tables branch

Also rename from omap4460 to omap44xx

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSKB: Refactor decodingNet modules
Daniel Schwyn [Mon, 19 Jun 2017 09:19:09 +0000]
SKB: Refactor decodingNet modules

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoOMAP4460 spec: Fix address mapping for L3_OCM_RAM in L3
Daniel Schwyn [Fri, 16 Jun 2017 13:55:37 +0000]
OMAP4460 spec: Fix address mapping for L3_OCM_RAM in L3

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoOMAP4460 spec: Fix address mapping for CKGEN_CM1
Daniel Schwyn [Fri, 16 Jun 2017 12:00:59 +0000]
OMAP4460 spec: Fix address mapping for CKGEN_CM1

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoTechnote: clean up
Daniel Schwyn [Thu, 15 Jun 2017 12:10:07 +0000]
Technote: clean up

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoTechnote: Describe Prolog mapping
Daniel Schwyn [Thu, 15 Jun 2017 09:21:34 +0000]
Technote: Describe Prolog mapping

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Generate hex addresses for Prolog
Daniel Schwyn [Thu, 15 Jun 2017 09:14:52 +0000]
Sockeye: Generate hex addresses for Prolog

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoTechnote: Fix bibliography
Daniel Schwyn [Wed, 14 Jun 2017 15:47:53 +0000]
Technote: Fix bibliography

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoTechnote: Add hake chapter
Daniel Schwyn [Wed, 14 Jun 2017 15:41:43 +0000]
Technote: Add hake chapter

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoRemove test .soc file from Hakefile
Daniel Schwyn [Wed, 14 Jun 2017 15:22:59 +0000]
Remove test .soc file from Hakefile

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoTechnote: Clean up
Daniel Schwyn [Wed, 14 Jun 2017 15:19:43 +0000]
Technote: Clean up

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoTechnote: Add syntax description
Daniel Schwyn [Wed, 14 Jun 2017 15:12:50 +0000]
Technote: Add syntax description

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSeparate node IDs by whitespace for 'are' instead of commas
Daniel Schwyn [Wed, 14 Jun 2017 14:13:53 +0000]
Separate node IDs by whitespace for 'are' instead of commas

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoMerge remote-tracking branch 'upstream/master' into sockeye
Daniel Schwyn [Tue, 13 Jun 2017 13:11:46 +0000]
Merge remote-tracking branch 'upstream/master' into sockeye

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoMerge remote-tracking branch 'upstream/master' into sockeye
Daniel Schwyn [Tue, 13 Jun 2017 12:31:24 +0000]
Merge remote-tracking branch 'upstream/master' into sockeye

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoRemove naive decoding net implementation
Daniel Schwyn [Tue, 13 Jun 2017 08:16:20 +0000]
Remove naive decoding net implementation

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoRemove omap4460_paper.soc
Daniel Schwyn [Tue, 13 Jun 2017 08:04:14 +0000]
Remove omap4460_paper.soc

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoAdd section about checks to technote
Daniel Schwyn [Mon, 12 Jun 2017 14:44:36 +0000]
Add section about checks to technote

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoStart writing technote
Daniel Schwyn [Mon, 12 Jun 2017 13:57:14 +0000]
Start writing technote

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoFix CORTEXA9 -> L3 mapping
Daniel Schwyn [Mon, 12 Jun 2017 08:44:15 +0000]
Fix CORTEXA9 -> L3 mapping

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoRefactor decoding net skb programs
Daniel Schwyn [Mon, 12 Jun 2017 08:44:33 +0000]
Refactor decoding net skb programs

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoAdd CORTEXA9 node to OMAP spec
Daniel Schwyn [Mon, 12 Jun 2017 08:01:53 +0000]
Add CORTEXA9 node to OMAP spec

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoMake Sockeye case sensitive again
Daniel Schwyn [Mon, 12 Jun 2017 08:01:34 +0000]
Make Sockeye case sensitive again

Prolog backend does not map node IDs to lowercase anymore (uses quotes anyway)

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoAdd device name finder query
Daniel Schwyn [Fri, 9 Jun 2017 15:35:19 +0000]
Add device name finder query

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoAdd power/clock management details to OMAP specs
Daniel Schwyn [Fri, 9 Jun 2017 15:35:03 +0000]
Add power/clock management details to OMAP specs

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoFirst take on complete OMAP4460 specs
Daniel Schwyn [Fri, 9 Jun 2017 13:00:19 +0000]
First take on complete OMAP4460 specs

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoUse device type for device frame query
Daniel Schwyn [Fri, 9 Jun 2017 12:49:14 +0000]
Use device type for device frame query

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoEnsure all node identifers are compiled to Prolog atoms
Daniel Schwyn [Fri, 9 Jun 2017 12:48:45 +0000]
Ensure all node identifers are compiled to Prolog atoms

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoImprove error message on syntax errors with 'is'/'are'
Daniel Schwyn [Fri, 9 Jun 2017 08:58:59 +0000]
Improve error message on syntax errors with 'is'/'are'

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoGroup devices by modules
Daniel Schwyn [Thu, 8 Jun 2017 14:33:39 +0000]
Group devices by modules

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoOMAP4460 spec with all interconnects
Daniel Schwyn [Thu, 8 Jun 2017 10:58:39 +0000]
OMAP4460 spec with all interconnects

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoMake checker case insensitive
Daniel Schwyn [Thu, 8 Jun 2017 07:18:05 +0000]
Make checker case insensitive

Needed for code generation (e.g. Prolog predicates all lower case)

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoAdd support for '-' in node IDs
Daniel Schwyn [Thu, 8 Jun 2017 07:16:59 +0000]
Add support for '-' in node IDs

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoStart more complete spec of OMAP4460
Daniel Schwyn [Tue, 6 Jun 2017 13:57:02 +0000]
Start more complete spec of OMAP4460

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoUse node type for shared memory query
Daniel Schwyn [Fri, 2 Jun 2017 11:12:26 +0000]
Use node type for shared memory query

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoAdd types to node
Daniel Schwyn [Fri, 2 Jun 2017 09:24:13 +0000]
Add types to node

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoIntegrate sockeye with hake
Daniel Schwyn [Thu, 1 Jun 2017 14:00:22 +0000]
Integrate sockeye with hake

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoRename sockey2 -> sockeye
Daniel Schwyn [Thu, 1 Jun 2017 09:25:42 +0000]
Rename sockey2 -> sockeye

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoMerge remote-tracking branch 'upstream/skate' into sockeye
Daniel Schwyn [Thu, 1 Jun 2017 08:40:39 +0000]
Merge remote-tracking branch 'upstream/skate' into sockeye

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoDo not generate preamble when compiling Sockeye files to Prolog
Daniel Schwyn [Wed, 31 May 2017 14:26:25 +0000]
Do not generate preamble when compiling Sockeye files to Prolog

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoMove Prolog predicates to usr/skb/programs
Daniel Schwyn [Wed, 31 May 2017 14:25:29 +0000]
Move Prolog predicates to usr/skb/programs

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoAdd Sockeye file for OMAP4460
Daniel Schwyn [Wed, 31 May 2017 14:16:23 +0000]
Add Sockeye file for OMAP4460

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoRename new sockeye binary to sockeye2
Daniel Schwyn [Tue, 30 May 2017 08:06:03 +0000]
Rename new sockeye binary to sockeye2

Resolves conflicts with old sockeye during build

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoAdd first versions of predicates for configuration queries
Daniel Schwyn [Wed, 24 May 2017 14:00:54 +0000]
Add first versions of predicates for configuration queries

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoAdd predicates to print all origin/target ranges of a node
Daniel Schwyn [Tue, 23 May 2017 10:17:21 +0000]
Add predicates to print all origin/target ranges of a node

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoRefactor predicates
Daniel Schwyn [Tue, 23 May 2017 08:13:44 +0000]
Refactor predicates

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agomake net predicate dynamic
Daniel Schwyn [Tue, 23 May 2017 08:14:20 +0000]
make net predicate dynamic

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>