leonardoalt/yools issues and pull requests

#125 - Shorter literals

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#124 - Clippy.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#123 - Expression simplifier

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#122 - Modularize symbolic subcommand

Pull Request - State: closed - Opened by pedrommaiaa almost 2 years ago - 4 comments

#121 - Refactor function call to prepare for evaluator.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#120 - Evaluator

Pull Request - State: open - Opened by chriseth almost 2 years ago - 2 comments

#119 - A few leftover fixes from the revert_data PR

Pull Request - State: closed - Opened by leonardoalt almost 2 years ago

#118 - Foundry mode

Issue - State: open - Opened by leonardoalt almost 2 years ago

#117 - Support Solidity files

Issue - State: open - Opened by leonardoalt almost 2 years ago

#116 - Extract variable handling.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#115 - Execution position

Pull Request - State: closed - Opened by chriseth almost 2 years ago - 4 comments

#114 - Encode execution position

Issue - State: closed - Opened by chriseth almost 2 years ago

#113 - Encode revert line

Pull Request - State: closed - Opened by chriseth almost 2 years ago - 3 comments

#112 - Also properly treat empty or unary or.

Pull Request - State: closed - Opened by chriseth almost 2 years ago

#111 - Havoc unless.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#110 - Add implication.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#109 - remove unnecessary smtlib command

Pull Request - State: closed - Opened by leonardoalt about 2 years ago

#108 - More generic tests

Pull Request - State: closed - Opened by chriseth about 2 years ago

#107 - Use Cargo.toml as cache.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 1 comment

#106 - use cvc5 as default instead of cvc4

Pull Request - State: closed - Opened by leonardoalt about 2 years ago

#105 - fix tests

Pull Request - State: closed - Opened by leonardoalt about 2 years ago

#104 - Display which revert is reachable

Issue - State: closed - Opened by chriseth about 2 years ago - 1 comment

#103 - Memory range.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#102 - some readme

Pull Request - State: closed - Opened by leonardoalt about 2 years ago

#101 - SMT refactor

Pull Request - State: closed - Opened by leonardoalt about 2 years ago - 1 comment

#100 - Zero-initialize memory.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 2 comments

#99 - Updates after changes in yultsur.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#98 - Store revert data.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 7 comments

#97 - Simplify context variable declarations.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#96 - Calls and selfbalance.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 4 comments

#95 - Clippy.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#94 - path conditions

Pull Request - State: closed - Opened by leonardoalt about 2 years ago - 5 comments

#93 - Check for errors during resolving.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#92 - Return zero beyond calldatasize.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 4 comments

#91 - Default case for switch.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 2 comments

#90 - Very simple implementation of return.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 2 comments

#89 - Introduce source locations and parse errors.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 1 comment

#88 - Fix branches.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#87 - Sload

Pull Request - State: closed - Opened by chriseth about 2 years ago

#86 - Evaluate counterexamples.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 2 comments

#85 - Keccak

Pull Request - State: closed - Opened by chriseth about 2 years ago

#84 - Borrow arguments for smt functions.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#83 - Check if revert data is solc panic

Issue - State: closed - Opened by leonardoalt about 2 years ago

#82 - keccak

Issue - State: closed - Opened by leonardoalt about 2 years ago - 1 comment

#81 - Direct encoding into string for SMT.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#80 - Add memoryguard

Pull Request - State: closed - Opened by chriseth about 2 years ago - 1 comment

#79 - Support big decimals.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#78 - Support Yul objects

Issue - State: open - Opened by leonardoalt about 2 years ago

#77 - Simplify test generator.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#76 - Implement mstore8.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#75 - Improve SMT module.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 1 comment

#74 - Fix syntax tests.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#73 - Loop limit

Pull Request - State: closed - Opened by leonardoalt about 2 years ago

#72 - Generate actual named tests from files.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 1 comment

#71 - Fix variable declaration.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 4 comments

#70 - Byte builtin

Pull Request - State: closed - Opened by chriseth about 2 years ago - 1 comment

#69 - Replace `define-const` by `define-fun` (resp. `declare-*`)

Issue - State: open - Opened by leonardoalt about 2 years ago - 1 comment
Labels: hacktoberfest

#68 - CLI solver option

Pull Request - State: closed - Opened by leonardoalt about 2 years ago - 1 comment

#67 - Support switch default case

Issue - State: closed - Opened by leonardoalt about 2 years ago - 1 comment

#66 - Memory

Pull Request - State: closed - Opened by chriseth about 2 years ago

#65 - Mention which test failed.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#64 - Take calldatasize into account for calldataload.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 10 comments

#63 - Test for multi zero init.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#62 - Fix not and shifts.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#61 - CLI

Pull Request - State: closed - Opened by leonardoalt about 2 years ago - 1 comment

#60 - Calldataload

Pull Request - State: closed - Opened by chriseth about 2 years ago - 1 comment

#59 - feat: clippy

Pull Request - State: closed - Opened by rkrasiuk about 2 years ago - 1 comment

#58 - feat: smt data structs

Pull Request - State: closed - Opened by rkrasiuk about 2 years ago - 5 comments

#57 - solvers config

Pull Request - State: closed - Opened by leonardoalt about 2 years ago

#56 - inline function calls

Pull Request - State: closed - Opened by leonardoalt about 2 years ago

#54 - remove unnecessary type annotations

Pull Request - State: closed - Opened by Schaeff about 2 years ago

#54 - remove unnecessary type annotations

Pull Request - State: closed - Opened by Schaeff about 2 years ago

#48 - More builtins.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#45 - Test for switch

Pull Request - State: closed - Opened by chriseth about 2 years ago - 2 comments

#43 - Properly implement stop and revert.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#42 - Fix iszero.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#41 - Refactor ssa indices

Pull Request - State: closed - Opened by chriseth about 2 years ago

#37 - Add cargo cache and run on all PRs.

Pull Request - State: closed - Opened by chriseth about 2 years ago - 1 comment

#36 - Update configuration after branch rename.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#34 - Support large hex constants.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#33 - Single reference to revert variable.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#32 - Simplify builtins.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#30 - Extract evm builtins.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#29 - Use variable names.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#24 - Keep track of path conditions

Issue - State: closed - Opened by leonardoalt about 2 years ago - 1 comment

#22 - Replace some of the generated SMT strings by proper data structures

Issue - State: closed - Opened by leonardoalt about 2 years ago

#20 - Encode calldata

Issue - State: closed - Opened by leonardoalt about 2 years ago - 1 comment

#19 - Encode storage

Issue - State: closed - Opened by leonardoalt about 2 years ago - 1 comment

#18 - Encode memory

Issue - State: closed - Opened by leonardoalt about 2 years ago

#17 - User facing option to choose solver

Issue - State: closed - Opened by leonardoalt about 2 years ago

#16 - User facing option to set loop unrolling iterations

Issue - State: closed - Opened by leonardoalt about 2 years ago

#14 - Encode switch

Pull Request - State: closed - Opened by chriseth about 2 years ago - 1 comment

#13 - Require formatted source.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#12 - Fix tests.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#10 - Semantic tests.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#9 - Encode individual functions.

Pull Request - State: closed - Opened by chriseth about 2 years ago

#7 - More encoding

Pull Request - State: closed - Opened by chriseth about 2 years ago - 1 comment

#6 - clippy fixes

Pull Request - State: closed - Opened by chriseth about 2 years ago

#5 - More builtins

Pull Request - State: closed - Opened by chriseth about 2 years ago

#2 - Refactor using visitor.

Pull Request - State: closed - Opened by chriseth about 2 years ago

GitHub / leonardoalt/yools issues and pull requests