projects / barrelfish / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
barrelfish
2017-06-26 Daniel SchwynBackport OMAP44xx spec changes from page-tables branch commit | commitdiff | tree | snapshot
2017-06-19 Daniel SchwynSKB: Refactor decodingNet modules commit | commitdiff | tree | snapshot
2017-06-16 Daniel SchwynOMAP4460 spec: Fix address mapping for L3_OCM_RAM in L3 commit | commitdiff | tree | snapshot
2017-06-16 Daniel SchwynOMAP4460 spec: Fix address mapping for CKGEN_CM1 commit | commitdiff | tree | snapshot
2017-06-15 Daniel SchwynTechnote: clean up commit | commitdiff | tree | snapshot
2017-06-15 Daniel SchwynTechnote: Describe Prolog mapping commit | commitdiff | tree | snapshot
2017-06-15 Daniel SchwynSockeye: Generate hex addresses for Prolog commit | commitdiff | tree | snapshot
2017-06-15 Daniel SchwynTechnote: Fix bibliography commit | commitdiff | tree | snapshot
2017-06-15 Daniel SchwynTechnote: Add hake chapter commit | commitdiff | tree | snapshot
2017-06-15 Daniel SchwynRemove test .soc file from Hakefile commit | commitdiff | tree | snapshot
2017-06-15 Daniel SchwynTechnote: Clean up commit | commitdiff | tree | snapshot
2017-06-15 Daniel SchwynTechnote: Add syntax description commit | commitdiff | tree | snapshot
2017-06-15 Daniel SchwynSeparate node IDs by whitespace for 'are' instead of... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynMerge remote-tracking branch 'upstream/master' into... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynMerge remote-tracking branch 'upstream/master' into... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynRemove naive decoding net implementation commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynRemove omap4460_paper.soc commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd section about checks to technote commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynStart writing technote commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynFix CORTEXA9 -> L3 mapping commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynRefactor decoding net skb programs commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd CORTEXA9 node to OMAP spec commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynMake Sockeye case sensitive again commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd device name finder query commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd power/clock management details to OMAP specs commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynFirst take on complete OMAP4460 specs commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynUse device type for device frame query commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynEnsure all node identifers are compiled to Prolog atoms commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynImprove error message on syntax errors with 'is'/'are' commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynGroup devices by modules commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynOMAP4460 spec with all interconnects commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynMake checker case insensitive commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd support for '-' in node IDs commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynStart more complete spec of OMAP4460 commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynUse node type for shared memory query commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd types to node commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynIntegrate sockeye with hake commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynRename sockey2 -> sockeye commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynMerge remote-tracking branch 'upstream/skate' into... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynDo not generate preamble when compiling Sockeye files... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynMove Prolog predicates to usr/skb/programs commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd Sockeye file for OMAP4460 commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynRename new sockeye binary to sockeye2 commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd first versions of predicates for configuration... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd predicates to print all origin/target ranges of... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynRefactor predicates commit | commitdiff | tree | snapshot
2017-06-13 Daniel Schwynmake net predicate dynamic commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynPredicates: Use constraints for addresses and backtrack... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynStart using constraints for decoding net predicates commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynMake sure the @none for null-overlays is treated as... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynFix translate predicate commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynFix order in some predicates to make search tree (consi... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynMake sure atoms start with lower case commit | commitdiff | tree | snapshot
2017-06-13 Daniel Schwyndecoding net predicates (need to be moved to SKB at... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynFirst take on Prolog backend commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynUse unlines to print lines commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd stub for prolog backend commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd option to specify output file commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAllow '_' in identifiers commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynImprove option handling commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd support for plugin in different backends commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynClean up commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd support for multiple destinations in map commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd support for ommitting destination address in map commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynImprove error message for failed check commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd check for references to undefined nodes commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynRefactor AST commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd check for duplicate identifiers commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd support for specifying blocks via prefix/length commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynImprove parse error messages for node specs commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynRefactor to match abstract syntax in paper more closely commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynEnsure parser reaches end of file commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd support for adding multiple nodes at once with... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd parser support for overlay. !!Will be parsed but... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd support for omitting accept or translate block commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynSupport parsing singleton address blocks commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynSome cleanup commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd hakefile commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynSome refactoring in main file commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynAdd compiler main function, just runs parser and prints... commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynBetter error message for addresses commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynSmall refactoring commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynFirst take at Sockeye Parser commit | commitdiff | tree | snapshot
2017-06-13 Daniel SchwynFirst take on Sockeye AST commit | commitdiff | tree | snapshot
2017-06-13 Reto Achermannskate: use architecture instead of arch family commit | commitdiff | tree | snapshot
2017-06-13 Reto AchermannMerge branch 'skate' commit | commitdiff | tree | snapshot
2017-06-13 Reto AchermannTN-020: adding a remark regarding case sensitivity commit | commitdiff | tree | snapshot
2017-06-07 Adam Turowskidevif: e1000 backend initial version commit | commitdiff | tree | snapshot
2017-06-06 Adam Turowskipci library: adding a user state pointer commit | commitdiff | tree | snapshot
2017-06-02 Simon Gerberdoc: tn04: update vm technote to match recent implement... commit | commitdiff | tree | snapshot
2017-06-02 Simon Gerbertests: fix skb cap storage test to use %PRIuGENPADDR... commit | commitdiff | tree | snapshot
2017-06-02 Simon Gerberkernel: caps_lookup_slot: fix edgecase for l1 index... commit | commitdiff | tree | snapshot
2017-06-02 Simon Gerberdoc: tn13: add invocations on VNode and some minor... commit | commitdiff | tree | snapshot
2017-06-02 Simon Gerberdoc: tn13: more updates to ch6 commit | commitdiff | tree | snapshot
2017-06-02 Simon Gerberdoc: tn13: Reword hybrid solution section commit | commitdiff | tree | snapshot
2017-06-02 Simon Gerberdoc: tn13: Add section on Mark's hybrid operations... commit | commitdiff | tree | snapshot
2017-06-02 Simon Gerberdoc: tn13: Add section on implementation of cap database commit | commitdiff | tree | snapshot
2017-06-02 Simon Gerberdoc: tn13: Update wording for frame/devframe ondelete() commit | commitdiff | tree | snapshot
2017-06-02 Simon Gerberdoc: tn13: add mapping capability to types commit | commitdiff | tree | snapshot
2017-06-02 Simon Gerberdoc: tn13: fix comment in hakefile commit | commitdiff | tree | snapshot
next
Barrelfish OS git repo