Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [VM] Remove projection names from structured constants. | 2018-06-10 | |
* | Moving the VM global atom table to a ML reference. | 2018-03-26 | |
* | Moving the VM global data to a ML reference. | 2018-03-26 | |
* | Merge PR #6855: Update headers following #6543. | 2018-03-05 | |
|\ | |||
* \ | Merge PR #935: Handling evars in the VM | 2018-03-04 | |
|\ \ | |||
| * | | Handling evars in the VM. | 2018-03-03 | |
* | | | [VM] Unify Const_sorts and Const_type, and remove Vsort. | 2018-03-02 | |
|/ / | |||
| * | Update headers following #6543. | 2018-02-27 | |
|/ | |||
* | Safer VM interfaces | 2018-01-26 |