aboutsummaryrefslogtreecommitdiffhomepage
path: root/projects/minizinc
Commit message (Collapse)AuthorAge
* Remove minizinc project as it is unmaintained. (#3490)Gravatar Abhishek Arya2020-03-12
|
* [presubmit] Enforce language attribute in project.yaml to be always set. (#3477)Gravatar Max Moroz2020-03-10
| | | | | | | | | | | | | | | | | | | * [presubmit] Enforce language attribute in projectt.yaml to be always set. * Update documentation, better presubmit check, new project template. * add docstring to templates.py * Add example values in the project.yaml template and remove python value for now * Add "project: c++" to 256 projects * format * Add labels and selective_unpack sections to the presubmit check * fix incorrect auto_ccs format in three projects * fix nss emails after rebase
* [minizinc] License header and enable bug filing MSan (#2694)Gravatar Harsil Patel2019-08-14
| | | | | | * [minizinc] Add license header in the fuzzer and set experimental flag to False for the MemorySanitizer * Enable MSan the right way
* [minizinc] Initial Fuzzer (#2656)Gravatar Jip J. Dekker2019-08-05
|
* [minizinc] Add initial project information for application (#2570)Gravatar Jip J. Dekker2019-07-05