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
2017-06-30 Daniel SchwynSockeye: Introduce for loops
2017-06-30 Daniel SchwynSockeye: Only one list for port mappings
2017-06-30 Daniel SchwynSockeye: Correct file headers for ASTs
2017-06-30 Daniel SchwynSockeye: Better error messages for parser
2017-06-30 Daniel SchwynSockeye: Parser for new syntax
2017-06-30 Daniel SchwynSockeye: WIP: Parser for new syntax
2017-06-30 Adam Turowskik1om: some fix-ups
2017-06-30 Daniel SchwynSockeye: Correct imports
2017-06-30 Daniel SchwynSockeye: Complete new AST for Frontend
2017-06-29 Daniel SchwynSockeye: New AST for Frontend
2017-06-27 Daniel SchwynTechnote: Add TODOs for missing parts
2017-06-27 Gerd ZellwegerCommit SDMA driver changes.