Sockeye TN: Update info about Prolog mapping
[barrelfish] / tools /
2017-09-11 Daniel SchwynSockeye: Use ECLiPSe struct notation in generated code
2017-09-11 Daniel SchwynSockeye: Add node type for cores
2017-08-07 Daniel SchwynSockeye: Generate addresses with ISO hex prefix
2017-08-07 Daniel SchwynRevert "Sockeye: Generate decimal addresses"
2017-08-04 Daniel SchwynSockeye: Generate decimal addresses
2017-08-03 Daniel SchwynSockeye: Code cleanup
2017-08-02 Daniel SchwynSockeye: Fix empty top level namespace being compiled...
2017-08-02 Daniel SchwynSockeye: Change default dest base for mapping to 0...
2017-08-02 Daniel SchwynSockeye: Implement check for undefined ports
2017-08-02 Daniel SchwynSockeye: Implement reference check in input port declar...
2017-08-02 Daniel SchwynSockeye: Implement reference check for port mappings
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-25 Daniel SchwynSockeye TN: More updates
2017-07-24 Daniel SchwynSockeye: Improve import handling
2017-07-24 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
2017-07-23 Reto Achermannweever: differentiate error values from elfload
2017-07-23 Reto Achermannharness: adding netsockets server to xeon phi test
2017-07-22 Reto Achermannarmv8: fixing menu.lst files and adding bootdriver...
2017-07-21 Daniel SchwynSockeye: Enable generating make depend file during...
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 SchwynSockeye: clean up
2017-07-19 Daniel SchwynSockeye: Handle arbitrary large numbers
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-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 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 Adam Turowskihake: removing an unknown warning option from the x86_6...
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 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 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 Daniel SchwynSockeye: Allow to define ports with inline range in...
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-22 Adam Turowskidevif_test: fixing e10k queue constructor call
2017-06-22 Adam Turowskiharness: call hake with a proper architecture
2017-06-22 Adam Turowskilibc: removing newlib, adding BSD libc
2017-06-15 Daniel SchwynSockeye: Generate hex addresses for Prolog
2017-06-15 Daniel SchwynSeparate node IDs by whitespace for 'are' instead of...
2017-06-13 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
2017-06-13 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
2017-06-13 Daniel SchwynMake Sockeye case sensitive again
2017-06-13 Daniel SchwynEnsure all node identifers are compiled to Prolog atoms
2017-06-13 Daniel SchwynImprove error message on syntax errors with 'is'/'are'
2017-06-13 Daniel SchwynMake checker case insensitive
next