Sockeye: Code cleanup
[barrelfish] / tools / sockeye / SockeyeNetBuilder.hs
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-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-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-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 Daniel SchwynSockeye: Start implementation of net builder
2017-07-07 Daniel SchwynSockeye: Start implementation of net builder
2017-07-07 Daniel SchwynSockeye: Refactor ASTs
2017-07-07 Daniel SchwynSockeye: Add stub for net builder