barrelfish
3 years agoDecoding net: Fail on region resolution with non contiuous domain for address
Daniel Schwyn [Mon, 25 Sep 2017 12:51:47 +0000]
Decoding net: Fail on region resolution with non contiuous domain for address

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

3 years agoSockeye TN: Use example environment for examples
Daniel Schwyn [Fri, 22 Sep 2017 09:57:47 +0000]
Sockeye TN: Use example environment for examples

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

3 years agoDecoding net: Cleanup core module
Daniel Schwyn [Thu, 21 Sep 2017 12:54:03 +0000]
Decoding net: Cleanup core module

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

3 years agoDecoding net: Refactor
Daniel Schwyn [Fri, 15 Sep 2017 12:08:16 +0000]
Decoding net: Refactor

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

3 years agoSockeye TN: Adapt Prolog mapping to snake case
Daniel Schwyn [Fri, 15 Sep 2017 07:23:23 +0000]
Sockeye TN: Adapt Prolog mapping to snake case

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

3 years agoProlog code style fixes
Daniel Schwyn [Thu, 14 Sep 2017 15:49:12 +0000]
Prolog code style fixes

- snake case for atoms/predicates/modules/file names

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

3 years agoMerge remote-tracking branch 'upstream/master' into sockeye
Daniel Schwyn [Tue, 12 Sep 2017 11:29:25 +0000]
Merge remote-tracking branch 'upstream/master' into sockeye

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

3 years agoSockeye TN: Use examples from OMAP4460
Daniel Schwyn [Tue, 12 Sep 2017 09:29:01 +0000]
Sockeye TN: Use examples from OMAP4460

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

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 agoKaluga: Fix bug with new driver model code
Daniel Schwyn [Thu, 7 Sep 2017 14:14:05 +0000]
Kaluga: Fix bug with new driver model code

The driver domain ID was incremented too late, resulting in a race condition.

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

3 years agowebserver: check error when initalizing net_sockets client
Roni Häcki [Wed, 6 Sep 2017 14:28:28 +0000]
webserver: check error when initalizing net_sockets client

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

3 years agolibnet: also show cardname when dhcp is done
Roni Häcki [Wed, 6 Sep 2017 14:25:55 +0000]
libnet: also show cardname when dhcp is done

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

3 years agolibet: HW filter flag fixed
Roni Häcki [Tue, 5 Sep 2017 08:55:09 +0000]
libet: HW filter flag fixed

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

3 years agolibnet: HW filter disable/enable on queue creation
Roni Häcki [Mon, 4 Sep 2017 08:02:24 +0000]
libnet: HW filter disable/enable on queue creation

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

3 years agolibnet: ARP resending more robust with periodic events
Roni Häcki [Fri, 1 Sep 2017 14:50:45 +0000]
libnet: ARP resending more robust with periodic events

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

3 years agokaluga: waiting for all spawnds to be up before starting drivers/apps
Roni Häcki [Fri, 1 Sep 2017 11:34:21 +0000]
kaluga: waiting for all spawnds to be up before starting drivers/apps

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

3 years agokernel: capabilities: treat full object retypes with identical source and dest types...
Simon Gerber [Thu, 31 Aug 2017 14:03:53 +0000]
kernel: capabilities: treat full object retypes with identical source and dest types as copy

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agoharness: devif test gethostip sometimes fails, fallback added.
Roni Häcki [Thu, 31 Aug 2017 12:50:18 +0000]
harness: devif test gethostip sometimes fails, fallback added.

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

3 years agodevif: added dst MAC lookup to UDP queue init
Roni Häcki [Wed, 30 Aug 2017 13:05:12 +0000]
devif: added dst MAC lookup to UDP queue init

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

3 years agolibnet: added functionality to request ARP lookup sent from default q
Roni Häcki [Wed, 30 Aug 2017 12:58:02 +0000]
libnet: added functionality to request ARP lookup sent from default q

In some cases we require the need to look up a MAC address from
another core than where the default networking queue is running.
This sends a message to the network stack started by the driver
and forces an ARP lookup request and waits for its completion
using Octopus.

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

3 years agokernel: caps_mark_revoke: fix assertions after marking copies
Simon Gerber [Tue, 29 Aug 2017 15:14:49 +0000]
kernel: caps_mark_revoke: fix assertions after marking copies

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agokernel: capabilities: wrap check_caps_create_arguments() in #ifndef NDEBUG because...
Simon Gerber [Tue, 29 Aug 2017 14:15:00 +0000]
kernel: capabilities: wrap check_caps_create_arguments() in #ifndef NDEBUG because it is only called from assert()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agoharness: machines: define custom buildall targets for armv7/armv8 machines
Simon Gerber [Tue, 29 Aug 2017 14:14:14 +0000]
harness: machines: define custom buildall targets for armv7/armv8 machines

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agoharness: fix release build to ignore unused variables
Simon Gerber [Tue, 29 Aug 2017 14:13:44 +0000]
harness: fix release build to ignore unused variables

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agokernel: caps_mark_revoke: fix marking of cap copies for revoke
Simon Gerber [Tue, 29 Aug 2017 13:38:00 +0000]
kernel: caps_mark_revoke: fix marking of cap copies for revoke

Also add some comments explaining what the function is doing.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agolibskb: include sys/types.h (instead of sys/param.h) to get u_char and co.
Simon Gerber [Tue, 29 Aug 2017 13:01:53 +0000]
libskb: include sys/types.h (instead of sys/param.h) to get u_char and co.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agovmkitmon/arrakismon: do not include sys/param.h
Simon Gerber [Tue, 29 Aug 2017 13:00:59 +0000]
vmkitmon/arrakismon: do not include sys/param.h

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agohake: x86_64: re-enable -Werror for cpu driver
Simon Gerber [Tue, 29 Aug 2017 12:59:37 +0000]
hake: x86_64: re-enable -Werror for cpu driver

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agox86_64: kernel: do *not* include machine/param.h
Simon Gerber [Tue, 29 Aug 2017 12:59:11 +0000]
x86_64: kernel: do *not* include machine/param.h

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agoharness: vmkit test added net_socket module
Roni Häcki [Tue, 29 Aug 2017 09:16:08 +0000]
harness: vmkit test added net_socket module

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

3 years agodevif: fixed some printfs that seem to cause compilation errors with automated tests
Roni Häcki [Tue, 29 Aug 2017 07:54:12 +0000]
devif: fixed some printfs that seem to cause compilation errors with automated tests

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

3 years agoomap44xx: sdma: remove redundant redefinitions of MIN()
Simon Gerber [Tue, 29 Aug 2017 07:16:42 +0000]
omap44xx: sdma: remove redundant redefinitions of MIN()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agolibmdb: wrap function that is only used with assertions enabled in #ifndef NDEBUG
Simon Gerber [Tue, 29 Aug 2017 06:34:06 +0000]
libmdb: wrap function that is only used with assertions enabled in #ifndef NDEBUG

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agoUse min/max macros from bitmacros.h instead of including sys/param.h
Simon Gerber [Tue, 29 Aug 2017 06:33:22 +0000]
Use min/max macros from bitmacros.h instead of including sys/param.h

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agomonitor: capops: move: reformat some function definitions
Simon Gerber [Mon, 28 Aug 2017 14:06:34 +0000]
monitor: capops: move: reformat some function definitions

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agomonitor: capops: copy: add DEBUG_CAPOPS and clearer messages in forwarding path
Simon Gerber [Mon, 28 Aug 2017 14:05:51 +0000]
monitor: capops: copy: add DEBUG_CAPOPS and clearer messages in forwarding path

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agomonitor: capops: copy: properly zero copy state structs on allocation
Simon Gerber [Mon, 28 Aug 2017 14:01:20 +0000]
monitor: capops: copy: properly zero copy state structs on allocation

This change fixes an issue where the owning core was trying to delete stale
caprefs when forwarding a lot of capability copy operations in a short span of
time.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agomonitor: capops: ownership xfer, delete, retype, revoke: delete temp capabilities...
Simon Gerber [Mon, 28 Aug 2017 13:58:08 +0000]
monitor: capops: ownership xfer, delete, retype, revoke: delete temp capabilities when operations done

The monitor domain did not cleanup root cnode capabilities which it receives
on a temporary basis during some of the distributed capability operations.
Depending on operation order this led to a steadily growing number of
capabilities on some cores.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agolibbarrelfish: pinned: reserve 128MB for pinned slabs, up from 4MB
Simon Gerber [Mon, 31 Jul 2017 14:13:43 +0000]
libbarrelfish: pinned: reserve 128MB for pinned slabs, up from 4MB

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agolibbarrelfish: pinned: refill slabs in 64 page chunks instead of page by page
Simon Gerber [Mon, 31 Jul 2017 14:13:08 +0000]
libbarrelfish: pinned: refill slabs in 64 page chunks instead of page by page

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agoT381: x86_64: properly handle racy page table allocations in pmap code
Simon Gerber [Mon, 31 Jul 2017 14:11:31 +0000]
T381: x86_64: properly handle racy page table allocations in pmap code

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agostdio: add __printflike() to ANSI C functions
Simon Gerber [Thu, 27 Jul 2017 14:12:24 +0000]
stdio: add __printflike() to ANSI C functions

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agohake: armv7_gem5_vexpressemm: Fix armv7 gem5 menu.lst to supply a device db to kaluga
Simon Gerber [Mon, 24 Jul 2017 14:17:20 +0000]
hake: armv7_gem5_vexpressemm: Fix armv7 gem5 menu.lst to supply a device db to kaluga

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agoFix various memory leaks and uninitialized variable uses as reported by cppcheck
Simon Gerber [Mon, 24 Jul 2017 11:29:49 +0000]
Fix various memory leaks and uninitialized variable uses as reported by cppcheck

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agoharness: memtest: properly fail memtest_multicore when no memtest spawned
Simon Gerber [Mon, 12 Jun 2017 12:07:02 +0000]
harness: memtest: properly fail memtest_multicore when no memtest spawned

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

3 years agodevif: solarflare backend deallocated some memory twice
Roni Häcki [Mon, 28 Aug 2017 15:07:49 +0000]
devif: solarflare backend deallocated some memory twice

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

3 years agodevif: changed rest of the queues to library destroy
Roni Häcki [Mon, 28 Aug 2017 14:24:34 +0000]
devif: changed rest of the queues to library destroy

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

3 years agodevif: networking backends to destroy called from queue interface
Roni Häcki [Mon, 28 Aug 2017 14:05:18 +0000]
devif: networking backends to destroy called from queue interface

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

3 years agodevif: IDC backend changed destroy
Roni Häcki [Mon, 28 Aug 2017 13:17:08 +0000]
devif: IDC backend changed destroy

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

3 years agodevif: destroy no longer queue specific
Roni Häcki [Mon, 28 Aug 2017 13:11:07 +0000]
devif: destroy no longer queue specific

To avoid having to know what the queue represents after
having used it, the destroy functionality has to go into
the queue interface. Otherwise, we still have to know
what the queue represents at creation and destruction
time, which does not make sense for destruction since
in between most likely we do not know what exact queue
this is.

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

3 years agodevif: debug fixed case when IDC backend us used
Roni Häcki [Mon, 28 Aug 2017 09:14:37 +0000]
devif: debug fixed case when IDC backend us used

When both endpoints of the IDC backend are were using the debug queue
on top, the regions were not consistent in the debug layer

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

3 years agodevif: added uncommited files
Roni Häcki [Fri, 25 Aug 2017 07:13:05 +0000]
devif: added uncommited files

- UDP echo server based on UDP queue
- UDP client for echo sever

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

3 years agoharness: devif udp test adapted arguments to simplified creation
Roni Häcki [Thu, 24 Aug 2017 14:01:01 +0000]
harness: devif udp test adapted arguments to simplified creation

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

3 years agodevif: udp queue simplified creation
Roni Häcki [Thu, 24 Aug 2017 13:54:45 +0000]
devif: udp queue simplified creation

- got src mac from hardware queue
- got src ip from dhcp service

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

3 years agolibnet: added possiblity to query own IP address
Roni Häcki [Thu, 24 Aug 2017 13:31:43 +0000]
libnet: added possiblity to query own IP address

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

3 years agodevif: upd backend bugfix in valid_length computation
Roni Häcki [Thu, 24 Aug 2017 10:44:25 +0000]
devif: upd backend bugfix in valid_length computation

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

3 years agodevif: added benchmarking code to test overhead of stacking queues
Roni Häcki [Thu, 24 Aug 2017 10:41:12 +0000]
devif: added benchmarking code to test overhead of stacking queues

3 different configuratons
- Simple descriptor queue (IDC)
- IDC + debug queue on top
- IDC + debug queue + null queue on top

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

3 years agodevif: "null" backend which simply forwards everything
Roni Häcki [Thu, 24 Aug 2017 10:38:36 +0000]
devif: "null" backend which simply forwards everything

Using this for measuring the overhead of the stacking itself

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

3 years agoharness: added udp test to devif tests
Roni Häcki [Wed, 16 Aug 2017 15:14:19 +0000]
harness: added udp test to devif tests

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

3 years agodevif: adding test for udp queue
Roni Häcki [Wed, 16 Aug 2017 14:59:00 +0000]
devif: adding test for udp queue

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

3 years agodevif: refactored udp queue
Roni Häcki [Tue, 15 Aug 2017 15:25:31 +0000]
devif: refactored udp queue

- split udp queue into udp and ip queue
- ip queue contains protocols ip as well as ethernet
- upd queue now creates ip queue and builds on top of it

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

3 years agolibnet: queue creation small fix
Roni Häcki [Tue, 15 Aug 2017 15:21:05 +0000]
libnet: queue creation small fix

Polling flag was not correctly set

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

3 years agolibnet: libnet now uses queue creation library
Roni Häcki [Mon, 14 Aug 2017 07:46:12 +0000]
libnet: libnet now uses queue creation library

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

3 years agodevif: prototype of UDP queue
Roni Häcki [Fri, 11 Aug 2017 12:29:16 +0000]
devif: prototype of UDP queue

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

3 years agolibnet: added small library to get a hardware queue
Roni Häcki [Fri, 11 Aug 2017 07:20:37 +0000]
libnet: added small library to get a hardware queue

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

3 years agodevif: devif test disable debugging output
Roni Häcki [Tue, 8 Aug 2017 07:29:06 +0000]
devif: devif test disable debugging output

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

3 years agoharness: devif test simplified getting IP
Roni Häcki [Mon, 7 Aug 2017 11:22:10 +0000]
harness: devif test simplified getting IP

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

3 years agoharness: devif test fix parsing destination IP on emmentaler2
Roni Häcki [Mon, 7 Aug 2017 08:55:44 +0000]
harness: devif test fix parsing destination IP on emmentaler2

Signed-off-by: Roni Häcki <roni.haecki@inf.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 agoe10k: added missing dependency
Roni Häcki [Mon, 7 Aug 2017 08:06:31 +0000]
e10k: added missing dependency

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

3 years agoharness: fixed devif test processing bug
Roni Häcki [Fri, 4 Aug 2017 14:54:23 +0000]
harness: fixed devif test processing bug

Signed-off-by: Roni Häcki <roni.haecki@inf.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 agosolarflare: conversion of IP for filter no longer required
Roni Häcki [Fri, 4 Aug 2017 10:32:44 +0000]
solarflare: conversion of IP for filter no longer required

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

3 years agoharness: fixing devif test
Roni Häcki [Fri, 4 Aug 2017 10:31:47 +0000]
harness: fixing devif test

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

3 years agolibnet: dhcp header file removed unneeded include
Roni Häcki [Fri, 4 Aug 2017 08:35:16 +0000]
libnet: dhcp header file removed unneeded include

Signed-off-by: Roni Häcki <roni.haecki@inf.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 agodevif: devif_debug test fixed
Roni Häcki [Wed, 2 Aug 2017 10:09:48 +0000]
devif: devif_debug test fixed

Further added further debugging calls

Signed-off-by: Roni Häcki <roni.haecki@inf.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>