| 15 Dec 2017 |
 atlas.ng | I just thought I would check it out | 16:21:32 |
| atlas.ng | its very exciting what you are doing | 16:21:43 |
| atlas.ng | I'd like to look into getting involved with building apps on the cardano platform in the near future | 16:26:25 |
| 16 Dec 2017 |
 Grigore | atlas.ng: thanks for your enthusiasm for IELE. You should likely also get in touch with the Cardano community for that. We help with the development of their new VM, but note that we != Cardano. | 05:06:41 |
| Grigore set their display name to Grigore. | 17:38:40 |
| Grigore set a profile picture. | 17:38:50 |
| 18 Dec 2017 |
|  ydna joined the room. | 10:02:52 |
| ydna | where can we buy jt | 10:03:31 |
|  markc0311 joined the room. | 12:27:49 |
| Room Avatar Renderer. | 19:44:45 |
|  sjm joined the room. | 20:08:07 |
| 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 |
|  johan andries (Gitter) joined the room. | 16:38:24 |
| johan andries (Gitter) | When following the instructions in INSTALL.md, the last make command fails with | 16:38:29 |
| johan andries (Gitter) changed their display name from gitter_johan_andries_twitter to johan andries (Gitter). | 16:38:48 |
