Sender | Message | Time |
---|---|---|
18 Dec 2017 | ||
sjm: sounds good. let's stay in touch. | 20:41:13 | |
👍 great work chaps | 20:45:58 | |
21 Dec 2017 | ||
12:41:56 | ||
24 Dec 2017 | ||
07:10:01 | ||
29 Dec 2017 | ||
00:08:09 | ||
5 Jan 2018 | ||
12:13:57 | ||
21 Jan 2018 | ||
Is this the equivalent of LLVM IR? https://github.com/runtimeverification/iele-semantics/blob/master/iele-examples/erc20.iele | 18:56:26 | |
If so does this IR have similar properties as that of webassembly, in that it's completely portable? | 18:57:33 | |
22 Jan 2018 | ||
That is the textual representation of a iele contract. It assembles into a format that will in the future be executed by the Cardano blockchain. Its behavior when called is completely deterministic and does not depend on the specs of the computer running the code. Does that answer your question? | 17:08:56 | |
25 Jan 2018 | ||
16:38:24 | ||
When following the instructions in INSTALL.md , the last make command fails with | 16:38:29 | |
16:38:48 | ||
== kompile: .build/rvk/ethereum-kompiled/interpreter tests/ci/rv-k/k-distribution/target/release/k/bin/kompile --debug --main-module ETHEREUM-SIMULATION \ --syntax-module IELE-SYNTAX .build/rvk/ethereum.k --directory .build/rvk \ --hook-namespaces KRYPTO --gen-ml-only -O3 --non-strict /tmp/tmp-kompile-3368781429881838545.l:8611: warning, rule cannot be matched /tmp/tmp-kompile-6690750962456022966.l:23824: warning, rule cannot be matched 40 states, 1247 transitions, table size 5228 bytes ocamlfind opt -c .build/rvk/ethereum-kompiled/constants.ml -package gmp -package zarith ocamlfind opt -c -I .build/rvk/ethereum-kompiled KRYPTO.ml -package cryptokit -package secp256k1 -package bn128 ocamlfind opt -a -o semantics.cmxa KRYPTO.cmx ocamlfind remove iele-semantics-plugin Removed /home/johan/.opam/4.03.0+k/lib/iele-semantics-plugin/META Removed /home/johan/.opam/4.03.0+k/lib/iele-semantics-plugin ocamlfind install iele-semantics-plugin META semantics.cmxa semantics.a KRYPTO.cmi KRYPTO.cmx Installed /home/johan/.opam/4.03.0+k/lib/iele-semantics-plugin/KRYPTO.cmx Installed /home/johan/.opam/4.03.0+k/lib/iele-semantics-plugin/KRYPTO.cmi Installed /home/johan/.opam/4.03.0+k/lib/iele-semantics-plugin/semantics.a Installed /home/johan/.opam/4.03.0+k/lib/iele-semantics-plugin/semantics.cmxa Installed /home/johan/.opam/4.03.0+k/lib/iele-semantics-plugin/META tests/ci/rv-k/k-distribution/target/release/k/bin/kompile --debug --main-module ETHEREUM-SIMULATION \ --syntax-module IELE-SYNTAX .build/rvk/ethereum.k --directory .build/rvk \ --hook-namespaces KRYPTO --packages iele-semantics-plugin -O3 --non-strict /tmp/tmp-kompile-2644832360223680173.l:8611: warning, rule cannot be matched /tmp/tmp-kompile-4648644375054646150.l:23824: warning, rule cannot be matched 40 states, 1247 transitions, table size 5228 bytes File "realdef.ml", line 1: Error: The files prelude.cmi and /home/johan/.opam/4.03.0+k/lib/iele-semantics-plugin/KRYPTO.cmi make inconsistent assumptions over interface Constants org.kframework.utils.errorsystem.KEMException: [Error] Critical: ocamlopt returned nonzero exit code: 2 Examine output to see errors. at org.kframework.utils.errorsystem.KEMException.create(KEMException.java:113) at org.kframework.utils.errorsystem.KEMException.criticalError(KEMException.java:30) at org.kframework.backend.ocaml.OcamlBackend.accept(OcamlBackend.java:110) at org.kframework.kompile.KompileFrontEnd.run(KompileFrontEnd.java:71) at org.kframework.main.FrontEnd.main(FrontEnd.java:52) at org.kframework.main.Main.runApplication(Main.java:113) at org.kframework.main.Main.runApplication(Main.java:103) at org.kframework.main.Main.main(Main.java:52) [Error] Critical: ocamlopt returned nonzero exit code: 2 Examine output to see errors. Makefile:111: recipe for target '.build/rvk/ethereum-kompiled/interpreter' failed make: * [.build/rvk/ethereum-kompiled/interpreter] Error 113 | 16:38:49 | |
Can you please run `make clean; ocamlfind remove iele-semantics-plugin; make` and let me know if the problem recurs? | 17:07:48 | |
Unfortunately the error remains. I checked to make sure the remove command did delete ~/.opam/4.03.0+k/lib/iele-semantics-plugin/KRYPTO.cmi . | 17:18:47 | |
can you please try checking out the `install` branch and then rebuilding everything and let me know if you still have the problem? | 18:20:48 | |
if that works I will merge those changes into the master branch, but I can't reproduce on my own so I'd like you to test first | 18:21:11 | |
The changes in the install branch fixed the error. Thank you for your help. | 18:33:25 | |
27 Jan 2018 | ||
03:32:40 | ||
18:50:55 | ||
19 Feb 2018 | ||
02:19:16 | ||
15 Mar 2018 | ||
00:25:00 | ||
Hello - I've spend some time looking at IELE - seems pretty solid :) Can I ask you - is this a project that is 'dedicated' to Cardano blockchain ? Or is the idea that other chains will pick this up ? | 00:26:36 | |
16 Mar 2018 | ||
Hi matekdk . No, IELE is not dedicated to Cardano. But Cardano will likely be the first blockchain to adopt it. Note that IOHK funded the entire IELE project. We'd be glad to see IELE deployed on more blockchains in the future, though. | 02:59:49 | |
Grigore: Cool - is there a specific person I should contact in that regard ? For possible biz-inquiries also - in regards to needed tweaks to iele. | 13:25:40 | |
matekdk: you can always contact dwight.guth, @brandon.moore, @theo.kasampalis and myself (see https://runtimeverification.com/team/). We'd like to know what you plan to do with it. | 15:09:08 | |
Grigore: Thanx - you guys will receive en email from me later. | 18:33:35 | |
27 Mar 2018 | ||
01:47:10 | ||
will a c++ blockchain work with iele? | 02:04:52 | |
iele seems like a great project. I really am glad to see the industry moving away from ethereum dependence such as EVM. | 02:06:21 |