Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 5, 2013

• completed 3D surgical robot proof quantifying over boundaries

  

  kouskya1

  committed
  3d2f8ac

  Copy full SHA for 3d2f8ac

Commits on May 3, 2013

• Merge branch 'master' of github.com:keymaerad/KeYmaeraD

  

  kouskya1

  committed
  b6a34a8

  Copy full SHA for b6a34a8

Commits on Apr 28, 2013

• Add models and proofs for paper

  Show description for 58078de
  aplatzer

  committed
  58078de

  Copy full SHA for 58078de

Commits on Jan 13, 2013

• okay, this should work for 2.9 and 2.10

  dwrensha

  committed
  4248670

  Copy full SHA for 4248670

• eliminate some compiler warnings

  dwrensha

  committed
  4451c38

  Copy full SHA for 4451c38

• get it to compile on scala 2.10

  dwrensha

  committed
  cc72be8

  Copy full SHA for cc72be8

Commits on Nov 28, 2012

• example

  aplatzer

  committed
  1285973

  Copy full SHA for 1285973

Commits on Oct 24, 2012

• Merge branch 'master' of github.com:keymaerad/KeYmaeraD

  

  yak

  committed
  5998d07

  Copy full SHA for 5998d07

Commits on Oct 23, 2012

• better support for noexpand mode

  dwrensha

  committed
  1cca611

  Copy full SHA for 1cca611

• Merge branch 'master' of github.com:keymaerad/KeYmaeraD

  

  yak

  committed
  dfe34b1

  Copy full SHA for dfe34b1

• some cleanup

  dwrensha

  committed
  ad916a9

  Copy full SHA for ad916a9

• optionally don't expand new nodes in gui

  dwrensha

  committed
  a24aefe

  Copy full SHA for a24aefe

Commits on Oct 22, 2012

• Merge branch 'master' of github.com:keymaerad/KeYmaeraD

  

  yak

  committed
  3783e2b

  Copy full SHA for 3783e2b

Commits on Oct 21, 2012

• Comment about annotations logging

  aplatzer

  committed
  57a67a4

  Copy full SHA for 57a67a4

• Add some separate logging capabilities (currently turned logging=false). Increase memory.

  aplatzer

  committed
  8747666

  Copy full SHA for 8747666

Commits on Sep 19, 2012

• Merge branch 'master' of github.com:keymaerad/KeYmaeraD

  

  yak

  committed
  e425db7

  Copy full SHA for e425db7

• notequals rule

  dwrensha

  committed
  a40afe1

  Copy full SHA for a40afe1

Commits on Sep 17, 2012

• Merge branch 'master' of github.com:keymaerad/KeYmaeraD

  

  yak

  committed
  c6b067d

  Copy full SHA for c6b067d

• more general

  dwrensha

  committed
  f5f0952

  Copy full SHA for f5f0952

• Merge branch 'master' of github.com:keymaerad/KeYmaeraD

  

  yak

  committed
  183c289

  Copy full SHA for 183c289

Commits on Sep 16, 2012

• fix bug in hasFn; handle one more special case for equality substitution

  dwrensha

  committed
  c6b6c92

  Copy full SHA for c6b6c92

Commits on Sep 13, 2012

• Merge branch 'master' of github.com:keymaerad/KeYmaeraD

  

  yak

  committed
  7715b77

  Copy full SHA for 7715b77

Commits on Sep 12, 2012

• renameAssign rule

  dwrensha

  committed
  c4433e6

  Copy full SHA for c4433e6

Commits on Jul 17, 2012

• Merge branch 'master' of github.com:keymaerad/KeYmaeraD

  

  yak

  committed
  b5182b7

  Copy full SHA for b5182b7

• loopinduction for diamond, existsleft

  dwrensha

  committed
  167028b

  Copy full SHA for 167028b

Commits on Jul 10, 2012

• duality proof rule

  dwrensha

  committed
  47cfca7

  Copy full SHA for 47cfca7

Commits on Jun 30, 2012

• starker

  dwrensha

  committed
  8c68574

  Copy full SHA for 8c68574

• style

  dwrensha

  committed
  4654084

  Copy full SHA for 4654084

• style

  dwrensha

  committed
  f4a3621

  Copy full SHA for f4a3621

• clean up allLeft rule; add examples to show induction difficulties

  dwrensha

  committed
  6458607

  Copy full SHA for 6458607

Commits on Jun 29, 2012

• medical robot example models and proof outline

  

  Kouskoulas

  committed
  2a554ad

  Copy full SHA for 2a554ad

Commits on Jun 21, 2012

• swap argument order for Quantifier so that it matches the concrete syntax

  dwrensha

  committed
  81c201c

  Copy full SHA for 81c201c

Commits on Jun 20, 2012

• Merge branch 'master' of github.com:keymaerad/KeYmaeraD

  

  Kouskoulas

  committed
  2ff7f8f

  Copy full SHA for 2ff7f8f

• minor fixes to typos in some of the tactics

  

  Kouskoulas

  committed
  8b70557

  Copy full SHA for 8b70557

Commits on Jun 19, 2012

• test getuniqid

  

  David Renshaw

  committed
  e304ddb

  Copy full SHA for e304ddb

Pagination

Previous

Next