Skip to content
Permalink
Branch: master
Commits on Nov 20, 2018
  1. Update README.md

    joleuger committed Nov 20, 2018
  2. Update README.md

    joleuger committed Nov 20, 2018
Commits on Jun 6, 2018
  1. Merge pull request #30 from pascalpfeil/master

    joleuger committed Jun 6, 2018
    Bachelorarbeit Pascal Pfeil
Commits on Jun 5, 2018
  1. Removed orphan file

    pascalpfeil committed Jun 5, 2018
Commits on Jun 4, 2018
  1. Added back Lustre Models

    pascalpfeil committed Jun 4, 2018
Commits on May 23, 2018
  1. Fixed LustreCompiler

    pascalpfeil committed May 23, 2018
Commits on May 22, 2018
Commits on May 21, 2018
  1. Added LustreCompiler

    pascalpfeil committed May 21, 2018
Commits on May 18, 2018
  1. Added ModelChecking, added tests, optimised performance of input assi…

    pascalpfeil committed May 18, 2018
    …gnments , updated NuGet packages
Commits on May 17, 2018
  1. Added CompilationVisitor

    pascalpfeil committed May 17, 2018
Commits on Apr 23, 2018
Commits on Apr 16, 2018
  1. Removed legacy code

    pascalpfeil committed Apr 16, 2018
  2. Added oc5 abnf grammar

    pascalpfeil committed Apr 16, 2018
Commits on Apr 14, 2018
Commits on Feb 8, 2018
Commits on Feb 7, 2018
  1. New evaluations

    joleuger committed Feb 7, 2018
  2. new parametric benchmark

    joleuger committed Feb 7, 2018
  3. More steps in evaluation

    joleuger committed Feb 7, 2018
  4. typo

    joleuger committed Feb 7, 2018
Commits on Feb 6, 2018
Commits on Jan 26, 2018
  1. Improved evaluations

    joleuger committed Jan 26, 2018
Commits on Jan 25, 2018
  1. Small fix

    joleuger committed Jan 25, 2018
Commits on Jan 24, 2018
  1. Increase state space

    joleuger committed Jan 24, 2018
Older
You can’t perform that action at this time.