Highlights
- Arctic Code Vault Contributor
Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
3,314 contributions in the last year
Activity overview
Contribution activity
November 1, 2020
October 2020
- axic/circles-contracts JavaScript
- axic/soliditylang HTML
- axic/automerger Python
Created a pull request in wasmx/fizzy that received 7 comments
- Change reinterpret<> to use bit_cast<>
- Add assert to as<int32_t>() for dirty higher bits.
- Remove dirty stack cases
- Use wat sources in end_to_end tests
- Rust: support memory
- Use proper feature test for C++20 std::span
- rust: update description for crates.io
- Potential floating point optimizations
- rust: add simple compilation (integration) test
- rust: add rustdoc descriptions to the public API and tiny improvements for crates.io
- rust: add simple compilation (integration) test
- rust: add badges for crates.io
- ci: run Rust build in release mode too
- rust: properly package the C/C++ dependencies
- Rust: support packaging and publishing
- test: use move semantics for instantiate in most tests (except unit tests)
- benchmarks: allow compiling ecpairing
- Rust bindings (execution)
- Reorder helpers in execute.cpp
- [BREAKING] Remove --old-reporter from solc
- Mark ewasm output as supported
- Move AsmJsonImporter from libsolidity to libyul
- Add viaIR option to CompilerStack (and solc)
- [ewasm] Terminate on out-of-bounds access in EwasmInterpreter
- Split error codes for EVM opcodes
- Make use of pushInstruction() helper in libevmasm
- [ewasm] Fix EwasmBuiltinInterpreter to follow the specs
- [ewasm] Implement stop() in EVM->Ewasm translator
- Add more tests to ViewPureChecker
- java: allocate execute result in C
- java: statically load JNI library
- java: introduce proper types and minimise reliance on ByteBuffer/byte[]
- readme: include silkworm and clarify the state of Java
- java: change Host.account_exists to return boolean
- java: remove code_size argument from execute()
- java: add CopyFromBuffer helper and ensure the properly sized ByteBuffer is used
- java: remove the extra wrapping of HostContext and pass it directly
- java: clean up the EvmcVm class a bit
- ci: run cargo package to ensure publishing works for Rust
- Runtime metering prototype
- capi: Add imported globals to instantiate
- ci: Use CMAKE_BUILD_PARALLEL_LEVEL with 8 by default
- Drop immediates array
- Convert instructions to vector<uint8_t>
- test: Use ElementsAre() to check arrays of instructions
- Optimize call result push to the stack
- Introduce UNREACHABLE macro
- ci: Enhance sanitizer's config
- Add assert to as<int32_t>() for dirty higher bits.
- Value i32
- Remove dirty stack cases
- Rust bindings (execution)
- bench: add FizzyCEngine
- C API instantiate with resolving imported functions
- C API Get module from an instance
- C API function type
- ci: Fix TestFloat compilation
- Pass arguments to host function as const Value*
- Use proper feature test for C++20 std::span
- C API tests cleanup
- Use popcount from C++20 if available
- ci: Add GCC sanitizer job
- C API Find exported function
- Build with libc++, C++20
- Some pull request reviews not shown.
- Introduce abicoder pragma.
- Add viaIR option to CompilerStack (and solc)
- [ewasm] Terminate on out-of-bounds access in EwasmInterpreter
- [docs] Interval corrections in ABI encoding spec
- Make use of pushInstruction() helper in libevmasm
- [ewasm] Implement stop() in EVM->Ewasm translator
- Extracting inline assembly syntax tests.
- Fix ewasm polyfills & enable corresponding tests.
- Improve error message when assigning builtin functions
- [SMTChecker] Fix ICE on conditional with tuples of rationals
- Remove low-level log functions.
- Add CLI option to choose model checker engine
- Dead code cleanup
- [SMTChecker] Support all type casts
- examples: Convert example VM implementation to C++
- Java loader loaded
- java: statically load JNI library
- java: properly implement code_copy_fn
- java: remove code_size argument from execute()
- readme: include silkworm and clarify the state of Java
- examples: Fix example VM project version
- Add rust binding client
- java: add CopyFromBuffer helper and ensure the properly sized ByteBuffer is used
- Essential fixes for EVMC Java bindings
- java: remove the extra wrapping of HostContext and pass it directly
- cmake: Add example end-to-end tests to CTest
Created an issue in ethereum/solidity that received 3 comments
Range based loops
Range based loops were discussed several times, including at the Solidity Summit (#9054), in #4596, and in #9117. Main motivation is improving code…
- Turn on SMTChecker by default, but set model-checker-engine to none
- [SMTChecker] Verification progress tracker
- IR-based CompilerStack
- [ewasm] Support loadimmutable/storeimmutable
- [SMTChecker] BMC reports invalid "condition is always false"
- [SMTChecker] Track simple branches better
- [SMTChecker] Support contract types
- Drop the type `byte`
- Change mutability of chainid opcode from pure to view
- [SMTChecker] Verify the Circles UBI contract

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
