Started 3 mo 12 days ago
Took 4 hr 58 min

Failed Build #92 (Jun 16, 2020 3:05:53 PM)

Changes
  1. kprove.mak: extension to allow custom kompile command (details / githubweb)
  2. solar: initial commit. Makefile and .ini from zeppelin with a subset of specs. (details / githubweb)
  3. solar: spec for balanceOf-zeppelin. Non-master KEVM. (details / githubweb)
  4. solar: init spec for transfer-1-success, zeppelin (details / githubweb)
  5. solar: transfer-1-success full spec, but with redundant storage specs. (details / githubweb)
  6. erc20/solar: full transfer-1-success with zeppelin code, storage-agnostic (details / githubweb)
  7. solar: build system completed, ready to run on Jenkins. (details / githubweb)
  8. solar/transfer-success: assert for all allowances before and after call (details / githubweb)
  9. solar/transfer-success: assert for all other balances before and after call. Full transfer-1-success. (details / githubweb)
  10. solar: refactored the script to use #mkCallShortcut (details / githubweb)
  11. solar: slightly generalized #assume, #assert, finished balanceOf-spec to be solar-compliant. (details / githubweb)
  12. solar: removed spec rule for #assert (details / githubweb)
  13. erc20/mainnet: fragments-solar: initial version, same as old fragments (details / githubweb)
  14. erc20/mainnet/kprove-erc20-group.mak - small parametrization to allow solar specs (details / githubweb)
  15. erc20/mainnet: infrastructure for solar, spec for balanceOf (details / githubweb)
  16. solar: all specs for transfer-* Non-collision lemmas not working yet. (details / githubweb)
  17. solar: all specs except transferFrom-* (details / githubweb)
  18. solar: cleanup duplicate code (details / githubweb)
  19. solar: transferFrom-success-1 (details / githubweb)
  20. solar: transferFrom-* . All specs ready. (details / githubweb)
  21. erc20/mainnet solar: full fragments defined (details / githubweb)
  22. erc20/solar: spec-tmpl.k fixes (details / githubweb)
  23. Jenkinsfile: stage ERC20 Mainnet Solar, disabled by default (details / githubweb)
  24. Jenkinsfile: added one mainnet-solar spec as test to stage('Mainnet Test') (details / githubweb)
  25. erc20/solar, erc20/mainnet/solar: migrated to updated KEVM proof.md, some syntax changes (details / githubweb)
  26. solar: switching to erc20/.build/.kevm.rev (details / githubweb)
  27. erc20/solar: Links to EVM-IMP-SPECS module fixed, fixes for latest KEVM. (details / githubweb)
  28. erc20/solar Makefile system: make it compatible with regular Java backend builds (details / githubweb)
  29. erc20/solar: final cleanup (details / githubweb)
  30. erc20/.kevm.rev: solar2 commit on master (details / githubweb)
Changes
  1. Changes to K frontend to support new C++ unparsing (#1287) (details / githubweb)
  2. Adding support for .md files (#1116) (details / githubweb)
  3. fix AddEmptyList for --bison-lists (#1298) (details / githubweb)
  4. Update dependency: haskell-backend/src/main/native/haskell-backend (#1301) (details / githubweb)
  5. A few minor features (#1304) (details / githubweb)
  6. Add missing simplification attributes in domains.k (#1305) (details / githubweb)
  7. Remove dead code from Outer.jj (#1307) (details / githubweb)
  8. Update dependency: haskell-backend/src/main/native/haskell-backend (#1306) (details / githubweb)
  9. Upstream symbolic integer reasoning (#1292) (details / githubweb)
  10. Update dependency: llvm-backend/src/main/native/llvm-backend (#1288) (details / githubweb)
  11. multiple hybrid sorts (#1309) (details / githubweb)
  12. free hook (#1311) (details / githubweb)
  13. Update dependency: haskell-backend/src/main/native/haskell-backend (#1308) (details / githubweb)
  14. llvm-backend/src/main/native/llvm-backend: 50ad83f - print tag when getTagForSymbolName fails (#341) (#1320) (details / githubweb)
  15. Catch circular subsort involving user defined list (#1316) (details / githubweb)
  16. Patch for Issue 1203 (#1209) (details / githubweb)
  17. Update dependency: haskell-backend/src/main/native/haskell-backend (#1317) (details / githubweb)
  18. kem exception static method (#1323) (details / githubweb)
  19. Update dependency: haskell-backend/src/main/native/haskell-backend (#1324) (details / githubweb)
  20. haskell-backend/src/main/native/haskell-backend: 42bc9d15 - TermLike: Remove externalizeFreshVariables (#1859) (#1325) (details / githubweb)
  21. Focal Fossa debian package (#1321) (details / githubweb)
  22. llvm-backend/src/main/native/llvm-backend: 3445892 - better error message from llvm backend (#342) (#1328) (details / githubweb)
  23. Warn if non-anonymous variable appears only once. (#1310) (details / githubweb)
  24. Update dependency: haskell-backend/src/main/native/haskell-backend (#1326) (details / githubweb)
  25. domains.k: #Ceil rules for padLeftBytes, padRightBytes (#1254) (details / githubweb)
  26. Kprove md (#1334) (details / githubweb)
  27. Update dependency: haskell-backend/src/main/native/haskell-backend (#1331) (details / githubweb)
  28. llvm-backend/src/main/native/llvm-backend: b7a4c73 - try to revert problematic part of commit (#344) (#1336) (details / githubweb)
  29. respect triangle equality in equality of terms in glr parser  (#1337) (details / githubweb)
  30. use latest version of jcommander (#1335) (details / githubweb)
  31. generalize strictness to multiple aliases (#1327) (details / githubweb)
  32. llvm-backend/src/main/native/llvm-backend: 58703d2 - Fix master build of K (#346) (#1343) (details / githubweb)
  33. Bump commons-collections4 from 4.0 to 4.1 in /kernel (#1344) (details / githubweb)
  34. update guava version (#1345) (details / githubweb)
  35. Updates to pyk library for processing rule merges (#1342) (details / githubweb)
  36. Warn if a symbol is declared but not used anywhere (#1340) (details / githubweb)
Changes
  1. Makefile refactors for global install and new sysroot (#801) (details / githubweb)
  2. Update dependency: deps/k (#799) (details / githubweb)
  3. replace libff/libsecp256k1 submodules with plugin versions (#797) (details / githubweb)
  4. deps/plugin: b8be203 - Update dependency: deps/k_release (#100) (#803) (details / githubweb)
  5. Use DockerHub images for CI (#785) (details / githubweb)
  6. Update dependency: deps/k (#802) (details / githubweb)
  7. Several changes to improve rebuildability/readability (#806) (details / githubweb)
  8. Update dependency: deps/k (#808) (details / githubweb)
  9. Switch to using native markdown support from K (#804) (details / githubweb)
  10. Combine argument processing of KEVM into one block (#811) (details / githubweb)
  11. Makefile: correct variable usages (#813) (details / githubweb)
  12. add backend skip parameter (#810) (details / githubweb)
  13. Update evm.md (#815) (details / githubweb)
  14. Enable haskell prover on storageRoot spec (#814) (details / githubweb)
  15. kevm: no need to fail if cannot find K installation (#816) (details / githubweb)
  16. Update dependency: deps/k (#809) (details / githubweb)
  17. Support deleting nodes from a merkle tree (#812) (details / githubweb)
  18. Update dependency: deps/plugin (#805) (details / githubweb)
  19. deps/plugin: 8991d7f - Add --dump-rpc option for getting RPC logs on web3 client (#106) (#820) (details / githubweb)
  20. Updates to web3 client (#822) (details / githubweb)
  21. Makefile: fix memory corruption issue with llvm backend update (#823) (details / githubweb)
  22. Jenkinsfile: auto-update deposit contract repo (#824) (details / githubweb)

Push event to branch master at 3:05:46 PM on Jun 16, 2020

Revision: ef542e81b9ee1c9b628382dd3df461b8d7a01dc7
  • master
Revision: a61af7e96e94e83485ada3f5ebaf22277f972cbb
  • refs/remotes/origin/master
Revision: ac5070c75e85e93c3927d1cb1549218dd2b39719
  • refs/remotes/origin/master