2017-08-02 Daniel SchwynSockeye: implement reference check inside node declarations
2017-08-02 Daniel SchwynSockeye: Consier input mappings and output ports in...
2017-08-02 Daniel SchwynSockeye: Show global and root module fails first
2017-07-31 Daniel SchwynSockeye: Fix duplicate variable check for nested for...
2017-07-31 Daniel SchwynSockeye: Collect errors in type checker instead of...
2017-07-31 Daniel SchwynSockeye: Clean up ASTs
2017-07-31 Daniel SchwynSockeye: Rename Checker to TypeChecker
2017-07-31 Daniel SchwynSockeye: Reimplement port translation
2017-07-28 Daniel SchwynSockeye: Start reimplementing net builder on top of...
2017-07-28 Daniel SchwynSockeye: Implement module instantiator
2017-07-27 Daniel SchwynSockeye: Start implementing port checks
2017-07-26 Daniel SchwynSockeye: Refactor arguments type check
2017-07-26 Daniel SchwynSockeye TN: Start updating checks section
2017-07-26 Daniel SchwynSockeye TN: Fix some typos
2017-07-26 Daniel SchwynSockeye TN: Update hake section
2017-07-26 Daniel SchwynSockeye TN: Complete syntax chapter
2017-07-26 Daniel SchwynSockeye TN: Add description of template indentifiers
2017-07-25 Daniel SchwynSockeye TN: More updates
2017-07-24 Daniel SchwynSockeye TN: Update usage info
2017-07-24 Daniel SchwynSockeye: Improve import handling
2017-07-24 Daniel SchwynSockeye TN: Add short introduction about decoding nets
2017-07-24 Daniel SchwynSockeye: TN remove limitations chapter, update hake...
2017-07-24 Daniel SchwynSockeye TN: adapt example to syntax changes
2017-07-24 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
2017-07-24 Daniel SchwynMerge branch 'sockeye-modules' into sockeye
2017-07-23 Reto Achermannxeon_phi: fix compilation with full debug enabled
2017-07-23 Reto Achermannk1om: fixing initialization of apic timer interrupts
2017-07-23 Reto AchermannK1OM: fixing patch to change the elf type for CPU driver
2017-07-23 Reto Achermannweever: differentiate error values from elfload
2017-07-23 Reto Achermannharness: adding netsockets server to xeon phi test
2017-07-23 Reto Achermanncdefs: do not use __nonnull function argument attribute
2017-07-23 Reto Achermannsolarflare: adding missing flounder defs to hakefile
2017-07-23 Reto Achermannoctopus: remove include to flounder file in public...
2017-07-22 Reto Achermannarmv8: fixing menu.lst files and adding bootdriver...
2017-07-21 Daniel SchwynHake: Ddd dependency tracking for sockeye
2017-07-21 Daniel SchwynSockeye: Enable generating make depend file during...
2017-07-20 Daniel SchwynStart modularizing omap44xx spec
2017-07-20 Daniel SchwynSockeye: Enable generation of dependency file
2017-07-20 Daniel SchwynSockeye: Fix import system
2017-07-20 Daniel SchwynSockeye: Add possibility to add reserved blocks
2017-07-19 Daniel SchwynAdapt OMAP44xx spec to new sockeye
2017-07-19 Daniel SchwynSockeye: clean up
2017-07-19 Daniel SchwynSockeye: Handle arbitrary large numbers
2017-07-19 Daniel SchwynDecodingNet: Adapt resolution and queries to nodes...
2017-07-19 Daniel SchwynSockeye: Finish implementation of overlay to map transl...
2017-07-18 Daniel SchwynSockeye: Start implementing overley to map translation
2017-07-18 Daniel SchwynSockeye: Switch default mapping to 0x0 if no base addre...
2017-07-18 Daniel SchwynSockeye: Implement import support
2017-07-18 Daniel SchwynUpdate omap44xx spec to new Sockeye syntax
2017-07-17 Daniel SchwynSockeye: Represent NodeId as name + namespace list...
2017-07-14 Daniel SchwynSockeye: Remove debug imports
2017-07-14 Daniel SchwynSockeye: Implement port mappings
2017-07-14 Adam Turowskinet,loopback: small fix
2017-07-14 Adam Turowskinet: adding a loopback interface
2017-07-14 Daniel SchwynSockeye: Implement proper module instantiation check
2017-07-13 Daniel SchwynSockeye: Start implementing decoding net transformation
2017-07-13 Daniel SchwynSockeye: Finish AST simplification
2017-07-13 Daniel SchwynSockeye: Start implementing new simplification approach...
2017-07-12 Daniel SchwynSockeye: Start implementing port mappings
2017-07-12 Daniel SchwynSockeye: Adapt prolog backend to new AST
2017-07-12 Daniel SchwynSockeye: Implement checks in net builder
2017-07-12 Daniel SchwynSockeye: Better naming for some AST types
2017-07-12 Daniel SchwynSockeye: Implement nodeSpec conversion
2017-07-11 Adam TurowskiMerge branch 'bsdlibc'
2017-07-11 Daniel SchwynSockeye: Start implementation of net builder
2017-07-11 Adam TurowskiRemoving ssh
2017-07-11 Adam TurowskiFixing compilation issues on x86_64 and armv8
2017-07-11 Gerd ZellwegerFix platform file.
2017-07-11 Gerd ZellwegerRemove debug print in waitset.c
2017-07-11 Adam Turowskihake: removing an unknown warning option from the x86_6...
2017-07-11 Adam Turowskinet: adding command-line IP configuration options
2017-07-10 Adam Turowskinet_sockets: some TCP fixups
2017-07-07 Daniel SchwynSockeye: Start implementation of net builder
2017-07-07 Daniel SchwynSockeye: Add check for self instantiation
2017-07-07 Gerd ZellwegerChange the pandaboard drivers to new driver format.
2017-07-07 Daniel SchwynSockeye: Checker code improvements
2017-07-07 Daniel SchwynSockeye: Refactor ASTs
2017-07-07 Daniel SchwynSockeye: Add stub for net builder
2017-07-07 Daniel SchwynSockeye: Rename 'int' type to 'nat'
2017-07-07 Daniel SchwynSockeye: Better error messages for checker
2017-07-07 Daniel SchwynSockeye: Cleanup checker
2017-07-06 Daniel SchwynSockeye: Checker now checks everything
2017-07-06 Daniel SchwynSockeye: Finish checker for NodeSpec
2017-07-06 Daniel SchwynSockeye: Checker almost finished
2017-07-06 Adam Turowskiharness: adjusting http tests to a new network stack
2017-07-06 Adam Turowskitftpclient: converting to net sockets
2017-07-06 Daniel SchwynSockeye: Start implementation of checker
2017-07-04 Adam Turowskinet: enabling DHCP
2017-07-04 Daniel SchwynSockeye: fix typo
2017-07-04 Daniel SchwynSockeye: Allow to instantiate modules with inlined...
2017-07-04 Daniel SchwynSockeye: Allow to use inlined for in node decls
2017-07-04 Daniel SchwynSockeye: Refactoring
2017-07-04 Daniel SchwynSockeye: Allow do define port mappings with inline...
2017-07-03 Adam Turowskiharness: changing tests to net sockets
2017-07-03 Adam Turowskinet_sockets: e1000 server
2017-07-03 Adam Turowskinet: converting lwip types to bsd types
2017-07-03 Adam Turowskinet_sockets: converting nfs
2017-07-03 Daniel SchwynSockeye: Allow to define ports with inline range in...
2017-07-03 Gerd ZellwegerKaluga modifications to start domain.
2017-07-03 Daniel SchwynSockeye: Fix Identifier parsing