Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
21 check-ins using file bs/verify/call.cpp version d524da943d
|
2022-09-02
| ||
| 21:42 |
| |
|
2022-08-29
| ||
| 20:42 | Partial implementation of compile-time for loop (rest to be done in prelude but needs a handful additional apis) check-in: 24b6c5ae2e user: zlodo tags: trunk | |
|
2022-08-28
| ||
| 17:12 | vararg templates: completed the pack TExpr and pack TVars implementations (need tests) check-in: 0146622968 user: zlodo tags: trunk | |
|
2022-07-30
| ||
| 11:41 | varargs: simplify (not going to attempt handling nesting repetitions after all) check-in: 4c0f447d59 user: zlodo tags: trunk | |
|
2022-07-25
| ||
| 17:23 | vararg templates: set the signature of pack texprs as the repeating part of the vector, and diagnose packs not appearing last check-in: 27cf09cdf5 user: zlodo tags: trunk | |
|
2022-07-22
| ||
| 00:36 | Switch back to using fmtlib so we can build with clang 14 for stability and since nowadays we apparently can't expect to be able to use c++ features that were accepted in the standard 2 years ago :/ check-in: 7e6d3483ec user: zlodo tags: trunk | |
|
2022-07-21
| ||
| 01:09 | Small cleanup check-in: 6e0a90698d user: zlodo tags: trunk | |
|
2022-07-20
| ||
| 19:22 | vararg template: added pack TExpr and ellipsis operator check-in: ba07901758 user: zlodo tags: trunk | |
|
2022-07-18
| ||
| 23:45 | vararg templates: added a "prepare template" step prior to generating the template signature, which does nothing yet check-in: fe34bd71de user: zlodo tags: trunk | |
| 00:14 | Keep track of the repetition depth of pack TVars, and assign a new value index for each repetition of a pack hole check-in: a2a6841c8b user: zlodo tags: trunk | |
|
2022-07-17
| ||
| 10:51 | Fixed a bug in the verification instruction filter that somehow resulted in failed tests only on mac check-in: 64463a60a6 user: zlodo tags: trunk | |
|
2022-07-16
| ||
| 14:42 | Varargs: added a "nested repetition depth" property to holes check-in: 97ff23912a user: zlodo tags: trunk | |
|
2022-07-05
| ||
| 22:10 | TypeChecking: keep track of nested repetition indices for each sub context check-in: 95bdac72ca user: zlodo tags: trunk | |
|
2022-07-04
| ||
| 21:48 | Minor cleanup check-in: 29b4ebb32f user: zlodo tags: trunk | |
| 21:20 | typechecking: refactor type checking context to be able to hold more sub-context information than hole namespace indices check-in: 9fd8a2a87e user: zlodo tags: trunk | |
| 17:45 | Refactored some template rules and type checking rules to avoid calling BuildTemplateSignature from inside type checking rules check-in: 64224a915f user: zlodo tags: trunk | |
|
2022-07-02
| ||
| 14:22 | Vararg templates: function param decls with open tuple types are expanded into multiple params check-in: ecd5b0e89a user: zlodo tags: trunk | |
|
2022-06-30
| ||
| 19:06 | Remove obsolete TODO check-in: 3f5776378b user: zlodo tags: trunk | |
| 17:58 | Verifier: fix unique id generation to be done on a per function basis rather than globally to make the z3 generation tests more stable check-in: f4e40b75d7 user: zlodo tags: trunk | |
|
2022-06-29
| ||
| 21:47 | The CIR is no longer made out of instructions that are basically expression trees, but is now instead a stack language to make it possible to insert verification instructions before and after the evaluation of individual function arguments check-in: 1f87fbda15 user: zlodo tags: trunk | |
| 21:39 |
| |