├── .circleci └── config.yml ├── .gitignore ├── LICENSE ├── README.md ├── jsverify.ts ├── package.json ├── secure-eval.ts ├── test ├── index.js └── secure-eval-test.ts └── tsconfig.json /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Prendus/secure-eval/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /node_modules 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Prendus/secure-eval/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Prendus/secure-eval/HEAD/README.md -------------------------------------------------------------------------------- /jsverify.ts: -------------------------------------------------------------------------------- 1 | export const jsc = require('jsverify'); 2 | -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Prendus/secure-eval/HEAD/package.json -------------------------------------------------------------------------------- /secure-eval.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Prendus/secure-eval/HEAD/secure-eval.ts -------------------------------------------------------------------------------- /test/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Prendus/secure-eval/HEAD/test/index.js -------------------------------------------------------------------------------- /test/secure-eval-test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Prendus/secure-eval/HEAD/test/secure-eval-test.ts -------------------------------------------------------------------------------- /tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Prendus/secure-eval/HEAD/tsconfig.json --------------------------------------------------------------------------------