Comments (1)
Encoding pre- and postconditions in the compiler passes to understand what they require or produce has been a longstanding goal iirc. (cc'ing @jnfoster).
The problem is just the effort it requires. We need to understand what we expect or require from each pass and, even if we just start with basic ones (e.g., type-checking, constant-folding), it can be tedious. I unfortunately do not have the cycles to work on something like this.
from p4c.
Related Issues (20)
- ordered_map<cstring, ...> fiasko HOT 6
- Overloading rejected & lookup using `ResolutionContext` fails in frontend HOT 5
- Make it possible to compile P4C without P4-14 support HOT 2
- Update the dependencies list in README & what platforms do we want to support HOT 1
- Add information to SourceInfo whether it was created from a system file.
- Investigate replacements for boost Format for diagnostics HOT 1
- What is the reason that identifiers declared with `const` are not compile-time known values? HOT 1
- Compiler does not implicitly calculate priorities and does not allow explicit priorities for `const entries` HOT 8
- "Compiler Bug: out_1.p4(118): year;: expected a method call" HOT 5
- Is it intentional that two of the three figures on P4 docs home page link to the same place? HOT 3
- Broken links in the generated P4 docs HOT 5
- Broken links in the P4C generated docs #2 HOT 4
- Improve docs on using doxygen to generate p4c documentation HOT 1
- `ComputeWriteSet` does not properly maintain the calling context HOT 1
- Error message for missing declaration in for loops is confusing.
- Reduce type checking overhead HOT 5
- Variant error while compiling
- Seeing test failures for several p4c test programs including test err/testdata/p4_16_errors/constructor3_e.p4 HOT 3
- Broken links on P4C docs page on P4Smith HOT 4
- Consider a CI/CD test run for DEBUG p4c build, instead of RELEASE HOT 4
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 p4c.