Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
16 check-ins using file bs/empathy.cpp version 7a68c47dfd
|
2019-01-10
| ||
| 20:56 | Added functions to perform fun transformation rules. check-in: bfa033bb97 user: achavasse tags: trunk | |
| 19:59 | Some renaming. check-in: 33f03238f3 user: achavasse tags: trunk | |
|
2019-01-09
| ||
| 23:25 | Implemented the IR representation of function declarations and modified the invocation rule set. check-in: 0d3e8419d0 user: achavasse tags: trunk | |
|
2019-01-08
| ||
| 20:54 | Defined the representation of param declarations. check-in: 1ed6582136 user: achavasse tags: trunk | |
|
2019-01-07
| ||
| 22:29 | Invocation resolution: create rule container. check-in: 5f407e5e58 user: achavasse tags: trunk | |
| 22:00 | Unification: detect and reject solutions with recursively nested holes. check-in: b5952084af user: achavasse tags: trunk | |
|
2019-01-06
| ||
| 16:44 |
| |
| 16:35 | Implement unification scoring. check-in: fec093d83d user: achavasse tags: trunk | |
|
2019-01-05
| ||
| 21:42 | Cleanup some left over debugging crap. check-in: 832512a765 user: achavasse tags: trunk | |
| 21:32 |
| |
| 11:59 | Unification context: keep track of the number of holes whose value is unknown, to be able easily skip incomplete unification solutions. check-in: df14f2b363 user: achavasse tags: trunk | |
|
2019-01-04
| ||
| 14:11 | Implement hole substitution algorithm. check-in: 849a7f99e5 user: achavasse tags: trunk | |
|
2019-01-03
| ||
| 13:43 | First draft implementation of hole vs hole unification. check-in: ce11e48c1b user: achavasse tags: trunk | |
|
2018-12-31
| ||
| 14:11 | Hole unification work in progress. check-in: 241addc824 user: achavasse tags: trunk | |
| 08:51 | Work in progress on holes unification. check-in: 293c45270a user: achavasse tags: trunk | |
|
2018-12-26
| ||
| 00:48 | Implement hole half-unification. check-in: d126da38f7 user: achavasse tags: trunk | |