projects
/
barrelfish
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Decoding net: Fail on region resolution with non contiuous domain for address
2017-09-25
Daniel Schwyn
Decoding net: Fail on region resolution with non contiuous...
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-22
Daniel Schwyn
Sockeye TN: Use example environment for examples
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-21
Daniel Schwyn
Decoding net: Cleanup core module
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-15
Daniel Schwyn
Decoding net: Refactor
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-15
Daniel Schwyn
Sockeye TN: Adapt Prolog mapping to snake case
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-14
Daniel Schwyn
Prolog code style fixes
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-12
Daniel Schwyn
Merge remote-tracking branch 'upstream/master' into...
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-12
Daniel Schwyn
Sockeye TN: Use examples from OMAP4460
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-12
Daniel Schwyn
Sockeye TN: Update info about Prolog mapping
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-11
Daniel Schwyn
Sockeye TN: Update info about node types
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-11
Daniel Schwyn
SKB: Adapt decoding net scripts to use struct notation
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-11
Daniel Schwyn
Sockeye: Use ECLiPSe struct notation in generated code
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-11
Daniel Schwyn
Sockeye: Add node type for cores
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-09-07
Daniel Schwyn
Kaluga: Fix bug with new driver model code
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-07
Daniel Schwyn
Sockeye: Generate addresses with ISO hex prefix
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-07
Daniel Schwyn
Revert "Sockeye: Generate decimal addresses"
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-04
Daniel Schwyn
Sockeye: Generate decimal addresses
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-03
Daniel Schwyn
Sockeye TN: Update chapter on checks
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-03
Daniel Schwyn
Sockeye: Code cleanup
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-02
Daniel Schwyn
Sockeye: Fix empty top level namespace being compiled...
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-02
Daniel Schwyn
Sockeye: Change default dest base for mapping to 0...
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-02
Daniel Schwyn
Sockeye: Implement check for undefined ports
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-02
Daniel Schwyn
Sockeye: Implement reference check in input port declarations
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-02
Daniel Schwyn
Sockeye: Implement reference check for port mappings
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-02
Daniel Schwyn
Sockeye: implement reference check inside node declarations
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-02
Daniel Schwyn
Sockeye: Consier input mappings and output ports in...
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-08-02
Daniel Schwyn
Sockeye: Show global and root module fails first
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-31
Daniel Schwyn
Sockeye: Fix duplicate variable check for nested for...
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-31
Daniel Schwyn
Sockeye: Collect errors in type checker instead of...
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-31
Daniel Schwyn
Sockeye: Clean up ASTs
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-31
Daniel Schwyn
Sockeye: Rename Checker to TypeChecker
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-31
Daniel Schwyn
Sockeye: Reimplement port translation
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-28
Daniel Schwyn
Sockeye: Start reimplementing net builder on top of...
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-28
Daniel Schwyn
Sockeye: Implement module instantiator
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-27
Daniel Schwyn
Sockeye: Start implementing port checks
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-26
Daniel Schwyn
Sockeye: Refactor arguments type check
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-26
Daniel Schwyn
Sockeye TN: Start updating checks section
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-26
Daniel Schwyn
Sockeye TN: Fix some typos
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-26
Daniel Schwyn
Sockeye TN: Update hake section
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-26
Daniel Schwyn
Sockeye TN: Complete syntax chapter
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-26
Daniel Schwyn
Sockeye TN: Add description of template indentifiers
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-25
Daniel Schwyn
Sockeye TN: More updates
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-24
Daniel Schwyn
Sockeye TN: Update usage info
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-24
Daniel Schwyn
Sockeye: Improve import handling
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-24
Daniel Schwyn
Sockeye TN: Add short introduction about decoding nets
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-24
Daniel Schwyn
Sockeye: TN remove limitations chapter, update hake...
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
2017-07-24
Daniel Schwyn
Sockeye TN: adapt example to syntax changes
Signed-off-by: Daniel Schwyn <
schwyda@student.ethz.ch
>
commit
|
commitdiff
|
tree
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
next