Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
5 check-ins using file bs/analyze/analyze.h version 27bce2124c
|
2019-09-29
| ||
| 23:11 | repo: don't attempt to perform syntax highlighting on text files. check-in: be610f458b user: achavasse tags: trunk | |
| 22:30 |
| |
| 20:30 | Added a specific llr instruction for 'not' for the sake of constructing z3 expressions. check-in: 2628782ef2 user: achavasse tags: trunk | |
|
2019-09-26
| ||
| 23:37 | Refactored the parsing of verification statements so that it works properly in all cases (regular functions, template functions, function type expressions, lambdas). check-in: 4fe418f4d0 user: achavasse tags: trunk | |
| 00:27 | Static analysis: check that function verification statements are satisfiable and emit relevant error messages if they aren't. check-in: 7f14d60722 user: achavasse tags: trunk | |