diff options
| author | Brooks Davis <brooks@FreeBSD.org> | 2020-03-23 18:26:23 +0000 |
|---|---|---|
| committer | Brooks Davis <brooks@FreeBSD.org> | 2020-03-23 18:26:23 +0000 |
| commit | c697fb7f7cc9bedc5beee44d35b771c4e87b335a (patch) | |
| tree | 3ec4907c85501b71b63e39ad3bb90b5202556475 /sbin/veriexec/veriexec.8 | |
| parent | 1fc78b7e60c4bccfd0d9fa2c00eb6c73ecbcbf4a (diff) | |
| parent | 4b2c3eb9d49a797f91eee2be4e41cacb3b8167e7 (diff) | |
Add liblutok a lightweight C++ API for lua.
It is added an INTERNALLIB and not installed. It will be used by kyua.
This is a preparatory commit for D24103.
Reviewed by: emaste
Obtained from: CheriBSD
Sponsored by: DARPA
Notes
Notes:
svn path=/head/; revision=359255
Diffstat (limited to 'sbin/veriexec/veriexec.8')
0 files changed, 0 insertions, 0 deletions