Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
32 check-ins using file bs/codegen/module.h version 6ae3991a5a
|
2020-08-02
| ||
| 19:26 | Execute: use a proper call stack so that we'll be able later on to reference values living on the caller's stack to be able to pass references around at compilation time. check-in: 151e3b4d8c user: achavasse tags: trunk | |
|
2020-07-07
| ||
| 21:08 | When creating a reference to a local variable, if it contains a reference, just unwrap it. check-in: 421381dc15 user: achavasse tags: trunk | |
|
2020-07-06
| ||
| 19:49 | Fixes for the current git version of clang/llvm. check-in: 834d8f14b9 user: achavasse tags: trunk | |
|
2020-07-05
| ||
| 20:15 | Implemented reference parsing. check-in: 086a58a7a3 user: achavasse tags: trunk | |
|
2020-07-04
| ||
| 13:08 |
| |
| 12:24 | Verification: fixed a bug with address havocing. check-in: 879d75711b user: achavasse tags: trunk | |
|
2020-07-03
| ||
| 23:09 | Removed a couple of obsolete comments. check-in: 4dd8529aac user: achavasse tags: trunk | |
| 23:03 |
| |
|
2020-07-02
| ||
| 19:31 | Added tests for tuples of references. check-in: 05ec684dbf user: achavasse tags: trunk | |
| 00:47 |
| |
|
2020-06-27
| ||
| 22:05 | Clearly separate the type checking rules and the unification rules, instead of lumping them all together in a single set of patterns which is increasingly confusing. check-in: b64ea47f6b user: achavasse tags: trunk | |
|
2020-06-26
| ||
| 23:34 |
Cleanup:
| |
|
2020-06-20
| ||
| 19:59 | Verifier: some fixes to correctly handle tuples. Still not quite working yet. check-in: 060e84f233 user: achavasse tags: trunk | |
| 16:07 | Fixed one of the tuple unification rule. check-in: 48bb81ebdd user: achavasse tags: trunk | |
| 14:32 |
| |
|
2020-06-15
| ||
| 22:09 | Refactored the integer/ct_int unification to defer the size/sign check to a postprocessing callback. check-in: ac4e681af3 user: achavasse tags: trunk | |
| 19:45 | Call "Postprocess" on unification solutions during the best solution lookup, so that custom postprocessing callbacks can trigger the rejection of a solution. check-in: daee557086 user: achavasse tags: trunk | |
| 19:16 | Moved some common code into a helper function to facilitate some future refactoring. check-in: df0ad9a7f1 user: achavasse tags: trunk | |
|
2020-06-13
| ||
| 22:59 |
| |
| 13:34 | Implemented new rules for implicit dereferencing and implicit referencing. check-in: 4d5cc07d86 user: achavasse tags: trunk | |
| 13:15 | Rewrote the reference unification rules. check-in: ba97c17dee user: achavasse tags: trunk | |
| 13:05 | Fixed eager evaluation not failing gracefully in some cases. check-in: c70d722331 user: achavasse tags: trunk | |
| 12:51 | Modify the reference IR representation so that we can have holes for the behavior. check-in: 385846b609 user: achavasse tags: trunk | |
|
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 |
| |