History log of /barrelfish-master/doc/025-sockeye/example.soc
Revision Date Author Comments
# 179bbd0d 28-Feb-2018 Lukas Humbel <lukas.humbel@inf.ethz.ch>

Sockeye: technote example

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 99fcfa35 12-Sep-2017 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye TN: Use examples from OMAP4460

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>


# f756d6c4 25-Jul-2017 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye TN: More updates

- Use modules in examples
- Update lexical conventions and some of the syntax
- Update prolog mapping

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>


# 7a5d9b05 24-Jul-2017 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye TN: adapt example to syntax changes

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>


# 2b934aab 15-Jun-2017 Daniel Schwyn <schwyda@student.ethz.ch>

Technote: Describe Prolog mapping

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>