Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
8 check-ins using file bs/verify/call.cpp version 3d70124287
|
2021-10-30
| ||
| 22:51 |
| |
|
2021-10-29
| ||
| 20:03 | Template rules: implemented a function to setup bindings for captured predicates check-in: eccb9be7b9 user: zlodo tags: trunk | |
|
2021-10-28
| ||
| 21:48 | Template rules: implemented a function to extract the type predicate hashes of captured types check-in: 8fe613b1ac user: zlodo tags: trunk | |
| 20:25 | Template: split template function verification from instantiation check-in: 84723188cd user: zlodo tags: trunk | |
|
2021-10-27
| ||
| 22:23 | Func: CompileFunc() doesn't perform function verification anymore, there's now a separate CompileAndVerifyFunc() for that check-in: 562bf11329 user: zlodo tags: trunk | |
| 20:55 | Parser: when building a function, if its parent identity depends on type predicates captured by template vars, build it as a template function instead. check-in: 45078c42df user: zlodo tags: trunk | |
|
2021-10-26
| ||
| 18:43 | Type predicates: implemented helper functions to append / filter out type predicate hashes in identities. check-in: d40e6470bf user: zlodo tags: trunk | |
|
2021-10-25
| ||
| 19:34 | Type predicates: store the expressions as an array of values, which avoids unecessary conversions and results in the inclusion of the CIR from the expressions in the hash check-in: 996d8d9686 user: zlodo tags: trunk | |