barrelfish
3 years agoSockeye TN: Update info about Prolog mapping
Daniel Schwyn [Tue, 12 Sep 2017 07:53:45 +0000]
Sockeye TN: Update info about Prolog mapping

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

3 years agoSockeye TN: Update info about node types
Daniel Schwyn [Mon, 11 Sep 2017 16:08:19 +0000]
Sockeye TN: Update info about node types

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

3 years agoSKB: Adapt decoding net scripts to use struct notation
Daniel Schwyn [Mon, 11 Sep 2017 15:05:36 +0000]
SKB: Adapt decoding net scripts to use struct notation

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

3 years agoSockeye: Use ECLiPSe struct notation in generated code
Daniel Schwyn [Mon, 11 Sep 2017 15:04:45 +0000]
Sockeye: Use ECLiPSe struct notation in generated code

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

3 years agoSockeye: Add node type for cores
Daniel Schwyn [Mon, 11 Sep 2017 12:08:35 +0000]
Sockeye: Add node type for cores

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

3 years agoSockeye: Generate addresses with ISO hex prefix
Daniel Schwyn [Mon, 7 Aug 2017 08:11:39 +0000]
Sockeye: Generate addresses with ISO hex prefix

The decodingNet module now sets the ECLiPSe syntax_option flags based_bignums and iso_base_prefix to make this work.

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

3 years agoRevert "Sockeye: Generate decimal addresses"
Daniel Schwyn [Mon, 7 Aug 2017 08:05:14 +0000]
Revert "Sockeye: Generate decimal addresses"

This reverts commit 7fdd5d0d5b395e7d6f8757403eea4c9c3f6bca5a.

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

3 years agoSockeye: Generate decimal addresses
Daniel Schwyn [Fri, 4 Aug 2017 13:48:27 +0000]
Sockeye: Generate decimal addresses

ECLiPSe treats hex integers as word length signed
(16'ffffffff == -1 on 32bit architectures)

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

3 years agoSockeye TN: Update chapter on checks
Daniel Schwyn [Thu, 3 Aug 2017 12:34:05 +0000]
Sockeye TN: Update chapter on checks

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

3 years agoSockeye: Code cleanup
Daniel Schwyn [Thu, 3 Aug 2017 07:57:59 +0000]
Sockeye: Code cleanup

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

3 years agoSockeye: Fix empty top level namespace being compiled to empty atom in Prolog
Daniel Schwyn [Wed, 2 Aug 2017 15:58:02 +0000]
Sockeye: Fix empty top level namespace being compiled to empty atom in Prolog

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

3 years agoSockeye: Change default dest base for mapping to 0 (again...)
Daniel Schwyn [Wed, 2 Aug 2017 15:37:53 +0000]
Sockeye: Change default dest base for mapping to 0 (again...)

Also clean up imports

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

3 years agoSockeye: Implement check for undefined ports
Daniel Schwyn [Wed, 2 Aug 2017 15:13:01 +0000]
Sockeye: Implement check for undefined ports

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

3 years agoSockeye: Implement reference check in input port declarations
Daniel Schwyn [Wed, 2 Aug 2017 14:42:13 +0000]
Sockeye: Implement reference check in input port declarations

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

3 years agoSockeye: Implement reference check for port mappings
Daniel Schwyn [Wed, 2 Aug 2017 14:37:31 +0000]
Sockeye: Implement reference check for port mappings

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

3 years agoSockeye: implement reference check inside node declarations
Daniel Schwyn [Wed, 2 Aug 2017 13:15:41 +0000]
Sockeye: implement reference check inside node declarations

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

3 years agoSockeye: Consier input mappings and output ports in duplicate identifier check
Daniel Schwyn [Wed, 2 Aug 2017 12:17:51 +0000]
Sockeye: Consier input mappings and output ports in duplicate identifier check

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

3 years agoSockeye: Show global and root module fails first
Daniel Schwyn [Wed, 2 Aug 2017 11:09:58 +0000]
Sockeye: Show global and root module fails first

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

3 years agoSockeye: Fix duplicate variable check for nested for loops
Daniel Schwyn [Mon, 31 Jul 2017 16:29:16 +0000]
Sockeye: Fix duplicate variable check for nested for loops

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

3 years agoSockeye: Collect errors in type checker instead of failing at first one
Daniel Schwyn [Mon, 31 Jul 2017 16:26:35 +0000]
Sockeye: Collect errors in type checker instead of failing at first one

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

3 years agoSockeye: Clean up ASTs
Daniel Schwyn [Mon, 31 Jul 2017 14:11:47 +0000]
Sockeye: Clean up ASTs

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

3 years agoSockeye: Rename Checker to TypeChecker
Daniel Schwyn [Mon, 31 Jul 2017 12:14:03 +0000]
Sockeye: Rename Checker to TypeChecker

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

3 years agoSockeye: Reimplement port translation
Daniel Schwyn [Mon, 31 Jul 2017 11:56:26 +0000]
Sockeye: Reimplement port translation

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

3 years agoSockeye: Start reimplementing net builder on top of instantiator
Daniel Schwyn [Fri, 28 Jul 2017 16:00:43 +0000]
Sockeye: Start reimplementing net builder on top of instantiator

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

3 years agoSockeye: Implement module instantiator
Daniel Schwyn [Fri, 28 Jul 2017 14:00:22 +0000]
Sockeye: Implement module instantiator

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

3 years agoSockeye: Start implementing port checks
Daniel Schwyn [Thu, 27 Jul 2017 16:05:14 +0000]
Sockeye: Start implementing port checks

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

3 years agoSockeye: Refactor arguments type check
Daniel Schwyn [Wed, 26 Jul 2017 16:15:27 +0000]
Sockeye: Refactor arguments type check

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

3 years agoSockeye TN: Start updating checks section
Daniel Schwyn [Wed, 26 Jul 2017 15:49:55 +0000]
Sockeye TN: Start updating checks section

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

3 years agoSockeye TN: Fix some typos
Daniel Schwyn [Wed, 26 Jul 2017 14:05:23 +0000]
Sockeye TN: Fix some typos

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

3 years agoSockeye TN: Update hake section
Daniel Schwyn [Wed, 26 Jul 2017 13:57:56 +0000]
Sockeye TN: Update hake section

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

3 years agoSockeye TN: Complete syntax chapter
Daniel Schwyn [Wed, 26 Jul 2017 13:39:51 +0000]
Sockeye TN: Complete syntax chapter

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

3 years agoSockeye TN: Add description of template indentifiers
Daniel Schwyn [Wed, 26 Jul 2017 09:26:36 +0000]
Sockeye TN: Add description of template indentifiers

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

3 years agoSockeye TN: More updates
Daniel Schwyn [Tue, 25 Jul 2017 15:59:25 +0000]
Sockeye TN: More updates

- Use modules in examples
- Update lexical conventions and some of the syntax
- Update prolog mapping

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

3 years agoSockeye TN: Update usage info
Daniel Schwyn [Mon, 24 Jul 2017 16:03:22 +0000]
Sockeye TN: Update usage info

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

3 years agoSockeye: Improve import handling
Daniel Schwyn [Mon, 24 Jul 2017 15:50:11 +0000]
Sockeye: Improve import handling

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

3 years agoSockeye TN: Add short introduction about decoding nets
Daniel Schwyn [Mon, 24 Jul 2017 12:30:40 +0000]
Sockeye TN: Add short introduction about decoding nets

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

3 years agoSockeye: TN remove limitations chapter, update hake chapter
Daniel Schwyn [Mon, 24 Jul 2017 09:13:01 +0000]
Sockeye: TN remove limitations chapter, update hake chapter

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

3 years agoSockeye TN: adapt example to syntax changes
Daniel Schwyn [Mon, 24 Jul 2017 09:07:03 +0000]
Sockeye TN: adapt example to syntax changes

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

3 years agoMerge remote-tracking branch 'upstream/master' into sockeye
Daniel Schwyn [Mon, 24 Jul 2017 08:27:44 +0000]
Merge remote-tracking branch 'upstream/master' into sockeye

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

3 years agoMerge branch 'sockeye-modules' into sockeye
Daniel Schwyn [Mon, 24 Jul 2017 08:17:22 +0000]
Merge branch 'sockeye-modules' into sockeye

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

3 years agoxeon_phi: fix compilation with full debug enabled
Reto Achermann [Sun, 23 Jul 2017 20:29:03 +0000]
xeon_phi: fix compilation with full debug enabled

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

3 years agok1om: fixing initialization of apic timer interrupts
Reto Achermann [Sun, 23 Jul 2017 20:25:25 +0000]
k1om: fixing initialization of apic timer interrupts

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

3 years agoK1OM: fixing patch to change the elf type for CPU driver
Reto Achermann [Sun, 23 Jul 2017 18:08:21 +0000]
K1OM: fixing patch to change the elf type for CPU driver

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

3 years agoweever: differentiate error values from elfload
Reto Achermann [Sun, 23 Jul 2017 14:54:10 +0000]
weever: differentiate error values from elfload

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

3 years agoharness: adding netsockets server to xeon phi test
Reto Achermann [Sun, 23 Jul 2017 14:25:15 +0000]
harness: adding netsockets server to xeon phi test

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

3 years agocdefs: do not use __nonnull function argument attribute
Reto Achermann [Sun, 23 Jul 2017 07:03:11 +0000]
cdefs: do not use __nonnull function argument attribute

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

3 years agosolarflare: adding missing flounder defs to hakefile
Reto Achermann [Sun, 23 Jul 2017 07:02:17 +0000]
solarflare: adding missing flounder defs to hakefile

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

3 years agooctopus: remove include to flounder file in public include
Reto Achermann [Sat, 22 Jul 2017 15:30:28 +0000]
octopus: remove include to flounder file in public include

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

3 years agoarmv8: fixing menu.lst files and adding bootdriver to the platforms
Reto Achermann [Sat, 22 Jul 2017 15:28:56 +0000]
armv8: fixing menu.lst files and adding bootdriver to the platforms

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

3 years agoHake: Ddd dependency tracking for sockeye
Daniel Schwyn [Fri, 21 Jul 2017 09:25:23 +0000]
Hake: Ddd dependency tracking for sockeye

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

3 years agoSockeye: Enable generating make depend file during compilation
Daniel Schwyn [Fri, 21 Jul 2017 09:09:19 +0000]
Sockeye: Enable generating make depend file during compilation

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

3 years agoStart modularizing omap44xx spec
Daniel Schwyn [Thu, 20 Jul 2017 16:17:39 +0000]
Start modularizing omap44xx spec

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

3 years agoSockeye: Enable generation of dependency file
Daniel Schwyn [Thu, 20 Jul 2017 16:01:27 +0000]
Sockeye: Enable generation of dependency file

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

3 years agoSockeye: Fix import system
Daniel Schwyn [Thu, 20 Jul 2017 13:55:12 +0000]
Sockeye: Fix import system

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

3 years agoSockeye: Add possibility to add reserved blocks
Daniel Schwyn [Thu, 20 Jul 2017 09:00:04 +0000]
Sockeye: Add possibility to add reserved blocks

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

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

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

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

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

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

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

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

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

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

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

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

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

3 years agonet,loopback: small fix
Adam Turowski [Fri, 14 Jul 2017 13:52:04 +0000]
net,loopback: small fix

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

3 years agonet: adding a loopback interface
Adam Turowski [Fri, 14 Jul 2017 11:40:08 +0000]
net: adding a loopback interface

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

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

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

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

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

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

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

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

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

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

3 years agoMerge branch 'bsdlibc'
Adam Turowski [Tue, 11 Jul 2017 13:27:38 +0000]
Merge branch 'bsdlibc'

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

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

3 years agoRemoving ssh
Adam Turowski [Tue, 11 Jul 2017 10:23:32 +0000]
Removing ssh

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

3 years agoFixing compilation issues on x86_64 and armv8
Adam Turowski [Tue, 11 Jul 2017 10:12:59 +0000]
Fixing compilation issues on x86_64 and armv8

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

3 years agoFix platform file.
Gerd Zellweger [Tue, 11 Jul 2017 09:52:35 +0000]
Fix platform file.

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

3 years agoRemove debug print in waitset.c
Gerd Zellweger [Tue, 11 Jul 2017 09:12:00 +0000]
Remove debug print in waitset.c

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

3 years agohake: removing an unknown warning option from the x86_64 target
Adam Turowski [Tue, 11 Jul 2017 09:02:54 +0000]
hake: removing an unknown warning option from the x86_64 target
harness: do an actual read in the webserver stress test

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

3 years agonet: adding command-line IP configuration options
Adam Turowski [Tue, 11 Jul 2017 08:29:40 +0000]
net: adding command-line IP configuration options

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

3 years agonet_sockets: some TCP fixups
Adam Turowski [Mon, 10 Jul 2017 15:18:51 +0000]
net_sockets: some TCP fixups

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

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

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

3 years agoChange the pandaboard drivers to new driver format.
Gerd Zellweger [Fri, 7 Jul 2017 15:19:30 +0000]
Change the pandaboard drivers to new driver format.

This includes major refactoring in Kaluga, SDMA, MMCHS, FDIF drivers
along with the addition of new drivers such as cm2, twl6030 etc.

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

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

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

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

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

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

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

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

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

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

3 years agoharness: adjusting http tests to a new network stack
Adam Turowski [Thu, 6 Jul 2017 12:11:12 +0000]
harness: adjusting http tests to a new network stack

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