Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
10 check-ins using file bs/builtins/operators/logic.cpp version 9b56d29947
|
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 | |
|
2019-09-25
| ||
| 19:16 | Implemented a first batch of llr instruction to z3 expression conversions. check-in: b6b76a4e03 user: achavasse tags: trunk | |
|
2019-09-24
| ||
| 22:06 | Began writing the static analyzer. check-in: d960d10be9 user: achavasse tags: trunk | |
| 19:52 | Fix wrong file deletion. check-in: 103523bfe9 user: achavasse tags: trunk | |
| 19:50 | Updated repo's syntax highlighting theme. check-in: 2aafe4e645 user: achavasse tags: trunk | |
| 19:13 | Updated repo's syntax highlighting. check-in: af5df97f63 user: achavasse tags: trunk | |
|
2019-09-23
| ||
| 21:35 | build: find the z3 library. check-in: b3c85287b1 user: achavasse tags: trunk | |
| 21:00 | verification stmts: append to the assertion lists, instead of overwriting them. check-in: db3875c530 user: achavasse tags: trunk | |
|
2019-09-22
| ||
| 22:42 | Implemented overloads of boolean or/and operators for verification expressions that don't do shortcut evaluation but simply emit the corresponding llr instruction. check-in: 7dcd0447a3 user: achavasse tags: trunk | |