Skip to content

resolve RIP in some x86 fp semantics #1637

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
Angs12 wants to merge 44 commits into
base: master
Choose a base branch
from
Open

resolve RIP in some x86 fp semantics #1637

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
44 commits
Select commit Hold shift + click to select a range
fc5b5e3
x86: resolve RIP-relative addresses
Angs12 May 25, 2026
36db150
x86: add instruction length and fix PC resolution
Angs12 May 25, 2026
20922e0
x86: add symbolic immediates to the lifter
Angs12 Jun 24, 2026
543dc5f
opt: restore the optimization pass cache
Angs12 Jun 25, 2026
02f8363
x86: add symbolic immediates for mov and lea
Angs12 Jul 27, 2026
c2120f2
x86: tag RIP-relative addresses before resolution
Angs12 Aug 20, 2026
1a81e7b
build: migrate to OCaml 5.3 and Jane Street 0.17
Angs12 Aug 21, 2026
b1d1fd6
x86: fix SHUFPS and add PSHUFLW/PSHUFHW
Angs12 Sep 12, 2026
ac301d4
x86: use tablegen names for PSHUFLW/PSHUFHW
Angs12 Sep 12, 2026
375ae5a
test: correct the pshuflw/pshufhw encodings
Angs12 Sep 12, 2026
4b97e04
disasm: retain conflict-tolerant semantics reads
Angs12 Sep 12, 2026
977e23f
x86: match the MCInst operand count for CVT*2SI
Angs12 Sep 12, 2026
e12aeb2
x86: index8 registers are aliases, not bases
Angs12 Sep 12, 2026
80d13c3
x86: fix swapped widths in the scalar fconvert rows
Angs12 Sep 13, 2026
5c7380a
x86: add the missing CVTSD2SSrm_Int definition
Angs12 Sep 13, 2026
beef405
x86: register the core-theory flag roles on the status flags
Angs12 Sep 15, 2026
2b007f8
dune: -O3 in the release profile too
Angs12 Sep 27, 2026
6b5510f
elf: the RELATIVE relocation fact carries its addend
Angs12 Oct 1, 2026
8e91ebb
llvm: use the ELF relocation's own addend
Angs12 Oct 1, 2026
530d1ff
llvm: declare the addend table in the loader scheme
Angs12 Oct 1, 2026
841e559
disasm: expose run_in_scope
Angs12 Oct 2, 2026
097b0cd
disasm: publish Recursive.global_cfg
Angs12 Oct 6, 2026
8f90fa9
x86: mark locked RMW and implicit xchg
Angs12 Oct 6, 2026
806c5f6
llvm: expose ELF program-header type and alignment in Ogre
Angs12 Oct 7, 2026
9918e63
x86: decode byte xadd and preserve destination operand order
Angs12 Oct 7, 2026
b4ed831
x86: decode byte xchg and cmpxchg in the exchange family
Angs12 Oct 7, 2026
20cb9be
x86: give byte exchange one lifter owner across backend modes
Angs12 Oct 7, 2026
648a3a4
x86: return cmpxchg8b low and high halves in EAX and EDX
Angs12 Oct 7, 2026
0399207
x86: honor REX.B in accumulator exchange opcode 90
Angs12 Oct 7, 2026
61c0f15
x86: emit explicit atomic intrinsics with captured operands
Angs12 Oct 8, 2026
3e35d3c
x86: alias the R8-R15 sub-registers onto their 64-bit parents
Angs12 Oct 8, 2026
61d733d
x86: declare remaining operand registers and EIP addressing
Angs12 Oct 8, 2026
299c15b
x86: convert the 32-bit source of CVTSI2SS/CVTSI2SD
Angs12 Oct 8, 2026
3609abd
x86: fix the SSE compare and conversion forms
Angs12 Oct 8, 2026
eded678
x86: MINSD/MAXSD write only the low double
Angs12 Oct 8, 2026
d41a6eb
x86: add SSE compare, min/max, and sqrt semantics
Angs12 Oct 8, 2026
1c35d7a
x86: address memory operands as base + index*scale + disp
Angs12 Oct 8, 2026
045f3d6
x86: assign div and idiv quotient and remainder registers directly
Angs12 Oct 16, 2026
99c72bb
bap: join instruction properties monotonically
Angs12 Oct 18, 2026
b991bc5
bap: preserve memory-typed indirect jump targets
Angs12 Oct 18, 2026
6905aab
bap: resume a decode from given addresses
Angs12 Oct 18, 2026
f3382e5
nix flake
Angs12 Oct 24, 2026
a9505f2
x86: add x87 semantics as intrinsics
Angs12 Oct 25, 2026
dcdf42b
bap: store multi-chunk words in byte order
Angs12 Oct 25, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
4 changes: 2 additions & 2 deletions bap-abi.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,10 +9,10 @@ tags: ["bap" "bap-pass" "bap-plugin"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"ppx_bap" {= version}
"regular" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-analyze.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,13 +9,13 @@ tags: ["bap" "bap-command" "bap-plugin"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-core-theory" {= version}
"bap-knowledge" {= version}
"bap-main" {= version}
"bap-std" {= version}
"bitvec" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"linenoise" {>= "1.1.0" & < "2.0.0"}
"monads" {= version}
"bap-common" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-api.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,11 @@ tags: ["bap" "bap-plugin" "bap-library"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-common" {= version}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"fileutils"
"ppx_bap" {= version}
"regular" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-arm.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ tags: ["bap" "bap-plugin" "bap-library" "arm"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-abi" {= version}
"bap-api" {= version}
"bap-core-theory" {= version}
Expand All @@ -21,7 +21,7 @@ depends: [
"bap-traces" {= version}
"bitvec-order" {= version}
"bitvec" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"monads" {= version}
"bap-common" {= version}
"ogre" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-beagle-strings.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@ tags: ["bap" "bap-plugin"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"dune" {>= "3.8"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"bap-beagle" {= version}
"ppx_bap" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-beagle.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,13 +9,13 @@ tags: ["bap" "bap-plugin"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-future" {= version}
"bap-microx" {= version}
"bap-primus" {= version}
"bap-std" {= version}
"bap-strings" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"monads" {= version}
"bap-common" {= version}
"ppx_bap" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-bil.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,15 +9,15 @@ tags: ["bap" "bap-plugin"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-core-theory" {= version}
"bap-future" {= version}
"bap-knowledge" {= version}
"bap-main" {= version}
"bap-std" {= version}
"bitvec-order" {= version}
"bitvec" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"monads" {= version}
"bap-common" {= version}
"ogre" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-bml.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@ tags: ["bap" "bap-library"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"ppx_bap" {= version}
"odoc" {with-doc}
Expand Down
4 changes: 2 additions & 2 deletions bap-build.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@ tags: ["bap" "bap-tool" "ocamlbuild"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"dune" {>= "3.8"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"ocamlbuild"
"ocamlfind"
Expand Down
4 changes: 2 additions & 2 deletions bap-bundle.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@ tags: ["bap" "bap-tool"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"camlzip" {>= "1.0" & < "2.0"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"fileutils"
"bap-common" {= version}
"ppx_bap" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-byteweight-frontend.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,11 @@ tags: ["bap" "bap-frontend" "bap-command"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-byteweight" {= version}
"bap-std" {= version}
"cmdliner" {>= "1.0" & < "2.0"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"fileutils"
"bap-common" {= version}
"ocurl" {>= "0.9.0"}
Expand Down
4 changes: 2 additions & 2 deletions bap-byteweight.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,11 @@ tags: ["bap" "bap-library" "bap-plugin"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-signatures" {= version}
"bap-std" {= version}
"camlzip" {>= "1.0" & < "2.0"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"ppx_bap" {= version}
"regular" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-c.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,13 +9,13 @@ tags: ["bap" "bap-library" "c"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-abi" {= version}
"bap-api" {= version}
"bap-core-theory" {= version}
"bap-knowledge" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"ppx_bap" {= version}
"odoc" {with-doc}
Expand Down
4 changes: 2 additions & 2 deletions bap-cache.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,10 +9,10 @@ tags: ["bap" "bap-plugin"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"fileutils"
"mmap"
"bap-common" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-callgraph-collator.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,10 +9,10 @@ tags: ["bap" "bap-analysis"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"graphlib" {= version}
"bap-common" {= version}
"ppx_bap" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-callsites.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@ tags: ["bap" "bap-plugin" "bap-pass"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"odoc" {with-doc}
]
Expand Down
8 changes: 4 additions & 4 deletions bap-common.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,12 +9,12 @@ tags: ["bap" "meta"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"base" {>= "v0.14" & < "v0.16"}
"dune" {>= "3.1"}
"base" {>= "v0.17" & < "v0.18"}
"dune" {>= "3.8"}
"dune-configurator"
"dune-site"
"ocaml" {> "4.08.0"}
"stdio" {>= "v0.14" & < "v0.16"}
"ocaml" {>= "5.1.0"}
"stdio" {>= "v0.17" & < "v0.18"}
"odoc" {with-doc}
]
build: [
Expand Down
4 changes: 2 additions & 2 deletions bap-constant-tracker.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,10 +9,10 @@ tags: ["bap" "bap-analysis" "bap-plugin" "bap-primus"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-primus" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"odoc" {with-doc}
]
Expand Down
4 changes: 2 additions & 2 deletions bap-core-theory.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,14 +11,14 @@ tags: ["bap" "bap-library"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-knowledge" {= version}
"bap-main" {= version}
"bitvec" {= version}
"bitvec-binprot" {= version}
"bitvec-order" {= version}
"bitvec-sexp" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"ppx_bap" {= version}
"odoc" {with-doc}
Expand Down
2 changes: 1 addition & 1 deletion bap-core.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ tags: ["bap" "meta"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-abi" {= version}
"bap-analyze" {= version}
"bap-api" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-cxxfilt.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,11 @@ tags: ["bap" "bap-plugin"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-demangle" {= version}
"bap-std" {= version}
"conf-binutils" {>= "0.3"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"odoc" {with-doc}
]
Expand Down
4 changes: 2 additions & 2 deletions bap-demangle.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,11 @@ tags: ["bap" "bap-library"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-core-theory" {= version}
"bap-knowledge" {= version}
"bap-main" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"odoc" {with-doc}
]
Expand Down
4 changes: 2 additions & 2 deletions bap-dependencies.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,10 +9,10 @@ tags: ["bap" "bap-command"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"ogre" {= version}
"ppx_bap" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-disassemble.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ tags: ["bap" "bap-command"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-core-theory" {= version}
"bap-knowledge" {= version}
"bap-main" {= version}
Expand All @@ -19,7 +19,7 @@ depends: [
"bitvec-order" {= version}
"bitvec-sexp" {= version}
"bitvec" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"monads" {= version}
"bap-common" {= version}
"ogre" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-dump-symbols.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@ tags: ["bap" "bap-plugin"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"graphlib" {= version}
"bap-common" {= version}
"ppx_bap" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-dwarf.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@ tags: ["bap" "bap-library" "dwarf"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"ppx_bap" {= version}
"regular" {= version}
Expand Down
4 changes: 2 additions & 2 deletions bap-elementary.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,13 +9,13 @@ tags: ["bap" "bap-library" "floating-points"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-common" {= version}
"bap-core-theory" {= version}
"bap-knowledge" {= version}
"bap-std" {= version}
"bitvec" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"odoc" {with-doc}
]
build: [
Expand Down
6 changes: 3 additions & 3 deletions bap-elf.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,13 +9,13 @@ tags: ["bap" "bap-plugin" "elf"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"dune" {>= "3.8"}
"bap-dwarf" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {>= "v0.17" & < "v0.18"}
"bap-common" {= version}
"ppx_bap" {= version}
"ppx_bitstring" {>= "4.0.0" & < "5.0.0"}
"ppx_bitstring" {>= "4.0.0"}
"regular" {= version}
"odoc" {with-doc}
]
Expand Down
Loading
Loading