Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 9, 2019

• change type of QueueImpl

  joscoh

  committed
  88128ac

Commits on Sep 6, 2019

• added queue interface and implementation

  joscoh

  committed
  4878b1a

• some refactoring I think

  joscoh

  committed
  96c5c86

Commits on Jul 22, 2019

• update readme

  joscoh

  authored
  65bcd06

• added proof for finding connected components of undirected graph

  joscoh

  committed
  d2bed93

Commits on Jul 21, 2019

• removed commented out code

  joscoh

  committed
  33e6049

• update readme

  joscoh

  authored
  4b91082

• added some info on SCC proofs to latex

  joscoh

  committed
  503b8a8

• finished proof of SCC algorithm

  joscoh

  committed
  0c27ae6

• stuff about sccs and trees started proving alg

  joscoh

  committed
  4b7d628

Commits on Jul 20, 2019

• added version of DFS with custom ordering for use in 2nd pass for SCC algorithm

  joscoh

  committed
  4096c10

Commits on Jul 19, 2019

• tentative work on order and typeclasses

  joscoh

  committed
  a15eda7

Commits on Jul 18, 2019

• more transpose, some stuff about dfs ordering, figuring out graph ordering

  joscoh

  committed
  eb2f1f2

Commits on Jul 17, 2019

• more results about sccs and defined and implemented transpose for graphs

  joscoh

  committed
  394e781

Commits on Jul 16, 2019

• several key results about decidability and existence of SCCs (and paths)

  joscoh

  committed
  0bf89d4

Commits on Jul 15, 2019

• minor typos and fixes

  joscoh

  committed
  77ca0df

• finished key lemma for SCCs

  joscoh

  committed
  ffa3da7

Commits on Jul 14, 2019

• started scc: some definitions and lemmas

  joscoh

  committed
  6167cb4

Commits on Jul 12, 2019

• update coqproject

  joscoh

  committed
  073e141

• remove old files

  joscoh

  committed
  2a0dd25

• update readme

  joscoh

  authored
  932ed0e

• finished topological sort implementation and proofs

  joscoh

  committed
  2f90a52

• removed commented out code

  joscoh

  committed
  84a6abc

• finished cycle detection proofs

  joscoh

  committed
  84c053e

Commits on Jul 10, 2019

• got through most of cycle detection have to finish interface

  joscoh

  committed
  fb9f9f0

• updated with definitions and new interfaces

  joscoh

  committed
  520db97

• updated tex with derived and spec

  joscoh

  committed
  a09fdba

Commits on Jul 9, 2019

• updated and instantiated DFSBase interface

  joscoh

  committed
  eb1c8a5

Commits on Jul 8, 2019

• finished proofs of cycle detection and topological sort spec

  joscoh

  committed
  f77b52d

Commits on Jul 7, 2019

• stuff about paths, cycles, and proofs derived from DFSSpec

  joscoh

  committed
  8ef7422

Commits on Jul 6, 2019

• Merge branch 'master' of https://github.com/joscoh/graph-proofs

  joscoh

  committed
  65a21e7

• added DFS interface and implemented it

  joscoh

  committed
  ff61602

Commits on Jul 5, 2019

• changed to md

  joscoh

  authored
  534bf89

• update readme

  joscoh

  authored
  0a8b39f

• implemented graph interface

  joscoh

  committed
  bccd92e

Pagination

PreviousNext