Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / 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