Commits

Commit history

1. Commits on Oct 26, 2023

   • Remove testing infrastructure related to kontrolx (#2135)

     Show description for 49ce4a1
     

     ehildenb

     and

     rv-auditor

     authored
     49ce4a1View commit details

     Copy full SHA for 49ce4a1

     View code at this pointBrowse repository at this point
2. Commits on Sep 18, 2023

   • Replace `Makefile` based build by `kevm-dist` command (#2068)

     Show description for 75583c1
     

     3 peopleauthored
     75583c1View commit details

     Copy full SHA for 75583c1

     View code at this pointBrowse repository at this point
3. Commits on Aug 18, 2023

   • Remove k submodule, rely on release tags for updates (#2023)

     Show description for 867bfea
     

     ehildenb

     and

     rv-auditor

     authored
     867bfeaView commit details

     Copy full SHA for 867bfea

     View code at this pointBrowse repository at this point
4. Commits on Aug 26, 2022

   • Cleanups (#1332)

     Show description for e8abecc
     ehildenb

     authored
     e8abeccView commit details

     Copy full SHA for e8abecc

     View code at this pointBrowse repository at this point
5. Commits on Aug 16, 2022

   • Add Foundry tests for programs with loops (#1323)

     Show description for 41b6931
     

     tothtamas28

     and

     RaoulSchaffranek

     authored
     41b6931View commit details

     Copy full SHA for 41b6931

     View code at this pointBrowse repository at this point
6. Commits on Aug 6, 2022

   • Added some foundry simple tests (#1288)

     Show description for 0c5416a
     

     3 peopleauthored
     0c5416aView commit details

     Copy full SHA for 0c5416a

     View code at this pointBrowse repository at this point
7. Commits on Mar 18, 2022

   • Update repo location (#1207)

     Show description for 875788f
     

     ehildenb

     and

     gtrepta

     authored
     875788fView commit details

     Copy full SHA for 875788f

     View code at this pointBrowse repository at this point
8. Commits on Dec 8, 2020

   • Use k-web-theme submodule (#944)

     Show description for 854c7c9
     shd101wyy

     authored
     854c7c9View commit details

     Copy full SHA for 854c7c9

     View code at this pointBrowse repository at this point
9. Commits on Jun 3, 2020

   • Switch to using native markdown support from K (#804)

     Show description for c521aa0
     ehildenb

     authored
     c521aa0View commit details

     Copy full SHA for c521aa0

     View code at this pointBrowse repository at this point
10. Commits on May 28, 2020

    • replace libff/libsecp256k1 submodules with plugin versions (#797)

      Show description for 415d523
      

      sskeirik

      and

      ehildenb

      authored
      415d523View commit details

      Copy full SHA for 415d523

      View code at this pointBrowse repository at this point
11. Commits on Jan 14, 2020

    • Remove Proxygen dependency (#656)

      Show description for 391ac48
      

      2 peopleauthored and

      rv-jenkins

      committed
      391ac48View commit details

      Copy full SHA for 391ac48

      View code at this pointBrowse repository at this point
12. Commits on Dec 11, 2019

    • Update dependencies (#603)

      Show description for 03cab97
      rv-jenkins

      authored
      03cab97View commit details

      Copy full SHA for 03cab97

      View code at this pointBrowse repository at this point
13. Commits on Jun 5, 2019

    • Moves dependency submodules into `deps` directory, so that `.build` is only for building. (#369)

      Show description for 444c192
      ehildenb

      authored
      444c192View commit details

      Copy full SHA for 444c192

      View code at this pointBrowse repository at this point
14. Commits on May 6, 2019

    • Updates which make KEVM build on Arch Linux with LLVM backend (#343)

      Show description for 0dd4ae6
      ehildenb

      authored
      0dd4ae6View commit details

      Copy full SHA for 0dd4ae6

      View code at this pointBrowse repository at this point
15. Commits on May 2, 2019

    • Remove VSC submodule, pin directly the proofs used for testing (#341)

      Show description for ccd05a3
      ehildenb

      authored
      ccd05a3View commit details

      Copy full SHA for ccd05a3

      View code at this pointBrowse repository at this point
16. Commits on Feb 5, 2019

    • .build/kore, .gitmodules: remove kore submodule

      

      Everett Hildenbrandt

      committed
      239d4ccView commit details

      Copy full SHA for 239d4cc

      View code at this pointBrowse repository at this point
17. Commits on Sep 7, 2018

    • .gitmodules: Setting kore submodule to be untracked.

      

      traiansf

      authored and

      Everett Hildenbrandt

      committed
      039f674View commit details

      Copy full SHA for 039f674

      View code at this pointBrowse repository at this point

    • .build/kore, .gitignore, .gitmodules: added Kore as a submodule

      

      traiansf

      authored and

      Everett Hildenbrandt

      committed
      2a51912View commit details

      Copy full SHA for 2a51912

      View code at this pointBrowse repository at this point
18. Commits on Jul 5, 2018

    • .gitmodules: switch to new K submodule

      

      Everett Hildenbrandt

      authored and

      dwightguth

      committed
      da45d15View commit details

      Copy full SHA for da45d15

      View code at this pointBrowse repository at this point
19. Commits on Apr 20, 2018

    • .build/media/metropolis, .gitignore, .gitmodules: add metropolis theme sources submodule

      

      Everett Hildenbrandt

      committed
      a7ebabdView commit details

      Copy full SHA for a7ebabd

      View code at this pointBrowse repository at this point
20. Commits on Mar 26, 2018

    • .gitmodules, plugin: add submodule for blockchain k plugin

      

      Dwight Guth

      committed
      2f02446View commit details

      Copy full SHA for 2f02446

      View code at this pointBrowse repository at this point
21. Commits on Mar 9, 2018

    • .gitmodules: add proofs submodule

      

      yzhang90

      authored and

      Everett Hildenbrandt

      committed
      15a1c6aView commit details

      Copy full SHA for 15a1c6a

      View code at this pointBrowse repository at this point
22. Commits on Feb 28, 2018

    • .build/pandoc-tangle, .gitignore, .gitmodules: add pandoc-tangle submodule

      

      Everett Hildenbrandt

      authored and

      Dwight Guth

      committed
      0454d0dView commit details

      Copy full SHA for 0454d0d

      View code at this pointBrowse repository at this point
23. Commits on Jan 30, 2018

    • tests/ci/{rv-k, uiuc-k}, .build/k, .git{modules,ignore}: move submodule for K

      Show description for 208198c
      

      Dwight Guth

      committed
      208198cView commit details

      Copy full SHA for 208198c

      View code at this pointBrowse repository at this point

    • .gitmodules: ignore untracked content in submodules

      

      Everett Hildenbrandt

      authored and

      dwightguth

      committed
      abb2a21View commit details

      Copy full SHA for abb2a21

      View code at this pointBrowse repository at this point
24. Commits on Sep 11, 2017

    • KRYPTO.ml, META, Makefile, krypto.md, with-k: add ECDSARecover crypto function

      Show description for afedcc7
      

      Dwight Guth

      committed
      afedcc7View commit details

      Copy full SHA for afedcc7

      View code at this pointBrowse repository at this point

    • gitmodules: Ignore untracked files in rv-k submodule

      Show description for 3f5f3f0
      

      nishantjr

      authored and

      dwightguth

      committed
      3f5f3f0View commit details

      Copy full SHA for 3f5f3f0

      View code at this pointBrowse repository at this point
25. Commits on Aug 24, 2017

    • tests/ci/with-k: Runs commands against a particular K backend/version

      Show description for c4f2ad0
      nishantjr

      committed
      c4f2ad0View commit details

      Copy full SHA for c4f2ad0

      View code at this pointBrowse repository at this point
26. Commits on Jun 22, 2017

    • gitmodules: Change remote to gh:ethereum from gh:ethereumproject

      Show description for c560edb
      

      nishantjr

      authored and

      ehildenb

      committed
      c560edbView commit details

      Copy full SHA for c560edb

      View code at this pointBrowse repository at this point
27. Commits on Jun 15, 2017

    • Introduce ethereum-tests as a submodule

      Show description for 8155072
      nishantjr

      committed
      8155072View commit details

      Copy full SHA for 8155072

      View code at this pointBrowse repository at this point
28. Loading