Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jul 15, 2019

• replace tabs with spaces

  hurchalla

  committed
  bd7f03e

  Copy full SHA for bd7f03e

Commits on Oct 13, 2018

• add License.txt

  hurchalla

  committed
  34d5682

  Copy full SHA for 34d5682

• Merge branch 'master' of https://github.com/hurchalla/proofs

  hurchalla

  committed
  f87991a

  Copy full SHA for f87991a

• add an implementation of Extended Euclidean algorithm that uses unsigned inputs

  hurchalla

  committed
  fd3df59

  Copy full SHA for fd3df59

Commits on Oct 10, 2018

• Update README.md

  hurchalla

  authored
  abe79c0

  Copy full SHA for abe79c0

• commit an html backup of the blog entry describing this proof/repository, and link to it in the README

  hurchalla

  committed
  a6e6cc6

  Copy full SHA for a6e6cc6

Commits on Oct 6, 2018

• added proofs for final bounds (in terms of a and b)

  hurchalla

  committed
  f1d3ff4

  Copy full SHA for f1d3ff4

Commits on Oct 3, 2018

• fix spelling in comment

  hurchalla

  authored
  1df9d75

  Copy full SHA for 1df9d75

Commits on Sep 29, 2018

• rename files

  hurchalla

  committed
  ffc5359

  Copy full SHA for ffc5359

• test rename

  hurchalla

  committed
  27ded35

  Copy full SHA for 27ded35

Commits on Sep 28, 2018

• add files that are abbreviated versions of the existing proof cases, retaining only the bounds assertions.

  hurchalla

  committed
  02bca28

  Copy full SHA for 02bca28

Commits on Sep 27, 2018

• add assertions

  hurchalla

  committed
  c5091fd

  Copy full SHA for c5091fd

• move assertion

  hurchalla

  committed
  b6a7c33

  Copy full SHA for b6a7c33

• add an assertion

  hurchalla

  committed
  e0bc568

  Copy full SHA for e0bc568

• Require signed integral type T

  hurchalla

  committed
  d69fc04

  Copy full SHA for d69fc04

Commits on Sep 19, 2018

• Delete README.md

  hurchalla

  authored
  908679a

  Copy full SHA for 908679a

• Add files via upload

  hurchalla

  authored
  36c318c

  Copy full SHA for 36c318c

• Add files via upload

  hurchalla

  authored
  9ad11a5

  Copy full SHA for 9ad11a5

• Rename CMakeLists.txt to extended_euclidean_bounds/CMakeLists.txt

  hurchalla

  authored
  db2c8ef

  Copy full SHA for db2c8ef

• Add files via upload

  hurchalla

  authored
  876ffb4

  Copy full SHA for 876ffb4

• Create README.md

  hurchalla

  authored
  c6eaf41

  Copy full SHA for c6eaf41