Permalink
Switch branches/tags
Nothing to show
Commits on Aug 4, 2018
Commits on Jul 31, 2018
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.
  3. [compiler][causality] Put all the pieces of the causality analysis to…

    ptal committed Jul 23, 2018
    …gether and fix bugs.
  4. [compiler][causality] Solve the causality models generated, and add e…

    ptal committed Jul 23, 2018
    …rrors E0032 and E0033 when a causality error occurs.
Commits on Jul 18, 2018
  1. [compiler][causality] Add a structure to store the constraint model o…

    ptal committed Jul 18, 2018
    …f a path in a spacetime program (Section 4.5 dissertation).
  2. [compiler][causality] Add a structure to store the parameters of the …

    ptal committed Jul 18, 2018
    …constraint model (Section 4.5.2 dissertation).
Commits on Jul 16, 2018
  1. [compiler][static analysis] Restrict the usage of this (see #2 and #3)…

    ptal committed Jul 16, 2018
    …. Distinguish between spacetime variables and class names on method calls.
Commits on May 14, 2018
  1. [compiler][grammar][middle][E0031] Add the statement prune in the gra…

    ptal committed May 14, 2018
    …mmar and fix the analysis of the wellformedness of the search tree.
  2. [compiler][middle][E0031] forbid search statements inside a space sta…

    ptal committed May 14, 2018
    …tement (plus tests).
Commits on May 13, 2018
Commits on May 12, 2018
  1. [compiler][front][grammar] Split the parallel operator into a disjunc…

    ptal committed May 12, 2018
    …tive and conjunctive version.
Commits on May 11, 2018
  1. [compiler][analysis] Add an instantaneous analysis of the loop and sp…

    ptal committed May 11, 2018
    …ace statements (plus tests).
  2. [compiler][E0027][test] Add analysis to avoid host function in entail…

    ptal committed May 11, 2018
    …ment context (that can be called multiple times).
Commits on May 10, 2018
  1. [compiler][middle][test] Add analysis and test of illegal permission …

    ptal committed May 10, 2018
    …in tell and ask contexts.
  2. [front][grammar] Remove host boolean. We wish to keep only the bonsai…

    ptal committed May 10, 2018
    … trilean to avoid duplication. Rational: even if the user think he is using a Java boolean, the Java compiler will generate a typing error easy to fix and detect.
  3. [compiler][test] Fix the tests to match the new syntax, and fix the e…

    ptal committed May 10, 2018
    …rrors detected by the tests in the grammar.
Commits on May 9, 2018
  1. [compiler][front] Rework the syntax to match the one in the dissertat…

    ptal committed May 9, 2018
    …ion. Remove the braces that surround block, and use end keyword to delimitate them.
Commits on May 8, 2018
  1. [bonsai][front] Add Trilean expression and synchronize with the gramm…

    ptal committed May 8, 2018
    …ar presented in the dissertation.
  2. [bonsai][front] Remove transient keyword, it is not proven useful and…

    ptal committed May 8, 2018
    … is more of a hack than anything else.
  3. [bonsai][front][back] Add the trilean built-in type of Bonsai inside …

    ptal committed May 8, 2018
    …the AST, and generate the corresponding code.
  4. [runtime][Synchronous] Add Instruction storing the pointer to the par…

    ptal committed May 8, 2018
    …ent's node in the AST of an instruction.
Commits on May 7, 2018
  1. [runtime][synchronous] Update the synchronous engine to push and pop …

    ptal committed May 7, 2018
    …onto a queue, start on the first instant, resuming after several instants and accessing variables.