Commits

Branch selector

 a633f70

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 5, 2019

• clean up and reorganize DFS

  joscoh

  committed
  a633f70

  Copy full SHA for a633f70

• wrote up latex proofs for parens, corollary, white path

  joscoh

  committed
  23c0f71

  Copy full SHA for 23c0f71

Commits on Jul 4, 2019

• finished white path theorem

  joscoh

  committed
  f544aef

  Copy full SHA for f544aef

Commits on Jul 3, 2019

• removed old code

  joscoh

  committed
  74bca2f

  Copy full SHA for 74bca2f

• more info about paths, key lemma for white path theorem almost done

  joscoh

  committed
  81028dd

  Copy full SHA for 81028dd

Commits on Jul 2, 2019

• finished second theorem (corollary 22.8 in clrs)

  joscoh

  committed
  d96da6c

  Copy full SHA for d96da6c

Commits on Jul 1, 2019

• proved key lemma for corollary, very very close

  joscoh

  committed
  91e676f

  Copy full SHA for 91e676f

Commits on Jun 30, 2019

• delete commented out proofs

  joscoh

  committed
  2bc44de

  Copy full SHA for 2bc44de

• proved key lemma for descendants corollary

  joscoh

  committed
  b42f8ab

  Copy full SHA for b42f8ab

• proved parentheses theorem

  joscoh

  committed
  f2c5129

  Copy full SHA for f2c5129

Commits on Jun 29, 2019

• made lots of progress on stack and parens: close to 1st part

  joscoh

  committed
  e4a6941

  Copy full SHA for e4a6941

Commits on Jun 28, 2019

• solidifying approach for parens

  joscoh

  committed
  843df2c

  Copy full SHA for 843df2c

Commits on Jun 24, 2019

• adding proofs about descendants and location in stack almost there

  joscoh

  committed
  0fe8d1e

  Copy full SHA for 0fe8d1e

Commits on Jun 23, 2019

• unfinished work on descendents

  joscoh

  committed
  7d7e150

  Copy full SHA for 7d7e150

• lots of proofs about parents and children getting close to parentheses thm

  joscoh

  committed
  67d85a2

  Copy full SHA for 67d85a2

Commits on Jun 22, 2019

• made it compile

  joscoh

  committed
  2c20c8d

  Copy full SHA for 2c20c8d

• removing duplicate file

  joscoh

  committed
  f43c983

  Copy full SHA for f43c983

• something screwed up let me fix this

  joscoh

  committed
  dc25342

  Copy full SHA for dc25342

• have executable algorithm, next is parentheses

  joscoh

  committed
  1a7895c

  Copy full SHA for 1a7895c

Commits on Jun 21, 2019

• yet another try, lets see where this goes

  joscoh

  committed
  4ba72b0

  Copy full SHA for 4ba72b0

• new srategy for inductive relation

  joscoh

  committed
  a95d2c5

  Copy full SHA for a95d2c5

Commits on Jun 20, 2019

• working my way towards the determinism thing that will hopefully be very helpful

  joscoh

  committed
  23dcd36

  Copy full SHA for 23dcd36

Commits on Jun 19, 2019

• a few things about steps, multisteps, time working slowly toward parens

  joscoh

  committed
  09ddab0

  Copy full SHA for 09ddab0

Commits on Jun 18, 2019

• a few lemmas about the stack but mostly a mess

  joscoh

  committed
  3371a77

  Copy full SHA for 3371a77

Commits on Jun 17, 2019

• started executable program

  joscoh

  committed
  b9c8441

  Copy full SHA for b9c8441

Commits on Jun 16, 2019

• finished progress and termination

  joscoh

  committed
  c8f37cc

  Copy full SHA for c8f37cc

Commits on Jun 15, 2019

• still working through progress and all sorts of related and unrelated stuff

  joscoh

  committed
  490962f

  Copy full SHA for 490962f

Commits on Jun 14, 2019

• a few things about done states and lots of things about the stack

  joscoh

  committed
  e7775a7

  Copy full SHA for e7775a7

Commits on Jun 13, 2019

• added proofs about discover times

  joscoh

  committed
  15210db

  Copy full SHA for 15210db

Commits on Jun 12, 2019

• some changes to Tree and beginning of implementation

  joscoh

  committed
  dae4688

  Copy full SHA for dae4688

Commits on Jun 11, 2019

• added interface for trees

  joscoh

  committed
  0606e61

  Copy full SHA for 0606e61

• added some definitions and theorems about paths

  joscoh

  committed
  524b925

  Copy full SHA for 524b925

Commits on Jun 10, 2019

• added graph interface and adjacency map implementation

  joscoh

  committed
  d7fce8d

  Copy full SHA for d7fce8d

Commits on Jun 9, 2019

• an inductive specification of dfs with a few initial proofs

  joscoh

  committed
  a9dca14

  Copy full SHA for a9dca14

• initial commit

  joscoh

  committed
  e638710

  Copy full SHA for e638710