MDS/openide
1
0 Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-18 04:24:12 +07:00
Code Issues Packages Projects Releases Wiki Activity
171,036 Commits 35 Branches 10 Tags
1ce6f8d2fa052d8c49cdc41b83aa9b45e2771aaf
Commit Graph
2 Commits
Author SHA1 Message Date
peter be5e2c5a5a contract checker: relax fail result validation to accept every call as a potential hazard, and don't continue with dfa 2014-10-01 20:09:11 +02:00
peter b0a7ab05aa contract checker: relax fail result validation to accept every call as a potential hazard 2014-09-30 17:23:49 +02:00