Skip to content

Conversation

@Boyan-MILANOV
Copy link
Contributor

Allow to create constraints that consist of unsigned comparisons of abstract values

@Boyan-MILANOV Boyan-MILANOV self-assigned this Aug 25, 2022
@Boyan-MILANOV Boyan-MILANOV merged commit 7d864ac into master Aug 25, 2022
ekilmer added a commit that referenced this pull request Nov 16, 2022
* master:
  Use MemMapManager to detect free space in memory instead of page permissions (#149)
  Various EVM fixes (#148)
  Bump patch version
  Expose more functionalities in python bindings (#146)
  Bump patch version
  Expose `ULE` and `ULT` to bindings (#140)
  Support KECCAK hash of empty string (0-length) data (#139)
  Bump patch version
  Add support for EVM LOG* instructions (#138)
  Various fixes for running a Smart Contract (#135)
  Various improvements to `EVM` support (#137)
  Bump patch version
  Allow to deep copy transaction objects in bindings (#133)
  Bump version
  Allow to skip the data parameter in python event callbacks (#132)
  Bump version
  Fix processing IR stores with big addresses (#131)
  Update lief to 0.12.1 (#110)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants