Up
collapse
0%
WDescription%
Build stability: All recent builds failed.0
Build History
x
 
 
 
 
 
 
 
 
 

Changes

#91 (May 21, 2020 3:54:03 PM)

  1. Update dependency: llvm-backend/src/main/native/llvm-backend (#1173) — noreply / githubweb
  2. Update dependency: haskell-backend/src/main/native/haskell-backend (#1170) — noreply / githubweb
  3. Concrete haskell (#1174) — noreply / githubweb
  4. llvm-backend/src/main/native/llvm-backend: update submodule (#1179) — noreply / githubweb
  5. Fix for NullPointerException involving missing main module in spec imports (#1177) — noreply / githubweb
  6. Update dependency: haskell-backend/src/main/native/haskell-backend (#1176) — noreply / githubweb
  7. Fix crash when syntax module imports DOMAINS-SYNTAX but not FLOAT (#1178) — noreply / githubweb
  8. Rename package for inner parser (#1180) — noreply / githubweb
  9. Update dependency: haskell-backend/src/main/native/haskell-backend (#1181) — noreply / githubweb
  10. Excluding simplification rules when computing owise patterns (#1182) — noreply / githubweb
  11. pom.xml: Use project.build.type=FastBuild for K packaging (#1185) — noreply / githubweb
  12. Pyk updates and bugfixes (#1064) — noreply / githubweb
  13. Update dependency: haskell-backend/src/main/native/haskell-backend (#1187) — noreply / githubweb
  14. Refactor KVAR module (#1191) — noreply / githubweb
  15. make sure there is a project:K function (#1192) — noreply / githubweb
  16. kompile flag to emit definition into a single file (#1183) — noreply / githubweb
  17. Update dependency: haskell-backend/src/main/native/haskell-backend (#1189) — noreply / githubweb
  18. haskell-backend/src/main/native/haskell-backend: update submodule (#1194) — noreply / githubweb
  19. Symbolic implementation of ==K for Haskell backend (#1196) — noreply / githubweb
  20. Update dependency: haskell-backend/src/main/native/haskell-backend (#1195) — noreply / githubweb
  21. llvm-backend/src/main/native/llvm-backend: update submodule (#1197) — noreply / githubweb
  22. Update dependency: haskell-backend/src/main/native/haskell-backend (#1198) — noreply / githubweb
  23. Update dependency: haskell-backend/src/main/native/haskell-backend (#1204) — noreply / githubweb
  24. fix bug where token 0 must be end of file (#1205) — noreply / githubweb
  25. llvm-backend/src/main/native/llvm-backend: update submodule (#1207) — noreply / githubweb
  26. Update dependency: haskell-backend/src/main/native/haskell-backend (#1208) — noreply / githubweb
  27. Cell maps ceil rules (#1202) — noreply / githubweb
  28. Update dependency: llvm-backend/src/main/native/llvm-backend (#1212) — noreply / githubweb
  29. Update dependency: haskell-backend/src/main/native/haskell-backend (#1210) — noreply / githubweb
  30. Follow up to PR #1202 (#1213) — noreply / githubweb
  31. Update dependency: haskell-backend/src/main/native/haskell-backend (#1214) — noreply / githubweb
  32. LLVM backend unparser changes in K frontend (#1211) — noreply / githubweb
  33. Update dependency: haskell-backend/src/main/native/haskell-backend (#1215) — noreply / githubweb
  34. java-backend: fix SMT translation of [smt-lemma] rules with requires (#1218) — noreply / githubweb
  35. Revert "Symbolic implementation of ==K for Haskell backend (#1196)" (#1222) — noreply / githubweb
  36. Jenkinsfile: timeout on initial build step (#1219) — noreply / githubweb
  37. add new hook names for crypto hooks (#1216) — noreply / githubweb
  38. Jenkinsfile: auto-update Michelson semantics (#1224) — noreply / githubweb
  39. performance improvements to prover frontend (#1217) — noreply / githubweb
  40. Jenkinsfile/Dockerfile formatting (#1226) — noreply / githubweb
  41. Update the test "cell-sort" to use Map (#1206) — noreply / githubweb
  42. Update dependency: haskell-backend/src/main/native/haskell-backend (#1220) — noreply / githubweb
  43. llvm-backend/src/main/native/llvm-backend: update submodule (#1230) — noreply / githubweb
  44. Brew staging commit [brew-staging: update-test-release] (#1231) — noreply / githubweb
  45. Revert #1213 (#1233) — noreply / githubweb
  46. Jenkinsfile: use RELEASE_TAG job instead of RELEASE_URL (#1236) — noreply / githubweb
  47. Simpler Dockerfile, per-distro packaging Dockerfiles (#1238) — noreply / githubweb
  48. java-backend: support SMTLIB translation for KVar binders (#1237) — noreply / githubweb
  49. Better debugging support (#1229) — noreply / githubweb
  50. Update dependency: haskell-backend/src/main/native/haskell-backend (#1232) — noreply / githubweb
  51. add a proof example for arrays (#1242) — noreply / githubweb
  52. fix smtlib-forall tests to use smt-hook (#1244) — noreply / githubweb
  53. Packaging subdirectory [brew-staging: directory-change] (#1227) — noreply / githubweb
  54. Update dependency: haskell-backend/src/main/native/haskell-backend (#1240) — noreply / githubweb
  55. Codeowners on Jenkinsfile (#1246) — noreply / githubweb
  56. Update dependency: haskell-backend/src/main/native/haskell-backend (#1245) — noreply / githubweb
  57. Dockerhub images (#1228) — noreply / githubweb
  58. java-backend: improve smt query log formatting (#1248) — noreply / githubweb
  59. Jenkinsfile: only update submodules on releases (#1249) — noreply / githubweb
  60. llvm-backend/src/main/native/llvm-backend: fa4c44f - fix non-exhaustiveness bug (#324) (#1253) — noreply / githubweb
  61. Fixes to published docker images to make useful for CI (#1250) — noreply / githubweb
  62. haskell-backend/src/main/native/haskell-backend: b3c17111 - Fix sorting bugs around RulePattern (#1787) (#1251) — noreply / githubweb
  63. llvm-backend/src/main/native/llvm-backend: bdbe264 - kprint test (#325) (#1255) — noreply / githubweb
  64. GLR Bison parser (#1247) — noreply / githubweb
  65. llvm-backend/src/main/native/llvm-backend: 67eaacc - add SET.union hook (#327) (#1258) — noreply / githubweb
  66. Update dependency: haskell-backend/src/main/native/haskell-backend (#1261) — noreply / githubweb
  67. llvm-backend/src/main/native/llvm-backend: dbe669b - Fix regression in wasm semantics (#328) (#1267) — noreply / githubweb
  68. Jenkinsfile: add c-semantics to auto-updated repos (#1265) — noreply / githubweb
  69. Update dependency: haskell-backend/src/main/native/haskell-backend (#1266) — noreply / githubweb
  70. Support priority attribute in macros (#1268) — noreply / githubweb
  71. Update dependency: haskell-backend/src/main/native/haskell-backend (#1270) — noreply / githubweb
  72. Add more support for Bison and add documentation (#1259) — noreply / githubweb
  73. Move syntax generation kompile passes earlier (#1276) — noreply / githubweb
  74. don't import sort predicates and projections in program parser module (#1275) — noreply / githubweb
  75. Check for illegal function in lhs after applying macros (#1269) — noreply / githubweb
  76. Update dependency: haskell-backend/src/main/native/haskell-backend (#1274) — noreply / githubweb
  77. llvm-backend/src/main/native/llvm-backend: d5bae6e - Important GC optimization (#333) (#1280) — noreply / githubweb
  78. Update dependency: haskell-backend/src/main/native/haskell-backend (#1283) — noreply / githubweb
  79. Simplify handling #Ceil(_Map_) (#1225) — noreply / githubweb
  80. haskell-backend/src/main/native/haskell-backend: 0535db9f - Warn when a total function is \bottom (#1803) (#1290) — noreply / githubweb
  81. Jenkinsfile: auto-update release tag file in blockchain-k-plugin (#1286) — noreply / githubweb
  82. haskell-backend/pom.xml: compatibility with Windows WSL2 (#1284) — noreply / githubweb
  83. Update dependency: haskell-backend/src/main/native/haskell-backend (#1291) — noreply / githubweb
  84. Update dependency: haskell-backend/src/main/native/haskell-backend (#1294) — noreply / githubweb
  85. Reorganize K distribution to remove dependence on /usr/lib/kframework sysroot [brew-staging: reorg] (#1272) — noreply / githubweb
  86. Update dependency: haskell-backend/src/main/native/haskell-backend (#1297) — noreply / githubweb

#91 (May 21, 2020 3:54:03 PM)

  1. Use pipes instead of a socket for communication with plugin (#755) — noreply / githubweb
  2. Simplification rules for bool2Word (#758) — noreply / githubweb
  3. Update dependency: deps/k (#752) — noreply / githubweb
  4. Update dependency: deps/k (#759) — noreply / githubweb
  5. Update dependency: deps/k (#760) — noreply / githubweb
  6. Fix a couple of bugs (#762) — noreply / githubweb
  7. Haskell concrete lemmas (#763) — noreply / githubweb
  8. Add lemmas needed by the Haskell backend (#733) — noreply / githubweb
  9. Add back Jello Paper deploy (#764) — noreply / githubweb
  10. Update dependency: deps/k (#761) — noreply / githubweb
  11. Refactor `finishTX` in Web3  (#766) — noreply / githubweb
  12. New slow lists (#765) — noreply / githubweb
  13. Implement firefly_setGasPrice (#767) — noreply / githubweb
  14. Update repository layout in README.md (#770) — noreply / githubweb
  15. Update dependency: deps/k (#768) — noreply / githubweb
  16. Implement firefly_setNetworkId web3 method (#773) — noreply / githubweb
  17. Update <blockhashes> in web3 (#771) — noreply / githubweb
  18. Fix side effects from failed sendRawTransaction (#775) — noreply / githubweb
  19. Make `#range` and `_[_.._]` total on Bytes builds (#777) — noreply / githubweb
  20. Update dependency: deps/k (#772) — noreply / githubweb
  21. Handle alternate transaction signatures (#776) — noreply / githubweb
  22. kevm: add -p and -h options (#780) — noreply / githubweb
  23. deps/k: cdc484531 - Better debugging support (#1229) (#779) — noreply / githubweb
  24. Update dependency: deps/plugin (#781) — noreply / githubweb
  25. loadTransaction: Ignore fields that aren't part of the web3 spec (#778) — noreply / githubweb
  26. Update dependency: deps/k (#782) — noreply / githubweb
  27. Update dependency: deps/k (#784) — noreply / githubweb
  28. Remove node build from semantics (#786) — noreply / githubweb
  29. Update dependency: deps/k (#787) — noreply / githubweb
  30. Update dependency: deps/plugin (#789) — noreply / githubweb
  31. Improve timestamp updates (#783) — noreply / githubweb
  32. Update requirements info in README. (#791) — noreply / githubweb
  33. Helper changes for symbolic testing (#769) — noreply / githubweb
  34. Update dependency: deps/k (#790) — noreply / githubweb
  35. Unit test for failing Arbitrum `eth_call` (#754) — noreply / githubweb
  36. deps/plugin: 1081ab8 - Kframework dockerfile (#97) (#795) — noreply / githubweb
  37. edsl: #Ceil(#buf) rule simplified to use #rangeBytes (#794) — noreply / githubweb