Zilliqa scilla-rtl issues

Zilliqa / scilla-rtl

Execute Scilla code compiled by the Scilla -> LLVM compiler.

GNU General Public License v3.0

8 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix compilation on macOS

#68 anton-trunov closed 2 years ago
0
GDB definitions to print Scilla values. Updated tests

#67 vaivaswatha opened 2 years ago
1
Support for replicate contract feature.

#66 vaivaswatha closed 2 years ago
0
Support for new blockchain info features and address types

#65 vaivaswatha closed 2 years ago
0
Support for contract constraint

#64 vaivaswatha closed 2 years ago
1
Blockchain Info communication must happen via `ScillaParams`

#63 vaivaswatha opened 2 years ago
0
Refactor `pow` builtin to work in logarithmic time

#62 vaivaswatha opened 2 years ago
0
Gas compliance fixes

#61 vaivaswatha closed 2 years ago
0
CI: fix OpenSSL version at 1.1 for macOS

#60 anton-trunov closed 3 years ago
2
Cache Brew Dependencies

#59 tramhnt99 closed 3 years ago
0
Caching Brew Dependencies on Github actions

#58 tramhnt99 closed 3 years ago
0
Add signed division tests

#57 vaivaswatha closed 3 years ago
1
Update `_mapsortcost` after changes in `Scilla_base` and the compiler

#56 vaivaswatha closed 3 years ago
0
SafeInt checks

#55 vaivaswatha closed 3 years ago
0
Running uncurried llvm files

#54 tramhnt99 opened 3 years ago
0
Support for OSX

#53 vaivaswatha closed 3 years ago
0
Implement missing gas accounting

#52 vaivaswatha closed 3 years ago
0
Update tests after compiler fix to charge gas for builtins

#51 vaivaswatha closed 3 years ago
0
Move to clang-12 for compiling LLVM to binary

#50 vaivaswatha closed 3 years ago
0
Accounting tests and bug fixes

#49 vaivaswatha closed 3 years ago
0
builtin `strrev`, `isqrt` and `pow`

#48 vaivaswatha closed 3 years ago
0
Support for dynamic address cast operation

#47 vaivaswatha closed 3 years ago
0
Check `_sender`'s balance before `accept`ing

#46 vaivaswatha closed 3 years ago
0
Remote state reads: expected fail tests

#45 vaivaswatha closed 3 years ago
0
Improve dynamic typecheck fail messages

#44 vaivaswatha opened 3 years ago
0
Enhance type parser to construct Typs when requested

#43 vaivaswatha closed 3 years ago
0
Add builtin `_map_to_list`

#42 vaivaswatha closed 3 years ago
0
Add common iterator functions to read through native Scilla values

#41 vaivaswatha closed 3 years ago
0
Support for `_lengthof` Scilla operation

#40 vaivaswatha closed 3 years ago
0
Rename `runtests` build target to the more standard `check`

#39 vaivaswatha closed 3 years ago
1
Use a different wide-integer library. The current one was buggy.

#38 vaivaswatha closed 3 years ago
0
Do not always use `BOOST_REQUIRE` in the testsuite.

#37 vaivaswatha closed 3 years ago
1
Support for more builtins

#36 vaivaswatha closed 3 years ago
0
Dynamic typechecks must be exposed via a builtin

#35 vaivaswatha closed 3 years ago
0
Support `_balance`

#34 vaivaswatha closed 3 years ago
0
Support for BNum types and values

#33 vaivaswatha closed 3 years ago
0
Update tests due to compiler refactoring

#32 vaivaswatha closed 3 years ago
0
Upgrades for C++17

#31 vaivaswatha closed 3 years ago
0
Switch to GitHub Actions

#30 vaivaswatha closed 3 years ago
0
Execute shared library. Do away with LLVM JIT

#29 vaivaswatha closed 3 years ago
0
Make the VM thread-safe

#28 vaivaswatha opened 3 years ago
2
Migrate expected-to-fail tests for `remote_state_reads`

#27 vaivaswatha closed 3 years ago
0
Parse unknown assignable types

#26 vaivaswatha closed 3 years ago
0
Migrate expected-to-pass tests for remote state reads

#25 vaivaswatha closed 3 years ago
0
Refactor building of `ScillaJIT` object

#24 vaivaswatha closed 3 years ago
1
Remote load balance of sender must be handled specially

#23 vaivaswatha closed 3 years ago
1
Dynamic type checks

#22 vaivaswatha closed 3 years ago
0
Upgrade to C++17

#21 vaivaswatha closed 3 years ago
0
Support for `_fetch_remote_field` in SRTL.

#20 vaivaswatha closed 3 years ago
0
Add type assignability function and tests

#19 vaivaswatha closed 3 years ago
2