Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Semi persistant merge rebase #129

Merged
merged 32 commits into from
Jun 22, 2020
Merged

Semi persistant merge rebase #129

merged 32 commits into from
Jun 22, 2020

Conversation

jeromesimeon
Copy link
Member

@jeromesimeon jeromesimeon commented Jun 19, 2020 •
edited
Loading

  • New semi-persistent JS runtime
  • Compile away most of the constants in ImpEJson expressions
  • Several bug fixes in run time
  • Move ImpFor to ImpForRange into imp rewriting/optim

mandel and others added 30 commits June 19, 2020 11:17
@mandel @jeromesimeon
WIP: orrectness of compilation of for
585905b
@mandel @jeromesimeon
Use a runtime operator to iterate over a collection instead of a loop.
f730fed
@jeromesimeon
fix(imp) Resurrect correctness proof from ImpData to ImpEJson
a987337 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
Some initial module to translate EJson arrays to objects with an arra…
bf77948 
…y+length

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
Add an (empty) optimization phase for imp_ejson
d5ab90e 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
Fixes pre-proofs in EJsonRewrite so they compile
8ad31c3 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
For-range rewrite moved to EJson optimization, use it as the EJson op…
1a86e6a 
…timization pass

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
refactor(imp) Move min/max from operators to runtime + fixes to lambd…
3b4a49c 
…a nra parser

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
refactor(imp) Move array operators to runtime
79ae10c 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
feature(JS) Add operations to box/unbox collections in JS execution
f1857b2 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
fix(runtime) bugs in JS and Java runtimes for mean over nat
60d3749 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
feature(impjson) Compile complex JSON constants in ImpEJson to atomic…
f644464 
… values+expressions

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@mandel @jeromesimeon
Switch to a semi-persistant runtime
840a3a0
@mandel @jeromesimeon
Use collLength instead of .length
d2e8deb
@mandel @jeromesimeon
Robust to boxing of brands and inheritance.
0955b7f
@jeromesimeon
fix(CLI) Properly throw error on failure in Node.js CLI
de8cfdd 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
Fix to JS runner
b0fecfb 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
Various fixes to the new JS runtime
b24fa93 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@mandel @jeromesimeon
Avoid a copy in the runtime
bcd2c62
@jeromesimeon
fix(Runtime) Fixes new JS runtime for nth, groupby and sort
6010ba4 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@mandel @jeromesimeon
Optimize BagNth
ff09d65
@mandel @jeromesimeon
Either optimization.
187e90e
@shinnar @jeromesimeon
finish the proof of tenvnth0_bag_arrow
ff349c9
@mandel @jeromesimeon
More either optimizations
23afd25
@mandel @jeromesimeon
NNRC optimizations (WIP).
63d2a3d
@jeromesimeon
refactor(models) make sure EJson modules do not depend on anything in…
2138a25 
… Data

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
rewrite(nnrc) prove a few of the new NNRC rewrites
fa30ba0 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
rewrite(nnrc) prove remaining new NNRC rewrites
ff38574 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
@jeromesimeon
Fix some admits
1afccc1
@jeromesimeon
fix(proof) Remove broken/unused proof for NRAenv
3dcda45 
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
houssem and others added 2 commits June 19, 2020 11:18
@jeromesimeon jeromesimeon merged commit 4f6ef5c into querycert:master Jun 22, 2020
@jeromesimeon jeromesimeon deleted the semi-persistant-merge-rebase branch June 22, 2020 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@jeromesimeon @mandel @shinnar