Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
27 check-ins using file bs/g0api/extensibility/eir.cpp version 15b4c299a9
|
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 | |
|
2021-10-24
| ||
| 20:22 | Implemented CIR instruction hashing check-in: f5cd8d2642 user: zlodo tags: trunk | |
|
2021-10-23
| ||
| 19:40 | Small code cleanup, moved some code to .cpp that didn't need to be in the header check-in: ef3548db6c user: zlodo tags: trunk | |
| 16:34 | Implemented hashing of EIR terms check-in: ec41139b5a user: zlodo tags: trunk | |
|
2021-10-09
| ||
| 22:07 | Prelude: use the Conjunction instruction to build the reference predicate equivalence check check-in: 233221b915 user: zlodo tags: trunk | |
| 21:50 | Added the Conjunction CIR instruction to build a conjunction from predicates at verification time check-in: e3485faf08 user: zlodo tags: trunk | |
| 20:12 | Predicates: add the possibility to store named sets of predicates in types, to be retrieved from a dictionary at verification time check-in: 459f60ca3a user: zlodo tags: trunk | |
| 15:52 |
| |
|
2021-10-08
| ||
| 17:06 | Linux build fix check-in: e386f21089 user: zlodo tags: trunk | |
|
2021-10-07
| ||
| 22:37 | Added tests for mutref predicates equivalence checking check-in: 50c3984309 user: zlodo tags: trunk | |
|
2021-10-06
| ||
| 21:50 | Mut ref predicates verification: display a useful error message check-in: 05ada78145 user: zlodo tags: trunk | |
| 14:13 | Diagnostics: when registering a custom diagnostic message, save the context stack along with it check-in: 18734ccbef user: zlodo tags: trunk | |
|
2021-10-04
| ||
| 16:13 | Fixed build issues with Tracy on mac and updated it to the last version check-in: f408a2e123 user: zlodo tags: trunk | |
| 12:06 | Cleanup check-in: b974d30199 user: zlodo tags: trunk | |
| 11:57 |
| |
|
2021-10-01
| ||
| 19:20 |
| |
|
2021-09-30
| ||
| 23:37 | Fixed a couple of bugs, but the linux version is broken for now (due to language bugs that can't be worked around and need to be fixed) check-in: 24415e41e4 user: zlodo tags: trunk | |
| 22:07 | Correctly generate and link executables on darwin check-in: 5f6197d1a0 user: zlodo tags: trunk | |
| 19:14 | Added a builtin g0 variable that exposes the name of the target OS, just to be able to quickly hack around some rudimentary mac support check-in: ec5428614c user: zlodo tags: trunk | |
|
2021-09-29
| ||
| 22:59 | Fixes for wsl build check-in: 886e9f72c4 user: zlodo tags: trunk | |
| 22:07 |
| |
|
2021-09-28
| ||
| 17:59 | Fix functions and template functions not getting compiled with visibility over their original enclosing scope, but over the current scope at the point of invocation instead check-in: 39c8a653da user: achavasse tags: trunk | |
|
2021-09-26
| ||
| 23:25 | Fixed template bugs with parametric types check-in: 097569fdd6 user: achavasse tags: trunk | |
| 21:11 | TDecl: instead of directly storing the type signature (and forgetting all about the nested TExprs), we store the TExpr and generate the signature during typechecking check-in: 00408e8723 user: achavasse tags: trunk | |
| 19:47 |
| |
| 17:00 | g0 api: added a function to retrieve the CFG from a code builder check-in: e1194caa9e user: achavasse tags: trunk | |
| 16:16 | g0 api: removed the old codegen module wrapper, use TypeWrapper instead check-in: ded246dccd user: achavasse tags: trunk | |