projects / barrelfish / search
| 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 |
| 2017-06-13 | Daniel Schwyn | Do not generate preamble when compiling Sockeye files... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Move Prolog predicates to usr/skb/programs Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add Sockeye file for OMAP4460 Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Rename new sockeye binary to sockeye2 Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add first versions of predicates for configuration... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add predicates to print all origin/target ranges of... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Refactor predicates Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | make net predicate dynamic Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Predicates: Use constraints for addresses and backtracking... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Start using constraints for decoding net predicates Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Make sure the @none for null-overlays is treated as... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Fix translate predicate Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Fix order in some predicates to make search tree (considerab... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Make sure atoms start with lower case Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | decoding net predicates (need to be moved to SKB at... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | First take on Prolog backend Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Use unlines to print lines Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add stub for prolog backend Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add option to specify output file Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Allow '_' in identifiers Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Improve option handling Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add support for plugin in different backends Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Clean up Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add support for multiple destinations in map Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add support for ommitting destination address in map Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Improve error message for failed check Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add check for references to undefined nodes Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Refactor AST Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add check for duplicate identifiers Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add support for specifying blocks via prefix/length Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Improve parse error messages for node specs Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Refactor to match abstract syntax in paper more closely Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Ensure parser reaches end of file Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add support for adding multiple nodes at once with... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add parser support for overlay. !!Will be parsed but... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add support for omitting accept or translate block Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Support parsing singleton address blocks Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Some cleanup Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add hakefile Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Some refactoring in main file Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Add compiler main function, just runs parser and prints... Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Better error message for addresses Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | Small refactoring Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | First take at Sockeye Parser Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |
| 2017-06-13 | Daniel Schwyn | First take on Sockeye AST Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch> |
commit | commitdiff | tree |