aboutsummaryrefslogtreecommitdiffhomepage
path: root/projects/minizinc
Commit message (Collapse)AuthorAge
* [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