Zhen Zhang

Handle ARROW_FUNCTION in visitFunctionNode

8

For example: ```js var https=require('https'); https.get({}, (r)=>{}); // AST: v21 = dispatch v20:#get@18 v10,v22,v17:#null ``` But for: ```js var https=require('https'); // AST: v21 = construct v24@16 v23:#example.js@42 exception:v2example.js [28->58] (line...

select-flatmap synthesis is slow

5

https://github.com/CozySynthesizer/cozy/blob/master/examples/select-flatmap.ds

... which is faster than sum(map(xs, lambda _: 1)) Test: ``` cd examples cozy intset.ds --c++ intset.hpp -t 30 cozy intset.ds --java Intset.java -t 30 cozy intset.ds --ruby intset.rb -t...

Use less state-full design for collecting metrics

2

discussion started in https://github.com/CozySynthesizer/cozy/pull/93

Related discussion: https://github.com/CozySynthesizer/cozy/pull/109#issuecomment-542810892 - [ ] Stricter checking for "redundant" context variables https://github.com/CozySynthesizer/cozy/pull/109#discussion_r361256285 - [ ] Explain why `tests/random_assgnment.py` works with empty context created by `init_solver`, and use a proper...

In https://github.com/CozySynthesizer/cozy/commit/7d932b6dcb2813725bb8c1d42c34a869a4a2b6b6 The following lines seem wrong: def rep_type(self, t : Type) -> Type: assert isinstance(t, TMinTreeMultiset) or isinstance(t, TMaxTreeMultiset), repr(t) return TTreeMultiset(t.elem_type) - Reproduction case: #109 the easy synth...

Failed codegen: EMapKeys

6

https://gist.github.com/izgzhen/2b35cb49b2347e18ec48f9b5aa1fc545 ``` Traceback (most recent call last): File "/home/zgzhen/anaconda3/bin/cozy", line 11, in load_entry_point('cozy', 'console_scripts', 'cozy')() File "/home/zgzhen/projects/cozy/cozy/main.py", line 188, in run codegen.CxxPrinter(out=out, use_qhash=args.use_qhash).visit(impl, state_map, share_info, abstract_state=ast.spec.statevars) File "/home/zgzhen/projects/cozy/cozy/common.py", line 281,...

Fix examples

3

Currently, there are a lot of examples that failed cozy, which is a regression. See commented ones in `test_examples.sh`. - [ ] ztopo-cache - [ ] nonscalar-tuple - [ ]...

Use mini-os as the Xen layer

1

This is not proposed by me but by @acw , but I have investigated into it a bit. Discussion or correction is welcomed. My current conclusion is we can't use...

XSM permissions error

2

The information is like below, a lot other can run, but not this. ``` sudo xl create DomainInfo.config -c Parsing config from DomainInfo.config XSM Disabled: seclabel not supported Daemon running...