Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
org
 
 
src
 
 
 
 
 
 
 
 

The Delta Project

This is the Delta Project, aiming to improve software reliability.

The main tool for this is the integration of massive assertion support into the programming language; assertions can state properties such as memory and CPU usage limits, type constraints, absence of information leakage, etc.

Theory says that assertion checking can be made almost fully automatic, only one kind of help needed is loop invariants and their equivalents.
In practice, people will want to provide more assertions, e.g. to state the properties of internal APIs.

Building the language is just the first step. See the long-term plan.

Releases

There are currently no official releases; these will come when non-contributors start taking interest.

Downloads

To get the code and everything else, either clone the repository, or use the "Download ZIP" button to the right.

Everything is in one repository:

Reporting issues

Use the "Issues" link on the top right of the GitHub page.

Contributing

  1. Fork the repository on GitHub,
  2. clone the repository to your local machine,
  3. make a branch,
  4. hack on the code,
  5. push to your GitHub fork,
  6. make a pull request,
  7. follow the PR discussion until the PR is merged, superseded, or retracted.

About

Main and only repository of the Delta Project.

Resources

License

Releases

No releases published

Packages

No packages published