Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 21, 2024

• Merge pull request #21 from NethermindEth/fix-deep-recursion-error

  Show description for cdd554c
  Coda-Coda

  authored
  cdd554c

Commits on Nov 20, 2024

• Revert "Eliminate need for adding unfold exec/eval/evalArgs;"

  Show description for 5be73e4
  

  Daniel Britten

  committed
  5be73e4

Commits on Oct 22, 2024

• Merge pull request #14 from NethermindEth/fix-building-with-GitHub-Actions

  Show description for 29e3c76
  Coda-Coda

  authored
  29e3c76

Commits on Oct 21, 2024

• Remove problematic manual caching in GitHub Actions

  

  Daniel Britten

  committed
  9583ece

Commits on Oct 16, 2024

• Merge pull request #11 from NethermindEth/build-with-GitHub-Actions

  Show description for a20c24e
  Coda-Coda

  authored
  a20c24e

• Merge pull request #12 from NethermindEth/readme-edit

  Show description for 7907bc9
  Coda-Coda

  authored
  7907bc9

Commits on Oct 11, 2024

• Add a GitHub Action to run lake build and stack build

  Show description for 099f6e0
  

  Daniel Britten

  committed
  099f6e0

• Add shell.nix including elan and stack

  Show description for dc4afd7
  

  Daniel Britten

  committed
  dc4afd7

Commits on Oct 8, 2024

• Merge pull request #3 from Coda-Coda/fix-extra-brace

  Show description for a8862bf
  jkopanski

  authored
  a8862bf

Commits on Oct 7, 2024

• Merge pull request #2 from NethermindEth/andreiburdusa/storage-erase-default-values

  Show description for 24aad3a
  jkopanski

  authored
  24aad3a

• Don't use default for numbers/values

  jkopanski

  committed
  178504e

• Merge pull request #6 from NethermindEth/explicitly-match-none-case

  Show description for ed98681
  jkopanski

  authored
  ed98681

• Add comment about obtaining precompiled files for Mathlib

  

  Daniel Britten

  committed
  e6bdeef

Commits on Oct 1, 2024

• Explicitly match none case

  

  jkopanski

  authored and

  Daniel Britten

  committed
  4d263b5

Commits on Sep 27, 2024

• Merge pull request #5 from Coda-Coda/bump-4.9.1

  Show description for 704b244
  Coda-Coda

  authored
  704b244

Commits on Sep 24, 2024

• Remove need for linter.dupNamespace false

  Show description for 7b51343
  

  Daniel Britten

  committed
  7b51343

• Eliminate need for adding unfold exec/eval/evalArgs;

  Show description for e3ea4f6
  

  Daniel Britten

  committed
  e3ea4f6

Commits on Sep 20, 2024

• Fix extra } generated when ret ++ fargs is empty

  Show description for 4b51900
  

  Daniel Britten

  committed
  4b51900

Commits on Aug 29, 2024

• Erase default values from storage

  andreiburdusa

  committed
  3b78768

Commits on Jul 30, 2024

• Fix breakage in the examples

  jkopanski

  committed
  ea537c9

• Fix broken lemmas

  Show description for 88217ba
  jkopanski

  committed
  88217ba

• Lean.Name.getString -> Lean.Name.lastComponentAsString

  Show description for 7c2cdaa
  jkopanski

  committed
  7c2cdaa

• Fix linting warnings

  Show description for 2b718af
  jkopanski

  committed
  2b718af

• Std -> Batteries

  jkopanski

  committed
  0139251

• Change State lookup notation so it won't clash with GetElem

  jkopanski

  committed
  e357bdb

Commits on Jul 29, 2024

• Bump lean & mathlib to 4.9.1

  Show description for 38f6d42
  jkopanski

  committed
  38f6d42

Commits on Jul 11, 2024

• Update README.md

  orscars

  authored
  f985ea6

• Update README.md

  orscars

  authored
  f0a26af

• Update README.md

  orscars

  authored
  ceab434

• Update README.md

  orscars

  authored
  b9ac887

• Update README.md

  orscars

  authored
  9c8161e

• Update README.md

  orscars

  authored
  8d189bf

• Update README.md

  orscars

  authored
  8b4c66f

Commits on Jul 3, 2024

• temyurchenko is one of the initial co-authors; add them

  Show description for 82084dc
  

  Ferinko

  and

  temyurchenko

  committed
  82084dc

• fix 'Yul' styling

  Ferinko

  committed
  2ad3518

Pagination

PreviousNext