Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
19 check-ins using file bs/eir/match.cpp version 59ea8f5f50
|
2021-09-20
| ||
| 23:23 | Integrated the Tracy profiling client and added some profiling instrumentation check-in: b846dfa2fb user: achavasse tags: trunk | |
|
2021-09-19
| ||
| 23:35 | Fixed various bugs encountered while trying to override an extension point in the prelude check-in: 89c0616e71 user: achavasse tags: trunk | |
| 20:18 | Implemented "Implies" and "PHOverride" verification-specific CIR instructions check-in: 56ae4179a9 user: achavasse tags: trunk | |
| 19:30 | g0 api: ReferenceType and retrieving type predicates check-in: 78e91a4545 user: achavasse tags: trunk | |
| 16:06 | Began implementing the prelude, which now sets up the g1 namespace, hiding all the internal builtins and APIs from user code. check-in: 15fd7eba11 user: achavasse tags: trunk | |
| 14:42 | g0 api: #CompileFileToFunction takes the identity to use as root as parameter check-in: dd5e98c20d user: achavasse tags: trunk | |
| 14:23 | g0 api: Env check-in: 0da72aac62 user: achavasse tags: trunk | |
| 13:59 | g0 api: diagnostics check-in: 5ccfe91819 user: achavasse tags: trunk | |
| 11:20 | g0 api: CIR: CFG check-in: bdfee6615a user: achavasse tags: trunk | |
| 10:30 | g0 api: CIR: BasicBlock check-in: b96622b654 user: achavasse tags: trunk | |
|
2021-09-18
| ||
| 18:43 | g0 api: more work on the CIR api check-in: 447824df93 user: achavasse tags: trunk | |
| 17:00 |
| |
|
2021-09-17
| ||
| 23:04 | g0api, builtins: got rid of TermWrapper and ValueWrapper, use specializations of TypeWrapper instead to allow for more generic code check-in: 4a571387ed user: achavasse tags: trunk | |
| 20:43 | g0 api: more work on the CIR api check-in: a7c05af907 user: achavasse tags: trunk | |
| 19:15 |
g0 api:
| |
|
2021-09-16
| ||
| 21:31 | g0 api: started implementing the CIR api check-in: 8dd49b0d89 user: achavasse tags: trunk | |
| 21:01 | g0 api: implemented Value api check-in: 5c68efeb07 user: achavasse tags: trunk | |
| 20:05 | g0 api: the EIR Terms are now completely covered check-in: 78da84d2af user: achavasse tags: trunk | |
| 19:00 | More work on the g0 EIR api check-in: 967d3ba3d7 user: achavasse tags: trunk | |