Comments (2)
Lines 168 to 182 in f5cae83
This part seems to have the same problem.
Also I think we can update mutate instructions during analysing or cache some results? There are some redundant work.
from wybe.
You're right, that's wrong. Analysis of each fork should begin from the same initial analysis (whatever analysis resulted from the preceding code). At the end of the analysis of a body, if the final analysis of the whole proc is needed, it should be the lattice least upper bound (ie, the most conservative approximation) of the results of all the branches, projected onto the proc parameters.
from wybe.
Related Issues (20)
- Implement escape analysis and use the results to turn heap allocations into stack allocations HOT 2
- Implement structure inlining
- Branch constant factoring
- Add an inverse `use` block HOT 9
- Allow `where` clauses in case labels
- Improve the foreign interface by allowing for foreign functions to be declared HOT 2
- Allow for a failing test to automatically raise an error HOT 3
- Allow specific constructors for a type to be defined as public HOT 2
- Allow for a type to be defined as `readonly` HOT 1
- Syntax error with top-level disjunction HOT 3
- Incorporate parameter information in global flows HOT 4
- `save-state` usage warning in CI HOT 2
- Add support for anonymous functions as a syntax sugar for an anonymous proc HOT 5
- Upgrade LLVM version HOT 1
- Develop a secure, version-aware package and build system
- GC-free automatic memory management HOT 3
- Support generators HOT 2
- Allow a HO type to specify that the value will be called at least once or exactly once
- Issue where outputs arent assigned in a factored proc HOT 1
- The wybmk -n (--no-fonts) flag doesn't turn off fonts in error messages HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from wybe.