Published July 3, 2024 | Version 1.0
Software Open

Pulse-Infinite (OOPSLA paper deadline version)

Creators

  • 1. ROR icon Bloomberg (United States)
  • 2. ROR icon Imperial College London
  • 3. ROR icon University College London
  • 4. Lacework

Description

Artifact for OOPSLA 2024 paper "Non Termination Proving At Scale"

Files

infer-oopsla24.zip

Files (54.8 MB)

Name Size Download all
md5:9e811b6538764ab51c0396d94c9172d2
54.8 MB Preview Download

Additional details

Dates

Available
2024-04-05
Github tagged oopsla24

Software

Repository URL
https://github.com/jvanegue/infer/releases/tag/oopsla24
Programming language
OCaml
Development Status
Active