barrelfish
4 years agotftpclient: converting to net sockets
Adam Turowski [Thu, 6 Jul 2017 09:20:28 +0000]
tftpclient: converting to net sockets
net_sockets: adding local/remote addresses/ports to the net_socket structure
net,dhcp: adding a possibility of setting of static IP

Signed-off-by: Adam Turowski <adam.turowski@inf.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 agonet: enabling DHCP
Adam Turowski [Tue, 4 Jul 2017 09:56:36 +0000]
net: enabling DHCP

Signed-off-by: Adam Turowski <adam.turowski@inf.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 agoharness: changing tests to net sockets
Adam Turowski [Mon, 3 Jul 2017 15:12:03 +0000]
harness: changing tests to net sockets

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agonet_sockets: e1000 server
Adam Turowski [Mon, 26 Jun 2017 13:51:00 +0000]
net_sockets: e1000 server

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agonet: converting lwip types to bsd types
Adam Turowski [Mon, 26 Jun 2017 09:23:01 +0000]
net: converting lwip types to bsd types

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agonet_sockets: converting nfs
Adam Turowski [Wed, 7 Jun 2017 10:54:18 +0000]
net_sockets: converting nfs

Signed-off-by: Adam Turowski <adam.turowski@inf.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 agoKaluga modifications to start domain.
Gerd Zellweger [Mon, 3 Jul 2017 09:38:38 +0000]
Kaluga modifications to start domain.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

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 agok1om: some fix-ups
Adam Turowski [Fri, 30 Jun 2017 15:05:19 +0000]
k1om: some fix-ups

Signed-off-by: Adam Turowski <adam.turowski@inf.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 agoCommit SDMA driver changes.
Gerd Zellweger [Tue, 27 Jun 2017 11:20:05 +0000]
Commit SDMA driver changes.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

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 agocompiler-rt: removing an arm abi override, defaulting to compiler's
Adam Turowski [Fri, 23 Jun 2017 10:32:31 +0000]
compiler-rt: removing an arm abi override, defaulting to compiler's

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agodevif_test: fixing e10k queue constructor call
Adam Turowski [Thu, 22 Jun 2017 22:37:47 +0000]
devif_test: fixing e10k queue constructor call
fvp: reverting the fvp path

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoarmv7: save vfp context (at least part of it)
Adam Turowski [Thu, 22 Jun 2017 14:00:21 +0000]
armv7: save vfp context (at least part of it)

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoarmv7: moving do_resume from the general arm part (which didn't work for armv8 anyway...
Adam Turowski [Thu, 22 Jun 2017 13:05:18 +0000]
armv7: moving do_resume from the general arm part (which didn't work for armv8 anyway) to the armv7 section

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agorpc_cap_test: adding missing include
Adam Turowski [Thu, 22 Jun 2017 11:55:32 +0000]
rpc_cap_test: adding missing include

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agogdtoa: fixing Hakefile
Adam Turowski [Thu, 22 Jun 2017 09:41:33 +0000]
gdtoa: fixing Hakefile

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoharness: call hake with a proper architecture
Adam Turowski [Thu, 22 Jun 2017 08:59:09 +0000]
harness: call hake with a proper architecture

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agolibc: removing newlib, adding BSD libc
Adam Turowski [Mon, 19 Jun 2017 15:11:19 +0000]
libc: removing newlib, adding BSD libc
posixcompat: moving gettimeofday to libc
harness: adding a simple math test
lwip, lwip2: moving includes to /include, compiling with BSD headers

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoskb: switching from dlmalloc to libc malloc
Adam Turowski [Thu, 22 Jun 2017 07:12:18 +0000]
skb: switching from dlmalloc to libc malloc

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoplatforms: disabling sshd
Adam Turowski [Thu, 22 Jun 2017 07:09:02 +0000]
platforms: disabling sshd

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agohake: fixing linking order of static libraries by grouping them, removing newlib...
Adam Turowski [Thu, 22 Jun 2017 06:59:39 +0000]
hake: fixing linking order of static libraries by grouping them, removing newlib and libc include paths, changing armv7 abi to hard floats

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoarmv7: enabling VFP
Adam Turowski [Wed, 21 Jun 2017 14:48:20 +0000]
armv7: enabling VFP

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agonuma: changing PRI macros to SCN in a scanf-alike call
Adam Turowski [Wed, 21 Jun 2017 13:56:12 +0000]
numa: changing PRI macros to SCN in a scanf-alike call

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoschemas: converting 'right single quotation mark' to normal apostrophe
Adam Turowski [Tue, 20 Jun 2017 07:41:52 +0000]
schemas: converting 'right single quotation mark' to normal apostrophe

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agospawn: fixing creation of an environment, empty string could be insterted on non-x86
Adam Turowski [Mon, 19 Jun 2017 14:41:56 +0000]
spawn: fixing creation of an environment, empty string could be insterted on non-x86

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoFix dependencies for mmchs driver.
Gerd Zellweger [Mon, 19 Jun 2017 09:24:16 +0000]
Fix dependencies for mmchs driver.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

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 agoConvert mmchs to new driver interface.
Gerd Zellweger [Thu, 15 Jun 2017 15:42:13 +0000]
Convert mmchs to new driver interface.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

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 agofixing build for the documentation
Reto Achermann [Wed, 14 Jun 2017 15:10:22 +0000]
fixing build for the documentation

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

4 years agoarmv8: fixing misaligned page-table in bootdriver
Reto Achermann [Wed, 14 Jun 2017 14:53:00 +0000]
armv8: fixing misaligned page-table in bootdriver

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

4 years agoPass cap correct in driver domain to fdif instance.
Gerd Zellweger [Wed, 14 Jun 2017 14:34:44 +0000]
Pass cap correct in driver domain to fdif instance.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

4 years agoCheck-in older changes from FDIF conversion.
Gerd Zellweger [Mon, 12 Jun 2017 11:44:17 +0000]
Check-in older changes from FDIF conversion.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

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>