Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
9 check-ins using file bs/builtins/api/compiler.cpp version 930ffd92af
|
2020-06-05
| ||
| 18:57 | Verifier: loops: instead of tracking and havocing modified variables during loops, track modified addresses, so that modifying only some fields of a tuple will not result in forgetting everything about the other fields. check-in: 54ef60956e user: achavasse tags: trunk | |
| 00:42 | Cleanup. check-in: ea28d09f80 user: achavasse tags: trunk | |
| 00:35 | Verifier: handle "StoreToAddress" for addresses that point to tuple members. check-in: 077c944c02 user: achavasse tags: trunk | |
|
2020-06-03
| ||
| 23:08 |
| |
|
2020-06-01
| ||
| 18:39 | Verifier: go through the LowerConstantForVerification extension point when building a constant expression. check-in: 98739f02b6 user: achavasse tags: trunk | |
| 01:21 | Cleanup. check-in: c793734a0a user: achavasse tags: trunk | |
| 01:06 | Verifier: refactored type handling and extended it to handle tuple types. check-in: 6f98718d3b user: achavasse tags: trunk | |
|
2020-05-30
| ||
| 14:25 | Enable's z3 new arith solver as the old one takes a very long time in one of the tests with the latest version of z3. check-in: 4b56796791 user: achavasse tags: trunk | |
|
2020-05-25
| ||
| 22:08 |
| |