aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/case/coverage.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Migrated the format of analysis nodes from a custom data-type, to just ↵Eduardo Julian2017-10-311-35/+47
| | | | Code nodes.
* - Updated to the latest changes in stdlib.Eduardo Julian2017-10-181-20/+20
|
* - Replaced the term "total" with "exhaustive".Eduardo Julian2017-09-071-26/+26
|
* - Updated new compiler's code to the recent changes in the language.Eduardo Julian2017-09-051-13/+13
| | | - WIP: Some other changes/additions to the new compiler.
* - Adjusted compiler to the new lack of Char type.Eduardo Julian2017-07-021-1/+1
| | | - WIP: PM/case synthesis.
* - Added loop synthesis.Eduardo Julian2017-06-091-4/+4
| | | - Some refactoring.
* - Documented the analysis phase.Eduardo Julian2017-05-301-0/+287
- Some refactoring. - Removed singleton variants.