Permalink
Commits on Jan 5, 2013
  1. Merge branch 'hgdbmi'

    Alexander Bernauer committed Jan 5, 2013
  2. minor stylistic fix

    Alexander Bernauer committed Jan 5, 2013
  3. migration to hgdbmi package (not on Hackage yet)

    Alexander Bernauer committed Jan 5, 2013
  4. Merge branch 'thesis'

    Alexander Bernauer committed Jan 5, 2013
  5. minor fix

    Alexander Bernauer committed Jan 5, 2013
Commits on Dec 29, 2012
  1. removed unnecessary language extensions

    Alexander Bernauer committed Dec 29, 2012
Commits on Dec 25, 2012
  1. removed trailing whitspace from Contiki patch

    Alexander Bernauer committed Dec 25, 2012
Commits on Dec 17, 2012
  1. removed old docu file

    Alexander Bernauer committed Dec 17, 2012
Commits on Dec 13, 2012
  1. fixed conversion of T-code expressions

    Alexander Bernauer committed Dec 13, 2012
  2. fixed Core's integration tests

    Alexander Bernauer committed Dec 13, 2012
  3. fixed os header of simulation os

    Alexander Bernauer committed Dec 13, 2012
Commits on Dec 6, 2012
  1. additional test for t2p_map

    Alexander Bernauer committed Dec 6, 2012
Commits on Nov 29, 2012
  1. Contiki PAL supports task termination

    Alexander Bernauer committed Nov 29, 2012
  2. minor fix of the folding

    Alexander Bernauer committed Nov 29, 2012
  3. minor fix in a comment

    Alexander Bernauer committed Nov 29, 2012
Commits on Nov 27, 2012
  1. simplified boolean short-circuit evaluation

    Alexander Bernauer committed Nov 27, 2012
  2. completed readAccess and writeAccess

    Alexander Bernauer committed Nov 27, 2012
  3. Merge branch 'function_designator' into thesis

    Alexander Bernauer committed Nov 27, 2012
  4. filtering for PointerToCriticalFunction

    Alexander Bernauer committed Nov 27, 2012
  5. post-ir filter

    Alexander Bernauer committed Nov 27, 2012
  6. removed PointerToCriticalFunction filter

    Alexander Bernauer committed Nov 27, 2012
  7. avoiding shadowing with critical and blocking functions

    Alexander Bernauer committed Nov 27, 2012
Commits on Nov 26, 2012
  1. filter sometimes rejects valid code :(

    Alexander Bernauer committed Nov 26, 2012
  2. improved filter for pointer to critical function

    Not sure if we cover all cases now :(
    Alexander Bernauer committed Nov 26, 2012
Commits on Nov 23, 2012
  1. removed old Make variable (OCRAM_CPP)

    Alexander Bernauer committed Nov 23, 2012
  2. renamed tc_api back to tc_block

    Alexander Bernauer committed Nov 23, 2012
  3. moved attributes from global to critical constraints

    GNU C attributes are actually used by the standard library of the MSP430
    tool chain.
    Alexander Bernauer committed Nov 23, 2012
Commits on Nov 21, 2012
  1. filtering GNU C attributes

    Alexander Bernauer committed Nov 21, 2012
  2. erratum to 2f78f31

    Alexander Bernauer committed Nov 21, 2012
Commits on Nov 17, 2012
  1. declare t-stacks static

    Alexander Bernauer committed Nov 17, 2012
  2. mangling of static variables is a back-end job

    Alexander Bernauer committed Nov 17, 2012
Commits on Nov 16, 2012
  1. minor correction for allTVars

    Alexander Bernauer committed Nov 16, 2012
  2. function parameters are not per se critical

    Alexander Bernauer committed Nov 16, 2012
Commits on Nov 15, 2012
  1. Call nodes in 1st normal form use labels as continaution

    Alexander Bernauer committed Nov 15, 2012
Commits on Nov 12, 2012
  1. use source code order for normalization

    Alexander Bernauer committed Nov 12, 2012