Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 6, 2025

• [lambda] remove non-standard is_ready'; move equivalent_def, etc. out of boehmTheory

  

  binghe

  authored and

  mn200

  committed
  da2d9a2

  Copy full SHA for da2d9a2

• Extract "Boehm_construction" from the proof of subtree_equiv_lemma

  

  binghe

  authored and

  mn200

  committed
  2f4f33a

  Copy full SHA for 2f4f33a

Commits on Jan 3, 2025

• Update INCLUDES-lines in formal-languages/regular's Holmakefile

  mn200

  committed
  e0c9e4e

  Copy full SHA for e0c9e4e

Commits on Dec 30, 2024

• Start on state minimization

  konrad-slind

  committed
  bb77ef0

  Copy full SHA for bb77ef0

Commits on Dec 27, 2024

• Finished Myhill-Nerode

  konrad-slind

  committed
  3e0d93f

  Copy full SHA for 3e0d93f

Commits on Dec 24, 2024

• Fix dependency INCLUDES in examples/logic/propositional_logic

  mn200

  committed
  e8d5051

  Copy full SHA for e8d5051

• Remove a number of redundant and unhelpful infix declarations

  Show description for b4a5b94
  mn200

  committed
  b4a5b94

  Copy full SHA for b4a5b94

Commits on Dec 23, 2024

• [lambda] Basic properties of subtree_equiv; fix some typos in comments

  

  binghe

  authored and

  mn200

  committed
  c268923

  Copy full SHA for c268923

• Improved subtree_equiv_lemma without subtree_equiv'

  

  binghe

  authored and

  mn200

  committed
  f1625d5

  Copy full SHA for f1625d5

Commits on Dec 20, 2024

• Add reference to recently published paper in Journal of Automated Reasoning.

  

  jhlchan

  authored and

  mn200

  committed
  2052ac8

  Copy full SHA for 2052ac8

• Amend README file due to restructuring of the examples/algebra library.

  

  jhlchan

  authored and

  mn200

  committed
  0b2c712

  Copy full SHA for 0b2c712

• Remove files.txt to enable developers to rename or relocate scripts.

  

  jhlchan

  authored and

  mn200

  committed
  4411ce8

  Copy full SHA for 4411ce8

Commits on Dec 19, 2024

• Merge branch 'develop' into keccak

  xrchz

  authored
  ef047f0

  Copy full SHA for ef047f0

• Fix pedersenCommitment example

  mn200

  committed
  8db87d7

  Copy full SHA for 8db87d7

• Pedersen commitment scheme

  

  rm720

  authored and

  mn200

  committed
  dc4dcab

  Copy full SHA for dc4dcab

Commits on Dec 18, 2024

• Upstream another theorem about word_from_bin_list

  xrchz

  committed
  30da3bd

  Copy full SHA for 30da3bd

• Comment out cheated theorem

  xrchz

  committed
  d5707e1

  Copy full SHA for d5707e1

• Update after upstreaming

  xrchz

  committed
  2199455

  Copy full SHA for 2199455

• Merge remote-tracking branch 'origin/develop' into keccak

  Show description for 1f0faa7
  xrchz

  committed
  1f0faa7

  Copy full SHA for 1f0faa7

Commits on Dec 15, 2024

• Prove a cheat

  xrchz

  committed
  6ecfa87

  Copy full SHA for 6ecfa87

• Translate Keccak_256_w64

  xrchz

  committed
  53e43f7

  Copy full SHA for 53e43f7

Commits on Dec 13, 2024

• Prove absorb_w64_thm

  xrchz

  committed
  a3be6eb

  Copy full SHA for a3be6eb

• Prove Keccak_p_24_w64_thm

  xrchz

  committed
  304f6ba

  Copy full SHA for 304f6ba

• Prove Rnd_w64_thm

  xrchz

  committed
  d185b38

  Copy full SHA for d185b38

• Prove iota_w64_thm

  xrchz

  committed
  ce5652e

  Copy full SHA for ce5652e

Commits on Dec 12, 2024

• Start on iota_w64

  xrchz

  committed
  1819c6e

  Copy full SHA for 1819c6e

• Prove chi_w64_thm

  xrchz

  committed
  6015c40

  Copy full SHA for 6015c40

• Start on chi_w64

  xrchz

  committed
  642afd3

  Copy full SHA for 642afd3

• Prove pi_w64_thm

  xrchz

  committed
  32658d2

  Copy full SHA for 32658d2

Commits on Dec 11, 2024

• Add MAP2 version of rho_w64

  xrchz

  committed
  14b0096

  Copy full SHA for 14b0096

• Prove rho_w64_thm

  xrchz

  committed
  2bfdd3e

  Copy full SHA for 2bfdd3e

• Use w64 suffix consistently

  xrchz

  committed
  3c58be8

  Copy full SHA for 3c58be8

• Prove theta_w64_thm

  xrchz

  committed
  dbe340e

  Copy full SHA for dbe340e

• rename to lameta_completeTheory

  

  binghe

  authored and

  mn200

  committed
  1ad60c4

  Copy full SHA for 1ad60c4

• removed wrongly added README.md

  

  binghe

  authored and

  mn200

  committed
  a77a90b

  Copy full SHA for a77a90b

Pagination

Previous

Next