sukrutrao / intervalai Goto Github PK
View Code? Open in Web Editor NEWAn abstract interpreter for an integer interval domain supporting basic operations for simple C programs
License: MIT License
An abstract interpreter for an integer interval domain supporting basic operations for simple C programs
License: MIT License
Set up CI for automated builds
Ensure all functions in the code are tested.
In the interactive mode, the user can currently only decide on branch decisions. Allow the user to also decide when to widen.
The program currently explores every path independently. At each conditional branch, the entire program from that point is explored separately. The number of paths can blow up if there are a lot of branches.
Change this to explore just the body of the if and else conditions separately, and perform a join at the end.
Update README/Wiki with instructions on the modes and options available, the features available, and the limitations.
Verify operators defined for the Interval and tribool types, and fix bugs
GNU Readline is helpful for tab completion and suggestion on the terminal.
Document code
Currently, the interval ai works only for 32-bit integers. Extend support for integers for other sizes.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.