Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Nov 12, 2010
  1. changed button functins to sets

    Adrian Friedli authored
  2. ref 11 changed to sets

    Adrian Friedli authored
Commits on Nov 11, 2010
  1. proves for new invariants are incomplete

    Alexander Bernauer authored
  2. new requirements

    Alexander Bernauer authored
Commits on Nov 1, 2010
  1. convergence of scheduling

    Alexander Bernauer authored
  2. down buttons & schedule

    Alexander Bernauer authored
Commits on Oct 26, 2010
  1. up buttons added

    Adrian Friedli authored
  2. dlf for refinement 10

    Adrian Friedli authored
    including some invariants needed to prove dlf
Commits on Oct 25, 2010
  1. prepared for up and down buttons

    Alexander Bernauer authored
  2. buttons and lights

    Alexander Bernauer authored
  3. physical door

    Alexander Bernauer authored
  4. convergent physical elevator events

    Alexander Bernauer authored
Commits on Oct 21, 2010
  1. Merge branch 'master' of github.com:copton/ProvenLift

    Alexander Bernauer authored
  2. fixed requirements

    Alexander Bernauer authored
  3. improvement of refinement 4

    Adrian Friedli authored
Commits on Oct 18, 2010
  1. cable engine sensor, refinement proved

    Alexander Bernauer authored
  2. environemnt

    Alexander Bernauer authored
  3. refinement 3 proved

    Alexander Bernauer authored
  4. refinement 2 proved

    Alexander Bernauer authored
Commits on Oct 14, 2010
  1. initial model and part of first refinement

    Adrian Friedli authored
Commits on Oct 1, 2010
  1. requirements document

    Alexander Bernauer authored
Commits on Sep 30, 2010
  1. new requirement document

    Adrian Friedli authored
  2. empty requirements document

    Alexander Bernauer authored
  3. project structure

    Alexander Bernauer authored
  4. empty project

    Alexander Bernauer authored
  5. first commit

    Alexander Bernauer authored
Something went wrong with that request. Please try again.