Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 8, 2017

• stuck with reverse induction list

  mukeshtiwari

  committed
  d450795

  Copy full SHA for d450795

• customized induction on list

  mukeshtiwari

  committed
  78d6828

  Copy full SHA for 78d6828

• added utility file for custom induction on naturals

  mukeshtiwari

  committed
  0087fcf

  Copy full SHA for 0087fcf

Commits on Jan 19, 2017

• finished Ltac and need more practice

  mukeshtiwari

  committed
  99c660f

  Copy full SHA for 99c660f

Commits on Jan 17, 2017

• started learning ltac

  mukeshtiwari

  committed
  b9a3a46

  Copy full SHA for b9a3a46

• added color library for reading code

  mukeshtiwari

  committed
  30362c9

  Copy full SHA for 30362c9

Commits on Jan 12, 2017

• finished assign aequiv

  mukeshtiwari

  committed
  6011e06

  Copy full SHA for 6011e06

• finished identity assignment

  mukeshtiwari

  committed
  cccbe66

  Copy full SHA for cccbe66

• finished seq associtaion

  mukeshtiwari

  committed
  b759b78

  Copy full SHA for b759b78

• finished loop unrolling

  mukeshtiwari

  committed
  7dce2e3

  Copy full SHA for 7dce2e3

Commits on Jan 11, 2017

• started loop_unrolling

  mukeshtiwari

  committed
  4717ffd

  Copy full SHA for 4717ffd

Commits on Jan 10, 2017

• finished WHILE_true

  mukeshtiwari

  committed
  26cda62

  Copy full SHA for 26cda62

• finished swap_if_branches

  mukeshtiwari

  committed
  6c908a4

  Copy full SHA for 6c908a4

• finished equiv_classes

  mukeshtiwari

  committed
  e66ea18

  Copy full SHA for e66ea18

Commits on Jan 9, 2017

• Added definitions

  mukeshtiwari

  committed
  e82274e

  Copy full SHA for e82274e

• started Equivalent chapter

  mukeshtiwari

  committed
  6e4fb55

  Copy full SHA for 6e4fb55

• finished chapter

  mukeshtiwari

  committed
  1041b53

  Copy full SHA for 1041b53

• finished ceval__ceval_step

  mukeshtiwari

  committed
  898f893

  Copy full SHA for 898f893

Commits on Jan 6, 2017

• finishes ceval_step_more

  mukeshtiwari

  committed
  3ee5f30

  Copy full SHA for 3ee5f30

• tried to do induction on c but did not worked

  mukeshtiwari

  committed
  85f8d02

  Copy full SHA for 85f8d02

• finished ceval_step_ceval

  mukeshtiwari

  committed
  57a2002

  Copy full SHA for 57a2002

• finishd ceval_step3 function

  mukeshtiwari

  committed
  640196f

  Copy full SHA for 640196f

Commits on Jan 5, 2017

• added evaluation function

  mukeshtiwari

  committed
  d19d8d3

  Copy full SHA for d19d8d3

• started evaluation function for Imp

  mukeshtiwari

  committed
  44a4106

  Copy full SHA for 44a4106

• finished BreakImp module

  mukeshtiwari

  committed
  4b9c8f7

  Copy full SHA for 4b9c8f7

• Finished ceval_deterministic

  mukeshtiwari

  committed
  f3c9e0a

  Copy full SHA for f3c9e0a

Commits on Dec 5, 2016

• Added the solution of Cypi. The key to solve loop is induction

  mukeshtiwari

  committed
  400d3fd

  Copy full SHA for 400d3fd

Commits on Nov 3, 2016

• Dirk's code

  mukeshtiwari

  committed
  7548284

  Copy full SHA for 7548284

Commits on Nov 2, 2016

• made code bit shorter

  mukeshtiwari

  committed
  b4d10bd

  Copy full SHA for b4d10bd

• stuck with eval_deterministic

  mukeshtiwari

  committed
  1aaa3b2

  Copy full SHA for 1aaa3b2

Commits on Oct 23, 2016

• finished while_break_true

  mukeshtiwari

  committed
  c0bc8d9

  Copy full SHA for c0bc8d9

Commits on Oct 21, 2016

• Stuck with while_break_true

  mukeshtiwari

  committed
  49c18f9

  Copy full SHA for 49c18f9

• Finished Break Imp definition:

  mukeshtiwari

  committed
  870c8dc

  Copy full SHA for 870c8dc

• Shorter proof

  mukeshtiwari

  committed
  e9930cc

  Copy full SHA for e9930cc

• finished s_compile_correct

  mukeshtiwari

  committed
  deb05e6

  Copy full SHA for deb05e6

Pagination

Previous

Next