Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 17, 2012

• more general

  dwrensha

  committed
  f5f0952

  Copy full SHA for f5f0952

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 12, 2012

• renameAssign rule

  dwrensha

  committed
  c4433e6

  Copy full SHA for c4433e6

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 19, 2012

• making the most recent incarnation of a binding available

  

  Kouskoulas

  committed
  f7126e1

  Copy full SHA for f7126e1

Commits on Jun 16, 2012

• a bit more

  dwrensha

  committed
  acfe10a

  Copy full SHA for acfe10a

• more unit tests

  dwrensha

  committed
  bba5116

  Copy full SHA for bba5116

Commits on Jun 15, 2012

• finish implementation of alpha equality

  dwrensha

  committed
  3cea67f

  Copy full SHA for 3cea67f

Commits on Jun 14, 2012

• simul_substitute_HP. also, fixed bug in substitute_HP

  

  David Renshaw

  committed
  6838e03

  Copy full SHA for 6838e03

Commits on Jun 13, 2012

• delete a bunch of whitespace

  

  David Renshaw

  committed
  2f1b664

  Copy full SHA for 2f1b664

• More cleanup

  

  David Renshaw

  committed
  2720638

  Copy full SHA for 2720638

Commits on Jun 12, 2012

• eliminate final compilation warning. move testing to tests

  

  David Renshaw

  committed
  054fe12

  Copy full SHA for 054fe12

• eliminate another warning and add some explanation

  

  David Renshaw

  committed
  4dd5e78

  Copy full SHA for 4dd5e78

Commits on Mar 30, 2012

• fix substitution bug

  dwrensha

  committed
  8cdd7f3

  Copy full SHA for 8cdd7f3

Commits on Feb 24, 2012

• some cleanup of old things, some work on simulation

  

  David Renshaw

  committed
  fdd7228

  Copy full SHA for fdd7228

Commits on Feb 18, 2012

• Adapt to new type infrastructure.

  aplatzer

  committed
  e05c823

  Copy full SHA for e05c823

Commits on Feb 11, 2012

• More general diffind for division

  aplatzer

  committed
  19e0cc4

  Copy full SHA for 19e0cc4

Commits on Oct 26, 2011

• renamed package DLBanyan to KeYmaeraD

  dwrensha

  committed
  22e0dd5

  Copy full SHA for 22e0dd5

Commits on Oct 22, 2011

• a comment

  

  David Renshaw

  committed
  884a801

  Copy full SHA for 884a801

Commits on Oct 12, 2011

• simpler final condition

  

  David Renshaw

  committed
  e14457e

  Copy full SHA for e14457e

Commits on Sep 12, 2011

• ah, yes. we still need to worry about existence in the invariant

  

  David Renshaw

  committed
  e567ed0

  Copy full SHA for e567ed0

• two things remain: the hard arithmetic, and the invariant, for which we will need a stronger diffstrengthen rule

  

  David Renshaw

  committed
  91255d9

  Copy full SHA for 91255d9

• fixed bug in totalderiv_Term

  

  David Renshaw

  committed
  4e1fef5

  Copy full SHA for 4e1fef5

• closed control branch. fixed variable-capture bug in unsubstitute rule

  dwrensha

  committed
  e14aa50

  Copy full SHA for e14aa50

Commits on Sep 5, 2011

• unsubstitute rule replaces nullarize rule

  

  David Renshaw

  committed
  d6a70f0

  Copy full SHA for d6a70f0

Commits on Sep 1, 2011

• we're gonna need better instantiation tactics

  

  David Renshaw

  committed
  c7adf39

  Copy full SHA for c7adf39

• so, it actually didn't make sense to say that nabla(a v b) = (a ^ nabla a) v (b ^ nabla b)

  

  David Renshaw

  committed
  45d2e65

  Copy full SHA for 45d2e65

• diffstrengthen and diffclose should now work for quantified formulas. but how are we going to choose which way to totalderiv an Or?

  

  David Renshaw

  committed
  fd7db09

  Copy full SHA for fd7db09

Commits on Aug 31, 2011

• we need to nnf a formula before we total deriv it

  

  David Renshaw

  committed
  b1ae746

  Copy full SHA for b1ae746

• working on totalderiv so that I can make a quantified differential invariant rule

  

  David Renshaw

  committed
  20a91ce

  Copy full SHA for 20a91ce

Commits on Aug 30, 2011

• bug in rational.scala fixed. concave proof rule sketched out.

  

  David Renshaw

  committed
  e052317

  Copy full SHA for e052317

• improved uniqifying, some work on distclocks

  dwrensha

  committed
  8181c69

  Copy full SHA for 8181c69

Commits on Apr 12, 2011

• some substitution in the proof

  

  David Renshaw

  committed
  57bfbb4

  Copy full SHA for 57bfbb4

Commits on Mar 25, 2011

• this cut should help

  dwrensha

  committed
  8297d7b

  Copy full SHA for 8297d7b

Commits on Mar 24, 2011

• assignanyquantified

  dwrensha

  committed
  18974c5

  Copy full SHA for 18974c5

Pagination

Previous

Next