aboutsummaryrefslogtreecommitdiffhomepage
path: root/projects/minizinc/project.yaml
Commit message (Expand)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
* [minizinc] License header and enable bug filing MSan (#2694)Gravatar Harsil Patel2019-08-14
* [minizinc] Initial Fuzzer (#2656)Gravatar Jip J. Dekker2019-08-05
* [minizinc] Add initial project information for application (#2570)Gravatar Jip J. Dekker2019-07-05