| 18 Dec 2017 |
 sjm | Greetings chaps, exciting work on IELE. Is there an approximate time line on deployment into Cardano? 1 year? | 20:09:38 |
| sjm | testing, seems my previous message was deleted. | 20:10:41 |
| sjm | Understood that RV != Cardano, I think it's a perfectly valid question to understand an approximate idea on when IELE is completed. | 20:13:01 |
| sjm | (ah! my messages are getting through, reloading the channel updated the interface with the latest state) | 20:15:31 |
 Grigore | Thanks sjm . I believe we'd like to deploy IELE in Cardano in less than 1 year, hopefully in 6 months or so. | 20:33:37 |
| Grigore | But it is ultimately IOHK's decision | 20:34:03 |
| sjm | I see, so the primary deliverable at this stage is the efficient backend? Then some integration to'ing and fro'ing with IOHK. Yeah okay so a year give or take. Thanks for your help Grigore, see I'm planning on building on IELE but have to synch some critical path components (as best a possible) to be ready for IELE. | 20:40:02 |
| Grigore | sjm: sounds good. let's stay in touch. | 20:41:13 |
| sjm | 👍 great work chaps | 20:45:58 |
| 21 Dec 2017 |
|  jurajselep | simplestaking.com joined the room. | 12:41:56 |
| 24 Dec 2017 |
|  ethme joined the room. | 07:10:01 |
| 29 Dec 2017 |
|  bzula joined the room. | 00:08:09 |
| 5 Jan 2018 |
|  lgasior joined the room. | 12:13:57 |
| 21 Jan 2018 |
| sjm | Is this the equivalent of LLVM IR? https://github.com/runtimeverification/iele-semantics/blob/master/iele-examples/erc20.iele | 18:56:26 |
| sjm | If so does this IR have similar properties as that of webassembly, in that it's completely portable? | 18:57:33 |
| 22 Jan 2018 |
 dwight.guth | 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 |
|  @gitter_johan_andries_twitter:matrix.org joined the room. | 16:38:24 |
| @gitter_johan_andries_twitter:matrix.org | When following the instructions in INSTALL.md, the last make command fails with | 16:38:29 |
| @gitter_johan_andries_twitter:matrix.org changed their display name from gitter_johan_andries_twitter to johan andries (Gitter). | 16:38:48 |
| @gitter_johan_andries_twitter:matrix.org | == 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 |
| dwight.guth | Can you please run `make clean; ocamlfind remove iele-semantics-plugin; make` and let me know if the problem recurs? | 17:07:48 |
| @gitter_johan_andries_twitter:matrix.org | 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 |
| dwight.guth | 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 |
| dwight.guth | 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 |
| @gitter_johan_andries_twitter:matrix.org | The changes in the install branch fixed the error. Thank you for your help. | 18:33:25 |
| 27 Jan 2018 |
|  ryan_stock joined the room. | 03:32:40 |
|  hatter6822 joined the room. | 18:50:55 |
| 19 Feb 2018 |
|  stakehub.io joined the room. | 02:19:16 |
| 15 Mar 2018 |
|  matekdk joined the room. | 00:25:00 |
| matekdk | 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 |
