Permalink
Switch branches/tags
Nothing to show
Commits on Nov 14, 2018
  1. [runtime][compiler] add a single time declaration and tests. Factoriz…

    ptal committed Nov 14, 2018
    …e single_space and single_time into VarDecl.
  2. [runtime][compiler] Factorize pause, pause up and stop in a same Dela…

    ptal committed Nov 14, 2018
    …y class. Add tests.
Commits on Nov 12, 2018
  1. [compiler][back] Generate code for the single space variable declarat…

    ptal committed Nov 12, 2018
    …ion, fix a bug in the runtime where universe did not prepare its body.
  2. [runtime][stmt] Add the single space variable declaration, and modify…

    ptal committed Nov 12, 2018
    … the functions modifying RW counters.
Commits on Nov 11, 2018
  1. [runtime] Store the value of the variable and its reference updaters.…

    ptal committed Nov 11, 2018
    … Take into account the refs in Space.enterScope and Space.exitScope.
Commits on Nov 10, 2018
Commits on Nov 9, 2018
  1. [Test] Fix the compile and run test framework, use it on a simple exa…

    ptal committed Nov 9, 2018
    …mple for the process nothing.
  2. [runtime][compiler] Link the compiler and runtime, remove dependency …

    ptal committed Nov 9, 2018
    …to SugarCubes, first full stack program to compile (Simple).
Commits on Nov 8, 2018
  1. [runtime] Implement an execution engine to execute the layers one by …

    ptal committed Nov 8, 2018
    …one at top-level.
Commits on Nov 7, 2018
Commits on Sep 24, 2018
  1. [runtime][variables] Work on the variables infrastructure: space to r…

    ptal committed Sep 24, 2018
    …egister variable, scheduler to register event, and the different accesses to variables (read, write, readwrite.
Commits on Sep 22, 2018
  1. [compiler][IR] Clean IR before extraction into a branch.

    ptal committed Sep 22, 2018
Commits on Aug 23, 2018
  1. [compiler][front] Update the parser to remove trailing space from sta…

    ptal committed Aug 23, 2018
    …tement's span.
Commits on Aug 22, 2018
Commits on Aug 19, 2018
Commits on Aug 18, 2018
  1. [compiler][IR] Set the infrastructure for compiling to guarded comman…

    ptal committed Aug 18, 2018
    …ds. Retrieve the scheduling of operations from the causal model.
Commits on Aug 17, 2018
  1. [compiler][causality] Fix the causality analysis, nondeterministic pr…

    ptal committed Aug 17, 2018
    …ograms could be wrongly causal, mostly due to the wrong use of activated in ModelParameter.
Commits on Aug 4, 2018
  1. [compiler][causality] Analysis of the parallel statements <> and ||.

    ptal committed Aug 4, 2018
Commits on Jul 31, 2018
  1. [compiler][causality] Analysis of every combination of execution path…

    ptal committed Jul 31, 2018
    …s in every instant.
Commits on Jul 24, 2018
  1. [compiler] Architecture of the symbolic execution of a spacetime prog…

    ptal committed Jul 24, 2018
    …ram to extract every possible instant.
Commits on Jul 23, 2018
  1. [compiler][analysis][W0001] Compute the set of process entry points o…

    ptal committed Jul 23, 2018
    …f a program, and generate an error if private process is an entry point.
  2. [compiler][analysis][E0034] Verify that external function calls are n…

    ptal committed Jul 23, 2018
    …ot prefixed with a permission.