projects / barrelfish / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
barrelfish
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-05-27 Reto Achermannskate: make generated C code compile commit | commitdiff | tree | snapshot
2017-05-27 Reto AchermannAdd code generation for functions to add facts to the SKB commit | commitdiff | tree | snapshot
2017-05-14 Reto Achermannskate: adding generation of fact format string commit | commitdiff | tree | snapshot
2017-05-06 Reto Achermannskate: store source position when parsing a skatefile commit | commitdiff | tree | snapshot
2017-05-05 Reto AchermannTN-020: adding some notes on the AST checks commit | commitdiff | tree | snapshot
2017-05-05 Reto AchermannTN-020: adding motivational usescases fo Skate commit | commitdiff | tree | snapshot
2017-05-05 Reto AchermannTN-020: adding examples for flags/constants/enums commit | commitdiff | tree | snapshot
2017-05-05 Reto AchermannSkate: defining varios functions for type handling... commit | commitdiff | tree | snapshot
2017-05-05 Reto Achermannremoving tools/sockeye -> transition to skate commit | commitdiff | tree | snapshot
2017-05-05 Reto Achermanndatagatherer: remove generated dependeicy commit | commitdiff | tree | snapshot
2017-05-05 Reto Achermannremoving references to old lib machinemodel commit | commitdiff | tree | snapshot
2017-05-05 Reto Achermannschema/acpi: making the MADT schema definition compile... commit | commitdiff | tree | snapshot
2017-05-05 Reto Achermannskate: adding more error messages to the parser commit | commitdiff | tree | snapshot
2017-05-05 Reto Achermannskate: adding ACPI MADt schema commit | commitdiff | tree | snapshot
2017-05-05 Reto Achermannskate: adding optional arch argument commit | commitdiff | tree | snapshot
2017-05-05 Reto Achermannmoving lib/machinemodel to schemas directory commit | commitdiff | tree | snapshot
2017-05-05 Reto Achermannhake: integration of skate into the build system commit | commitdiff | tree | snapshot
2017-05-04 Reto Achermannskate: adding struct definitions for the facts commit | commitdiff | tree | snapshot
2017-05-04 Reto Achermannskate: implementation of C header for enums and constants commit | commitdiff | tree | snapshot
2017-05-04 Reto Achermannskate: initial parts fo the C header backend commit | commitdiff | tree | snapshot
2017-05-04 Reto Achermannskate: extend parser to support fully qualified names commit | commitdiff | tree | snapshot
2017-05-04 Reto Achermannskate: implementation of basic checks on declrations commit | commitdiff | tree | snapshot
2017-05-04 Reto Achermannskate: implementation of declaration table commit | commitdiff | tree | snapshot
2017-05-03 Reto AchermannSkate: implement check for type table commit | commitdiff | tree | snapshot
2017-05-03 Reto Achermannskate: starting the typetable and adding comments. commit | commitdiff | tree | snapshot
2017-05-02 Reto AchermannTN-020: removing some of the old description commit | commitdiff | tree | snapshot
2017-05-02 Reto AchermannTN-020: adding more description to the Skate syntax... commit | commitdiff | tree | snapshot
2017-04-29 Reto AchermannTN-020: reorganizing and more documentation commit | commitdiff | tree | snapshot
2017-04-28 Reto Achermannskate: adding basic Skate output functions commit | commitdiff | tree | snapshot
2017-04-28 Reto Achermannskate: remove old header generation commit | commitdiff | tree | snapshot
2017-04-28 Reto Achermannskate: moving filename check to SkateChecker module commit | commitdiff | tree | snapshot
2017-04-28 Reto Achermannskate: adding wiki abstract syntax commit | commitdiff | tree | snapshot
2017-04-28 Reto Achermannskate: adding skate checker module commit | commitdiff | tree | snapshot
2017-04-28 Reto AchermannTN: adding synbf macro commit | commitdiff | tree | snapshot
2017-04-27 Reto Achermannskate: initial commit of skate with working parser commit | commitdiff | tree | snapshot
2017-04-27 Reto AchermannTN-020: adding text and sections to syntax commit | commitdiff | tree | snapshot
2017-04-21 Reto AchermannTN-020: adding descriptions and placeholders for C... commit | commitdiff | tree | snapshot
2017-04-21 Reto AchermannTN-020: finishing up syntax, starting with C mapping... commit | commitdiff | tree | snapshot
2017-04-20 Reto Achermanndoc/TN-020: adding more description of the syntax commit | commitdiff | tree | snapshot
2017-04-20 Reto Achermanndoc: adding more content to TN-020 commit | commitdiff | tree | snapshot
2017-04-20 Reto Achermanndoc: updating and re-naming documetation 20: sockeye... commit | commitdiff | tree | snapshot
2017-04-20 Reto Achermannnet_if_raw: don't assume hardware queues on k1om commit | commitdiff | tree | snapshot
2017-04-20 Reto Achermannlibnetif_raw: adding k1om to build architectures commit | commitdiff | tree | snapshot
2017-04-20 Reto Achermanne1000: adding octopus flounder defs to fix dependency... commit | commitdiff | tree | snapshot
2017-04-18 Simon GerberMerge Github PR#5. Add missing error check in frame_ide... commit | commitdiff | tree | snapshot
2017-04-18 Lukas HumbelARMv8: Correct timer calls. commit | commitdiff | tree | snapshot
2017-04-18 Lukas HumbelARMv8: Store status register on interrupt commit | commitdiff | tree | snapshot
2017-04-13 Lukas HumbelARMv8: Disable GICv2 FIQ bypass interrupt commit | commitdiff | tree | snapshot
2017-04-13 Lukas HumbelARMv8: Give correct name to GIC files commit | commitdiff | tree | snapshot
2017-04-13 Lukas HumbelARMv8: Make GIC400 work. Timer interrupts work. commit | commitdiff | tree | snapshot
2017-04-13 Lukas HumbelARMv8: On fatal_kernel_fault print causing vector commit | commitdiff | tree | snapshot
2017-04-13 Reto AchermannACPI: towards handling all MADT table entries commit | commitdiff | tree | snapshot
next
Barrelfish OS git repo