Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 16, 2019

• Gossip protocol is a world of pain :-(

  Show description for e71fb58
  

  George Pîrlea

  committed
  e71fb58

  Copy full SHA for e71fb58

Commits on Feb 20, 2019

• Properly instantiate Blocks (see Types.v)

  

  George Pîrlea

  committed
  9080de8

  Copy full SHA for 9080de8

Commits on Feb 18, 2019

• Work around Coq issue #4749

  Show description for 46c7ae2
  

  George Pîrlea

  committed
  46c7ae2

  Copy full SHA for 46c7ae2

Commits on Feb 17, 2019

• Finish making Toychain modular

  Show description for ff665d8
  

  George Pîrlea

  committed
  ff665d8

  Copy full SHA for ff665d8

Commits on Feb 16, 2019

• Separate 'Blocks.v' file again

  Show description for ee35375
  

  George Pîrlea

  committed
  ee35375

  Copy full SHA for ee35375

• Move all parameters & axioms to 'Parameters.v'

  

  George Pîrlea

  committed
  aad5680

  Copy full SHA for aad5680

Commits on Feb 15, 2019

• DONE! Hash injectivity totally removed :-)

  

  George Pîrlea

  committed
  53fdfae

  Copy full SHA for 53fdfae

• WIP: handle the hash collision case (yay!)

  

  George Pîrlea

  committed
  4a6c040

  Copy full SHA for 4a6c040

• WIP: fix error in invariant

  Show description for 3d5c2d3
  

  George Pîrlea

  committed
  3d5c2d3

  Copy full SHA for 3d5c2d3

• WIP progress on invariant

  

  George Pîrlea

  committed
  830144f

  Copy full SHA for 830144f

Commits on Feb 1, 2019

• WIP inv: finish procMsg case

  

  George Pîrlea

  committed
  3820c91

  Copy full SHA for 3820c91

• WIP procMsg getDataMsg

  

  George Pîrlea

  committed
  cd3482d

  Copy full SHA for cd3482d

Commits on Jan 27, 2019

• WIP inv: applying conserved BlockMsg

  

  George Pîrlea

  committed
  779a87c

  Copy full SHA for 779a87c

Commits on Jan 26, 2019

• WIP invariant

  

  George Pîrlea

  committed
  656fcf6

  Copy full SHA for 656fcf6

• WIP invariant

  

  George Pîrlea

  committed
  f859c5f

  Copy full SHA for f859c5f

• WIP invariant

  

  George Pîrlea

  committed
  ae9a7c4

  Copy full SHA for ae9a7c4

• WIP rewriting invariant

  

  George Pîrlea

  committed
  203e854

  Copy full SHA for 203e854

Commits on Jan 20, 2019

• WIP fold_comm

  

  George Pîrlea

  committed
  b67b746

  Copy full SHA for b67b746

Commits on Dec 29, 2018

• Fix breakage in other files; prep for refactor

  

  George Pîrlea

  committed
  8ef3356

  Copy full SHA for 8ef3356

Commits on Apr 23, 2018

• remove VAF redundancy

  palmskog

  committed
  fffc362

  Copy full SHA for fffc362

• no timestamp in VAF, call VAF when finding valid chains

  palmskog

  committed
  f221368

  Copy full SHA for f221368

• no timestamp in VAF

  palmskog

  committed
  ff0181c

  Copy full SHA for ff0181c

Commits on Apr 21, 2018

• port to FCSL PCM library

  palmskog

  committed
  6227af2

  Copy full SHA for 6227af2

Commits on Apr 12, 2018

• possibility of silent AddrMsg processing

  palmskog

  committed
  a226722

  Copy full SHA for a226722

Commits on Apr 4, 2018

• variable naming fix

  palmskog

  committed
  b4b6cbf

  Copy full SHA for b4b6cbf

• genProof returns transactions for block to allow adding coinbase transactions

  palmskog

  committed
  6414c1c

  Copy full SHA for 6414c1c

Commits on Feb 27, 2018

• adjust namespace of files in Heaps directory to be compatible with https://github.com/imdea-software/htt for future use

  palmskog

  committed
  b56fd3e

  Copy full SHA for b56fd3e

Commits on Feb 6, 2018

• Remove NullMsg (#7)

  palmskog

  authored
  a32f221

  Copy full SHA for a32f221

Commits on Feb 3, 2018

• use arbitrary finType for Address instead of nat

  palmskog

  committed
  8a017ef

  Copy full SHA for 8a017ef

Commits on Feb 2, 2018

• cover the transaction hash for GetDataMsg again

  palmskog

  committed
  fa92ffb

  Copy full SHA for fa92ffb

• change GetDataMsg handler to fixed version and update proofs

  palmskog

  committed
  356a2db

  Copy full SHA for 356a2db

Commits on Dec 29, 2017

• change all uses of nid to Address, and remove nid type definition

  palmskog

  committed
  ad7010d

  Copy full SHA for ad7010d

Commits on Nov 9, 2017

• meh

  ilyasergey

  committed
  ca22efd

  Copy full SHA for ca22efd

• migrating to Coq 8.7

  ilyasergey

  committed
  8a1272b

  Copy full SHA for 8a1272b

Commits on Oct 7, 2017

• minor polishing

  ilyasergey

  committed
  30740ba

  Copy full SHA for 30740ba

Pagination

Previous

Next