projects / barrelfish / search
| 2017-07-24 | Daniel Schwyn | Merge remote-tracking branch 'upstream/master' into... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-24 | Daniel Schwyn | Merge branch 'sockeye-modules' into sockeye Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-21 | Daniel Schwyn | Hake: Ddd dependency tracking for sockeye Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-21 | Daniel Schwyn | Sockeye: Enable generating make depend file during... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-20 | Daniel Schwyn | Start modularizing omap44xx spec Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-20 | Daniel Schwyn | Sockeye: Enable generation of dependency file Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-20 | Daniel Schwyn | Sockeye: Fix import system Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-20 | Daniel Schwyn | Sockeye: Add possibility to add reserved blocks Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-19 | Daniel Schwyn | Adapt OMAP44xx spec to new sockeye Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-19 | Daniel Schwyn | Sockeye: clean up Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-19 | Daniel Schwyn | Sockeye: Handle arbitrary large numbers Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-19 | Daniel Schwyn | DecodingNet: Adapt resolution and queries to nodes... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-19 | Daniel Schwyn | Sockeye: Finish implementation of overlay to map translation Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-18 | Daniel Schwyn | Sockeye: Start implementing overley to map translation Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-18 | Daniel Schwyn | Sockeye: Switch default mapping to 0x0 if no base address... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-18 | Daniel Schwyn | Sockeye: Implement import support Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-18 | Daniel Schwyn | Update omap44xx spec to new Sockeye syntax Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-17 | Daniel Schwyn | Sockeye: Represent NodeId as name + namespace list... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-14 | Daniel Schwyn | Sockeye: Remove debug imports Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-14 | Daniel Schwyn | Sockeye: Implement port mappings Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-14 | Daniel Schwyn | Sockeye: Implement proper module instantiation check Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-13 | Daniel Schwyn | Sockeye: Start implementing decoding net transformation Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-13 | Daniel Schwyn | Sockeye: Finish AST simplification Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-13 | Daniel Schwyn | Sockeye: Start implementing new simplification approach... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-12 | Daniel Schwyn | Sockeye: Start implementing port mappings Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-12 | Daniel Schwyn | Sockeye: Adapt prolog backend to new AST Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-12 | Daniel Schwyn | Sockeye: Implement checks in net builder Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-12 | Daniel Schwyn | Sockeye: Better naming for some AST types Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-12 | Daniel Schwyn | Sockeye: Implement nodeSpec conversion Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-11 | Daniel Schwyn | Sockeye: Start implementation of net builder Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-07 | Daniel Schwyn | Sockeye: Start implementation of net builder Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-07 | Daniel Schwyn | Sockeye: Add check for self instantiation Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-07 | Daniel Schwyn | Sockeye: Checker code improvements Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-07 | Daniel Schwyn | Sockeye: Refactor ASTs Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-07 | Daniel Schwyn | Sockeye: Add stub for net builder Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-07 | Daniel Schwyn | Sockeye: Rename 'int' type to 'nat' Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-07 | Daniel Schwyn | Sockeye: Better error messages for checker Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-07 | Daniel Schwyn | Sockeye: Cleanup checker Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-06 | Daniel Schwyn | Sockeye: Checker now checks everything Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-06 | Daniel Schwyn | Sockeye: Finish checker for NodeSpec Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-06 | Daniel Schwyn | Sockeye: Checker almost finished Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-06 | Daniel Schwyn | Sockeye: Start implementation of checker Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-04 | Daniel Schwyn | Sockeye: fix typo Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-04 | Daniel Schwyn | Sockeye: Allow to instantiate modules with inlined... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-04 | Daniel Schwyn | Sockeye: Allow to use inlined for in node decls Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-04 | Daniel Schwyn | Sockeye: Refactoring Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-04 | Daniel Schwyn | Sockeye: Allow do define port mappings with inline... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-03 | Daniel Schwyn | Sockeye: Allow to define ports with inline range in... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-07-03 | Daniel Schwyn | Sockeye: Fix Identifier parsing Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-30 | Daniel Schwyn | Sockeye: Introduce for loops Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-30 | Daniel Schwyn | Sockeye: Only one list for port mappings Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-30 | Daniel Schwyn | Sockeye: Correct file headers for ASTs Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-30 | Daniel Schwyn | Sockeye: Better error messages for parser Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-30 | Daniel Schwyn | Sockeye: Parser for new syntax Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-30 | Daniel Schwyn | Sockeye: WIP: Parser for new syntax Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-30 | Daniel Schwyn | Sockeye: Correct imports Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-30 | Daniel Schwyn | Sockeye: Complete new AST for Frontend Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-29 | Daniel Schwyn | Sockeye: New AST for Frontend Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-27 | Daniel Schwyn | Technote: Add TODOs for missing parts Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-27 | Daniel Schwyn | Technote: Compile Sockeye examples as part of build... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-26 | Daniel Schwyn | Technote: Add more syntax examples Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-26 | Daniel Schwyn | Backport OMAP44xx spec changes from page-tables branch Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-19 | Daniel Schwyn | SKB: Refactor decodingNet modules Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-16 | Daniel Schwyn | OMAP4460 spec: Fix address mapping for L3_OCM_RAM in L3 Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-16 | Daniel Schwyn | OMAP4460 spec: Fix address mapping for CKGEN_CM1 Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-15 | Daniel Schwyn | Technote: clean up Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-15 | Daniel Schwyn | Technote: Describe Prolog mapping Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-15 | Daniel Schwyn | Sockeye: Generate hex addresses for Prolog Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-15 | Daniel Schwyn | Technote: Fix bibliography Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-15 | Daniel Schwyn | Technote: Add hake chapter Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-15 | Daniel Schwyn | Remove test .soc file from Hakefile Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-15 | Daniel Schwyn | Technote: Clean up Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-15 | Daniel Schwyn | Technote: Add syntax description Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-15 | Daniel Schwyn | Separate node IDs by whitespace for 'are' instead of... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Merge remote-tracking branch 'upstream/master' into... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Merge remote-tracking branch 'upstream/master' into... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Remove naive decoding net implementation Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Remove omap4460_paper.soc Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add section about checks to technote Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Start writing technote Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Fix CORTEXA9 -> L3 mapping Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Refactor decoding net skb programs Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add CORTEXA9 node to OMAP spec Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Make Sockeye case sensitive again Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add device name finder query Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add power/clock management details to OMAP specs Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | First take on complete OMAP4460 specs Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Use device type for device frame query Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Ensure all node identifers are compiled to Prolog atoms Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Improve error message on syntax errors with 'is'/'are' Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Group devices by modules Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | OMAP4460 spec with all interconnects Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Make checker case insensitive Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add support for '-' in node IDs Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Start more complete spec of OMAP4460 Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Use node type for shared memory query Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add types to node Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Integrate sockeye with hake Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Rename sockey2 -> sockeye Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Merge remote-tracking branch 'upstream/skate' into... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| next | |||