Chen

少了个字母，强迫症犯了修一下

feat: add contents about env setup on macOS

3

添加了macOS下实验环境的安装指南，已在M1 pro MacBook Pro 与 x86_64 MacBook Pro 下做过验证，均可通过 make testx 的测试。

Question about A2 (ConstProp) - Shadowed by another constant or NAC ?

1

In the test case Assign, analyzing the following code in function Assign.assign(): ``` void assign() { int x = 1, y; x = 2; x = 3; x = 4;...

Hi @amoeller , I have done some work on supporting builtin modules of Node.js using an approach of mock as what you have taught me at last meeting. I'm not...

Feature request: support access paths for Node.js builtin modules (standard library)

1

I need the feature to recognize and analyze calls to Node standard library while Jelly does not support it yet. ### My planning solution: 1. Download the source code of...

I'm using MacBook Pro (M1 Pro 2021) My keyboard is like the picture below: When I'm running the example `cargo run --example listen`, I found some some function keys does...

I defined a rule named `end_node(X)` meaning no out degrees in a graph. ```pl 0.4::edge(1,2). 0.6::edge(2,3). 0.3::edge(3,1). 0.9::edge(3,4). 0.5::edge(1,3). node(X) :- edge(X,_). node(X) :- edge(_,X). end_node(X) :- node(X), not edge(X,...