Sergey Mechtaev

[Earthly](https://earthly.dev/) is a CI/CD framework that allows you to develop pipelines locally and run them anywhere. Earthly leverages containers for the execution of pipelines. This makes them self-contained, repeatable, portable...

Thanks, we plan to update it. Currently, Angelix uses old llvm with llvm-gcc. To update KLEE, we also have to switch to newer llvm and use wllvm instead.

I will add this in some form in the version 2.0. Sergey Mechtaev National University of Singapore www.comp.nus.edu.sg/~mechtaev/ On Tue, Apr 24, 2018 at 2:08 AM, Xiao Liang wrote: >...

Hi Boyang, Thank you for pointing this out. I will remove -j2 from the Dockerfile. I think the crash might be due to insufficient memory, because linking Clang uses quite...

Thanks, added in [73d7205](https://github.com/program-repair/program-repair.github.io/commit/73d7205721865e90fe744b93ba8024c25a567096)

Need to fix URL

From @yannicnoller's comments > Name: HIPPODROME > One line description: statically detects and fixes data race conditions for small to large scale Java programs > Target: Java > DBPL key:...

Thanks, will add when it appears in DBLP

Currently, there is no way to add publications that are not on DBLP, but we will think about relaxing this rule.

Thanks! Have you run the build script, or modified it manually? This page is automatically generated