HomeFreeBSD
Diffusion FreeBSD ports repository 7f087b720e52

devel/cbmc: add new port
7f087b720e52
Actions

Description

devel/cbmc: add new port

Bounded Model Checker for C and C++ programs
https://github.com/diffblue/cbmc

Sponsored by: Netflix

Details

Provenance
olivierAuthored on Feb 1 2024, 5:50 PM
Parents
R11:e2ea116d3d99: lang/luajit: return port to the pool
Branches
Unknown
Tags
Unknown

Changes (20)

PathSize
devel/

R11:7f087b720e52

View Options

devel/Makefile

Loading...
View Options

devel/cbmc/Makefile

Loading...
View Options

devel/cbmc/distinfo

Loading...
View Options

devel/cbmc/files/patch-minisat-2.2.1_minisat_core_Solver.cc

Loading...
View Options

devel/cbmc/files/patch-minisat-2.2.1_minisat_core_SolverTypes.h

Loading...
View Options

devel/cbmc/files/patch-minisat-2.2.1_minisat_mtl_IntTypes.h

Loading...
View Options

devel/cbmc/files/patch-minisat-2.2.1_minisat_mtl_Vec.h

Loading...
View Options

devel/cbmc/files/patch-minisat-2.2.1_minisat_mtl_XAlloc.h

Loading...
View Options

devel/cbmc/files/patch-minisat-2.2.1_minisat_simp_SimpSolver.cc

Loading...
View Options

devel/cbmc/files/patch-minisat-2.2.1_minisat_utils_Options.cc

Loading...
View Options

devel/cbmc/files/patch-minisat-2.2.1_minisat_utils_Options.h

Loading...
View Options

devel/cbmc/files/patch-minisat-2.2.1_minisat_utils_ParseUtils.h

Loading...
View Options

devel/cbmc/files/patch-minisat-2.2.1_minisat_utils_System.h

Loading...
View Options

devel/cbmc/files/patch-src_common

Loading...
View Options

devel/cbmc/files/patch-src_solvers_sat_external__sat.cpp

Loading...
View Options

devel/cbmc/files/patch-src_util_optional.h

Loading...
View Options

devel/cbmc/pkg-descr

Loading...
View Options

devel/cbmc/pkg-plist

Loading...