Denis Roio jaromil

jaromil pushed to master at DECODE/decode-lang

  • e55fd79572 set limit for executed operations in test

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • c8065354ce added some lua base libraries and some 5.1 unit tests

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • 589c8d13aa improved version reporting and test messages added lua_functions with a facility to add global variables

2 years ago

jaromil pushed to master at DECODE/decode-lang

2 years ago

jaromil pushed to master at DECODE/decode-lang

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • 116dfff13d website setup with mkdocs for online documentation

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • 4d25ef5947 fix to compile with latest cmake and gcc added flag for static compilation of cmake compiler tests

2 years ago

jaromil pushed to master at DECODE/decode-lang

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • 449836a150 improved build system with first bootstrap stage the musl-libc compiler needs to be built only once and shouldn't be wiped out by make clean

2 years ago

jaromil pushed to master at DECODE/decode-lang

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • 8cfdaea981 tidying up the build, using -Os -pedantic -std=gnu99 everywhere

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • f3a469bcb2 added getopt for short commandline options and crypto test

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • 801ac884ac added support for monocypher crypto libraries now execution engine support a NaCL subset of functions: Chacha20 - Chacha with a 24-byte nonce and Poly1305 MAC - Curve25519-based key exchange and public key encryption - Blake2b hash function - Ed25519-based signature function using Blake2b hash - Argon2i, a modern key derivation function based on Blake2b all statically included using the luanacha wrapper (submodule)

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • 824f9e9695 improved execution and enabled print to console

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • 0b4e85e2ef better error message on broken script

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • 395d96f043 tidying up the makefile also spiked libgmp static build with musl; yices2 is close, but has no static target so needs patching.

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • ac03205f8f full static compilation with musl-libc musl is now included as a submodule

2 years ago

jaromil pushed to master at DECODE/decode-lang

  • 4c04fa036c added theoretical article in docs (D3.3)

2 years ago

jaromil pushed to master at DECODE/decode-lang

2 years ago

jaromil pushed to master at dyne-web/dynesolutions

2 years ago