| 28 Jun 2024 |
|  David | W3F - OOO until 6 Jan changed their display name from David | W3F to David | W3F - OOO (sick). | 06:20:09 |
| 1 Jul 2024 |
| David | W3F - OOO until 6 Jan changed their display name from David | W3F - OOO (sick) to David | W3F. | 06:34:02 |
| 3 Jul 2024 |
| David | W3F - OOO until 6 Jan changed their display name from David | W3F to David | W3F - OOO July 8. | 11:08:02 |
| 8 Jul 2024 |
| David | W3F - OOO until 6 Jan changed their display name from David | W3F - OOO July 8 to David | W3F. | 06:49:49 |
| 20 Jul 2024 |
|  snowflake100 joined the room. | 00:26:54 |
|  anony543 joined the room. | 02:17:09 |
| snowflake100 | Hi, I am new to the K framework and would like to understand better how to generate a compiler for a language with a formal semantics in K, such as is suggested by this diagram from https://runtimeverification.com/blog/k-framework-an-overview
Are there any good tutorials which cover generating a compiler? Or example repos?
Thanks. | 02:38:36 |
| snowflake100 | 
Download ima_a8f61ed.png | 02:38:45 |
| 3 Aug 2024 |
| David | W3F - OOO until 6 Jan changed their display name from David | W3F to David | W3F - OOO until 19.8. | 06:05:42 |
| 17 Aug 2024 |
|  zwx13 joined the room. | 07:51:30 |
| 18 Aug 2024 |
| David | W3F - OOO until 6 Jan changed their display name from David | W3F - OOO until 19.8 to David | W3F. | 14:13:32 |
| 22 Aug 2024 |
|  赵玉成 joined the room. | 11:04:55 |
|  marsbwu joined the room. | 11:25:57 |
| 赵玉成 | 
Download image.png | 11:31:48 |
| 赵玉成 | When building K with Maven and following the LLVM installation documentation, an error occurred during make -j$(nproc) install, as mentioned above. | 11:33:30 |
| 赵玉成 | I recall that discussions used to take place on Discord. May I ask if there are any similar communities available for such discussions currently | 11:40:15 |
 ehildenb | I think Discord is definitely more active right now. | 14:43:18 |
| ehildenb | My initial impression of your message above is that maybe incorrect compiler version? But not sure honestly. | 14:43:45 |
| ehildenb | But here is a Discord link: https://discord.gg/KDu47XBT | 14:43:49 |
|  @hjort:matrix.org left the room. | 14:52:00 |
| 2 Sep 2024 |
|  mehmetoguzderin changed their profile picture. | 02:46:34 |
| 3 Oct 2024 |
| David | W3F - OOO until 6 Jan changed their display name from David | W3F to David | W3F - OOO. | 06:37:37 |
| 4 Oct 2024 |
| David | W3F - OOO until 6 Jan changed their display name from David | W3F - OOO to David | W3F. | 05:36:05 |
| 14 Oct 2024 |
|  extio1 joined the room. | 07:16:28 |
| extio1 | Hello everyone! I didnt managed to install from github sources K framework of some version before changing of MInt to parametric. I want to launch x86-64 haswell definition and it demands such version. Yeah, It work with release version of K 5.0.0, for instance, but I really need to have K sources in the same time. Please help someone! =) | 07:20:21 |
| extio1 | * Hello everyone! I didnt managed to install from github sources K framework of some version before changing of MInt to parametric. I want to launch x86-64 haswell definition and it demands such version. Yeah, It work with release version of K 5.0.0, for instance, but I really need to have K sources at the same time. Please help someone! =) | 07:20:55 |
| extio1 | the problem of building old K framework is that maven cant fetch all dependencies from remote repository, as I understand. I had been trying to change these links in pom.xml to the newer ones, but they dont have demanding dependecies | 13:08:25 |
| 22 Oct 2024 |
|  @giomasce:matrix.org left the room. | 13:54:35 |
| 8 Nov 2024 |
|  finlifin joined the room. | 19:33:56 |
| 9 Nov 2024 |
| finlifin | hey guys, i would like to know if it is possible to generate a verifier from the k framework | 08:18:58 |
