search

lua-users-foundation / foundation

Main repository for bootstraping the Lua Users Foundation
38 stars 4 forks source link

LUF-VV (Validation & Verification) Draft #7

Closed igelhaus closed 6 years ago

igelhaus commented 6 years ago

Dear foundation,

Thanks for creating this repository.

My name is Anton, in the company I'm working for we are developing our own implementation of Lua (originally a fork of LuaJIT). Last year I gave a talk about challenges we faced ensuring compliance of our implementation (http://lua.moscow/conf/2017-03-LuaInMoscow/index.html#soldatov, in English). After that we agreed with Alexander Gladysh to start drafting a document to describe a framework for validating and verifying Lua implementations, which looks like a natural task for the Lua Users Foundation.

Alexander and I had 1-2 iterations on the draft before both of us got busy with other activities. So I'm pushing this document here to revive the initiative.

Review and feedback is welcome.

agladysh commented 6 years ago

LGTM

javierguerragiraldez commented 6 years ago

LGTM too, it's a good summary of many important points. the few things i would like added (extra architectures, NIX vs. something else) deserve some discussion, and it's important to first have as a starting point something we mostly agree on.

agladysh commented 6 years ago

Merged. Many thanks!