barrelfish
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>

4 years agoPredicates: Use constraints for addresses and backtracking for nodes
Daniel Schwyn [Mon, 22 May 2017 14:43:46 +0000]
Predicates: Use constraints for addresses and backtracking for nodes

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

4 years agoStart using constraints for decoding net predicates
Daniel Schwyn [Fri, 19 May 2017 15:32:09 +0000]
Start using constraints for decoding net predicates

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

4 years agoMake sure the @none for null-overlays is treated as an atom
Daniel Schwyn [Fri, 19 May 2017 15:06:04 +0000]
Make sure the @none for null-overlays is treated as an atom

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

4 years agoFix translate predicate
Daniel Schwyn [Fri, 19 May 2017 14:55:27 +0000]
Fix translate predicate

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

4 years agoFix order in some predicates to make search tree (considerably) smaller
Daniel Schwyn [Thu, 18 May 2017 22:12:21 +0000]
Fix order in some predicates to make search tree (considerably) smaller

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

4 years agoMake sure atoms start with lower case
Daniel Schwyn [Thu, 18 May 2017 22:11:33 +0000]
Make sure atoms start with lower case

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

4 years agodecoding net predicates (need to be moved to SKB at some point)
Daniel Schwyn [Thu, 18 May 2017 15:44:15 +0000]
decoding net predicates (need to be moved to SKB at some point)

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

4 years agoFirst take on Prolog backend
Daniel Schwyn [Thu, 18 May 2017 14:01:04 +0000]
First take on Prolog backend

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

4 years agoUse unlines to print lines
Daniel Schwyn [Thu, 18 May 2017 08:06:03 +0000]
Use unlines to print lines

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

4 years agoAdd stub for prolog backend
Daniel Schwyn [Wed, 17 May 2017 16:05:36 +0000]
Add stub for prolog backend

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

4 years agoAdd option to specify output file
Daniel Schwyn [Wed, 17 May 2017 15:46:49 +0000]
Add option to specify output file

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

4 years agoAllow '_' in identifiers
Daniel Schwyn [Wed, 17 May 2017 11:53:26 +0000]
Allow '_' in identifiers

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

4 years agoImprove option handling
Daniel Schwyn [Thu, 11 May 2017 16:16:27 +0000]
Improve option handling

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

4 years agoAdd support for plugin in different backends
Daniel Schwyn [Thu, 11 May 2017 15:45:08 +0000]
Add support for plugin in different backends

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

4 years agoClean up
Daniel Schwyn [Thu, 11 May 2017 15:19:28 +0000]
Clean up

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

4 years agoAdd support for multiple destinations in map
Daniel Schwyn [Thu, 11 May 2017 15:00:39 +0000]
Add support for multiple destinations in map

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

4 years agoAdd support for ommitting destination address in map
Daniel Schwyn [Thu, 11 May 2017 14:10:17 +0000]
Add support for ommitting destination address in map

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

4 years agoImprove error message for failed check
Daniel Schwyn [Thu, 11 May 2017 13:58:55 +0000]
Improve error message for failed check

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

4 years agoAdd check for references to undefined nodes
Daniel Schwyn [Thu, 11 May 2017 11:49:06 +0000]
Add check for references to undefined nodes

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

4 years agoRefactor AST
Daniel Schwyn [Thu, 11 May 2017 08:50:14 +0000]
Refactor AST

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

4 years agoAdd check for duplicate identifiers
Daniel Schwyn [Thu, 11 May 2017 08:00:27 +0000]
Add check for duplicate identifiers

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

4 years agoAdd support for specifying blocks via prefix/length
Daniel Schwyn [Wed, 10 May 2017 14:01:24 +0000]
Add support for specifying blocks via prefix/length

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

4 years agoImprove parse error messages for node specs
Daniel Schwyn [Wed, 10 May 2017 13:29:22 +0000]
Improve parse error messages for node specs

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

4 years agoRefactor to match abstract syntax in paper more closely
Daniel Schwyn [Wed, 10 May 2017 12:56:41 +0000]
Refactor to match abstract syntax in paper more closely

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

4 years agoEnsure parser reaches end of file
Daniel Schwyn [Wed, 10 May 2017 08:58:28 +0000]
Ensure parser reaches end of file

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

4 years agoAdd support for adding multiple nodes at once with the 'are' keyword
Daniel Schwyn [Wed, 10 May 2017 08:46:00 +0000]
Add support for adding multiple nodes at once with the 'are' keyword

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

4 years agoAdd parser support for overlay. !!Will be parsed but ignored atm!!
Daniel Schwyn [Tue, 9 May 2017 15:43:17 +0000]
Add parser support for overlay. !!Will be parsed but ignored atm!!

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

4 years agoAdd support for omitting accept or translate block
Daniel Schwyn [Tue, 9 May 2017 15:36:31 +0000]
Add support for omitting accept or translate block

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