2017-06-13 Daniel SchwynUse node type for shared memory query
2017-06-13 Daniel SchwynAdd types to node
2017-06-13 Daniel SchwynIntegrate sockeye with hake
2017-06-13 Daniel SchwynRename sockey2 -> sockeye
2017-06-13 Daniel SchwynMerge remote-tracking branch 'upstream/skate' into...
2017-06-13 Daniel SchwynDo not generate preamble when compiling Sockeye files...
2017-06-13 Daniel SchwynMove Prolog predicates to usr/skb/programs
2017-06-13 Daniel SchwynAdd Sockeye file for OMAP4460
2017-06-13 Daniel SchwynRename new sockeye binary to sockeye2
2017-06-13 Daniel SchwynAdd first versions of predicates for configuration...
2017-06-13 Daniel SchwynAdd predicates to print all origin/target ranges of...
2017-06-13 Daniel SchwynRefactor predicates
2017-06-13 Daniel Schwynmake net predicate dynamic
2017-06-13 Daniel SchwynPredicates: Use constraints for addresses and backtrack...
2017-06-13 Daniel SchwynStart using constraints for decoding net predicates
2017-06-13 Daniel SchwynMake sure the @none for null-overlays is treated as...
2017-06-13 Daniel SchwynFix translate predicate
2017-06-13 Daniel SchwynFix order in some predicates to make search tree (consi...
2017-06-13 Daniel SchwynMake sure atoms start with lower case
2017-06-13 Daniel Schwyndecoding net predicates (need to be moved to SKB at...
2017-06-13 Daniel SchwynFirst take on Prolog backend
2017-06-13 Daniel SchwynUse unlines to print lines
2017-06-13 Daniel SchwynAdd stub for prolog backend
2017-06-13 Daniel SchwynAdd option to specify output file
2017-06-13 Daniel SchwynAllow '_' in identifiers
2017-06-13 Daniel SchwynImprove option handling
2017-06-13 Daniel SchwynAdd support for plugin in different backends
2017-06-13 Daniel SchwynClean up
2017-06-13 Daniel SchwynAdd support for multiple destinations in map
2017-06-13 Daniel SchwynAdd support for ommitting destination address in map
2017-06-13 Daniel SchwynImprove error message for failed check
2017-06-13 Daniel SchwynAdd check for references to undefined nodes
2017-06-13 Daniel SchwynRefactor AST
2017-06-13 Daniel SchwynAdd check for duplicate identifiers
2017-06-13 Daniel SchwynAdd support for specifying blocks via prefix/length
2017-06-13 Daniel SchwynImprove parse error messages for node specs
2017-06-13 Daniel SchwynRefactor to match abstract syntax in paper more closely
2017-06-13 Daniel SchwynEnsure parser reaches end of file
2017-06-13 Daniel SchwynAdd support for adding multiple nodes at once with...
2017-06-13 Daniel SchwynAdd parser support for overlay. !!Will be parsed but...
2017-06-13 Daniel SchwynAdd support for omitting accept or translate block
2017-06-13 Daniel SchwynSupport parsing singleton address blocks
2017-06-13 Daniel SchwynSome cleanup
2017-06-13 Daniel SchwynAdd hakefile
2017-06-13 Daniel SchwynSome refactoring in main file
2017-06-13 Daniel SchwynAdd compiler main function, just runs parser and prints...
2017-06-13 Daniel SchwynBetter error message for addresses
2017-06-13 Daniel SchwynSmall refactoring
2017-06-13 Daniel SchwynFirst take at Sockeye Parser
2017-06-13 Daniel SchwynFirst take on Sockeye AST
2017-05-27 Reto Achermannskate: make generated C code compile
2017-05-27 Reto AchermannAdd code generation for functions to add facts to the SKB
2017-05-14 Reto Achermannskate: adding generation of fact format string
2017-05-06 Reto Achermannskate: store source position when parsing a skatefile
2017-05-05 Reto AchermannTN-020: adding some notes on the AST checks
2017-05-05 Reto AchermannTN-020: adding motivational usescases fo Skate
2017-05-05 Reto AchermannTN-020: adding examples for flags/constants/enums
2017-05-05 Reto AchermannSkate: defining varios functions for type handling...
2017-05-05 Reto Achermannremoving tools/sockeye -> transition to skate
2017-05-05 Reto Achermanndatagatherer: remove generated dependeicy
2017-05-05 Reto Achermannremoving references to old lib machinemodel
2017-05-05 Reto Achermannschema/acpi: making the MADT schema definition compile...
2017-05-05 Reto Achermannskate: adding more error messages to the parser
2017-05-05 Reto Achermannskate: adding ACPI MADt schema
2017-05-05 Reto Achermannskate: adding optional arch argument
2017-05-05 Reto Achermannmoving lib/machinemodel to schemas directory
2017-05-05 Reto Achermannhake: integration of skate into the build system
2017-05-04 Reto Achermannskate: adding struct definitions for the facts
2017-05-04 Reto Achermannskate: implementation of C header for enums and constants
2017-05-04 Reto Achermannskate: initial parts fo the C header backend
2017-05-04 Reto Achermannskate: extend parser to support fully qualified names
2017-05-04 Reto Achermannskate: implementation of basic checks on declrations
2017-05-04 Reto Achermannskate: implementation of declaration table
2017-05-03 Reto AchermannSkate: implement check for type table
2017-05-03 Reto Achermannskate: starting the typetable and adding comments.
2017-05-02 Reto AchermannTN-020: removing some of the old description
2017-05-02 Reto AchermannTN-020: adding more description to the Skate syntax...
2017-04-29 Reto AchermannTN-020: reorganizing and more documentation
2017-04-28 Reto Achermannskate: adding basic Skate output functions
2017-04-28 Reto Achermannskate: remove old header generation
2017-04-28 Reto Achermannskate: moving filename check to SkateChecker module
2017-04-28 Reto Achermannskate: adding wiki abstract syntax
2017-04-28 Reto Achermannskate: adding skate checker module
2017-04-28 Reto AchermannTN: adding synbf macro
2017-04-27 Reto Achermannskate: initial commit of skate with working parser
2017-04-27 Reto AchermannTN-020: adding text and sections to syntax
2017-04-21 Reto AchermannTN-020: adding descriptions and placeholders for C...
2017-04-21 Reto AchermannTN-020: finishing up syntax, starting with C mapping...
2017-04-20 Reto Achermanndoc/TN-020: adding more description of the syntax
2017-04-20 Reto Achermanndoc: adding more content to TN-020
2017-04-20 Reto Achermanndoc: updating and re-naming documetation 20: sockeye...
2017-04-20 Reto Achermannnet_if_raw: don't assume hardware queues on k1om
2017-04-20 Reto Achermannlibnetif_raw: adding k1om to build architectures
2017-04-20 Reto Achermanne1000: adding octopus flounder defs to fix dependency...
2017-04-18 Simon GerberMerge Github PR#5. Add missing error check in frame_ide...
2017-04-18 Lukas HumbelARMv8: Correct timer calls.
2017-04-18 Lukas HumbelARMv8: Store status register on interrupt
2017-04-13 Lukas HumbelARMv8: Disable GICv2 FIQ bypass interrupt
2017-04-13 Lukas HumbelARMv8: Give correct name to GIC files
2017-04-13 Lukas HumbelARMv8: Make GIC400 work. Timer interrupts work.