Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 4, 2018

• upgraded dependencies

  cipher1024

  committed
  07607dd

  Copy full SHA for 07607dd

• Ported the multi-event deterministic model to the new temporal logic

  cipher1024

  committed
  9c848a2

  Copy full SHA for 9c848a2

• removed dead code

  cipher1024

  committed
  4fd008e

  Copy full SHA for 4fd008e

• finished porting proofs of scheduling

  cipher1024

  committed
  044c836

  Copy full SHA for 044c836

Commits on Jan 3, 2018

• adapted the proof of scheduling of finite sets of events to the new temporal logic

  cipher1024

  committed
  86e683e

  Copy full SHA for 86e683e

Commits on Dec 27, 2017

• converted two more theories to the use of the new temporal logic formulation

  cipher1024

  committed
  04707b7

  Copy full SHA for 04707b7

Commits on Dec 24, 2017

• adapted more proofs to the new temporal logic formulation

  cipher1024

  committed
  6a550c4

  Copy full SHA for 6a550c4

Commits on Dec 23, 2017

• fixed up most of the proofs in `unitb.logic.liveness`

  cipher1024

  committed
  f5d1240

  Copy full SHA for f5d1240

Commits on Dec 21, 2017

• fixed commit hash of `temporal-logic`

  cipher1024

  committed
  200fc76

  Copy full SHA for 200fc76

• moved the temporal logic module to a separate package and adapted the proofs in `unitb.logic.safety`

  cipher1024

  committed
  219fbe5

  Copy full SHA for 219fbe5

Commits on Dec 19, 2017

• made temporal logic an actual logic and gave it a tactics language

  cipher1024

  committed
  d9936ba

  Copy full SHA for d9936ba

Commits on Dec 4, 2017

• adapted proofs to new tactics and new version of Lean

  cipher1024

  committed
  79eb32e

  Copy full SHA for 79eb32e

Commits on Nov 26, 2017

• Fixed lean-lib

  cipher1024

  committed
  a8af718

  Copy full SHA for a8af718

• updated Lean

  cipher1024

  committed
  2600ba7

  Copy full SHA for 2600ba7

Commits on Oct 27, 2017

• Updated syntax to latest Lean version

  cipher1024

  committed
  2366ea8

  Copy full SHA for 2366ea8

Commits on Oct 5, 2017

• upgraded to Lean 3.3

  cipher1024

  committed
  187eb02

  Copy full SHA for 187eb02

Commits on Sep 13, 2017

• updated Lean

  cipher1024

  committed
  71cedde

  Copy full SHA for 71cedde

Commits on Sep 7, 2017

• replaced lean --make with leanpkg build in Travis config

  cipher1024

  committed
  5ecf37c

  Copy full SHA for 5ecf37c

• removed LEAN_PATH from Travis config. It was preventing leanpkg from

  Show description for bc9002c
  cipher1024

  committed
  bc9002c

  Copy full SHA for bc9002c

• updated lean

  cipher1024

  committed
  a61953b

  Copy full SHA for a61953b

Commits on Sep 6, 2017

• fixed leanpkg config

  cipher1024

  committed
  8b52d06

  Copy full SHA for 8b52d06

• removed submodule and made it into a dependency in leanpkg

  cipher1024

  committed
  38496cd

  Copy full SHA for 38496cd

Commits on Aug 7, 2017

• added explit reference to the `src` and `util` source directories in

  Show description for b250690
  cipher1024

  committed
  b250690

  Copy full SHA for b250690

• added `lean-lib` as a submodules and added lean configuration files

  cipher1024

  committed
  dc85c41

  Copy full SHA for dc85c41

• removed submodule

  cipher1024

  committed
  f8dd2ad

  Copy full SHA for f8dd2ad

• updated submodule reference

  cipher1024

  committed
  47c51fe

  Copy full SHA for 47c51fe

• moved submodule into distinguishing directory

  cipher1024

  committed
  ff7c3cb

  Copy full SHA for ff7c3cb

• moved the library proofs into a separate package / git repo

  cipher1024

  committed
  0022286

  Copy full SHA for 0022286

• added `admit` in incomplete proofs

  cipher1024

  committed
  3d171d4

  Copy full SHA for 3d171d4

• filled in proof step for sequential composition

  cipher1024

  committed
  6f84a49

  Copy full SHA for 6f84a49

Commits on Aug 3, 2017

• updated Lean

  cipher1024

  committed
  8062e2f

  Copy full SHA for 8062e2f

• filling in proofs of lemmas

  cipher1024

  committed
  fa924e5

  Copy full SHA for fa924e5

• filled in a lemma about finitely disjunctive categories by adding an axiom to the type class

  cipher1024

  committed
  416b7a5

  Copy full SHA for 416b7a5

Commits on Aug 2, 2017

• proved that the `invariant` and `except` transformers are disjunctive

  cipher1024

  committed
  eda094f

  Copy full SHA for eda094f

Commits on Aug 1, 2017

• redefined the interface of leads_to in terms of disjunctive categories

  cipher1024

  committed
  cb67d05

  Copy full SHA for cb67d05

Pagination

Previous

Next