package info (click to toggle)
cvc4 1.8-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 69,876 kB
  • sloc: cpp: 274,686; sh: 5,833; python: 1,893; java: 929; lisp: 763; ansic: 275; perl: 214; makefile: 22; awk: 2

Folder: options

d .. (parent)
- - rw-r--r-- 2,273 CMakeLists.txt
- - rw-r--r-- 9,378 README
- - rw-r--r-- 16,409 arith_options.toml
- - rw-r--r-- 2,178 arrays_options.toml
- - rw-r--r-- 2,912 base_handlers.h
- - rw-r--r-- 3,893 base_options.toml
- - rw-r--r-- 84 booleans_options.toml
- - rw-r--r-- 82 builtin_options.toml
- - rw-r--r-- 9,056 bv_options.toml
- - rw-r--r-- 5,229 datatypes_options.toml
- - rw-r--r-- 2,203 decision_options.toml
- - rw-r--r-- 872 decision_weight.h
- - rw-r--r-- 4,454 didyoumean.cpp
- - rw-r--r-- 1,480 didyoumean.h
- - rw-r--r-- 21,475 didyoumean_test.cpp
- - rw-r--r-- 1,289 expr_options.toml
- - rw-r--r-- 313 fp_options.toml
- - rwxr-xr-x 99 generate-toml-files.sh
- - rw-r--r-- 7,282 language.cpp
- - rw-r--r-- 6,736 language.h
- - rw-r--r-- 2,099 language.i
- - rw-r--r-- 2,616 main_options.toml
- - rwxr-xr-x 47,459 mkoptions.py
- - rw-r--r-- 879 module_template.cpp
- - rw-r--r-- 1,078 module_template.h
- - rw-r--r-- 2,931 open_ostream.cpp
- - rw-r--r-- 1,971 open_ostream.h
- - rw-r--r-- 743 option_exception.cpp
- - rw-r--r-- 2,110 option_exception.h
- - rw-r--r-- 83 option_exception.i
- - rw-r--r-- 16,057 options.h
- - rw-r--r-- 1,431 options.i
- - rw-r--r-- 19,607 options_handler.cpp
- - rw-r--r-- 5,168 options_handler.h
- - rw-r--r-- 1,023 options_holder_template.h
- - rw-r--r-- 5,920 options_public_functions.cpp
- - rw-r--r-- 23,639 options_template.cpp
- - rw-r--r-- 2,245 parser_options.toml
- - rw-r--r-- 1,063 printer_modes.cpp
- - rw-r--r-- 1,266 printer_modes.h
- - rw-r--r-- 1,509 printer_options.toml
- - rw-r--r-- 1,070 proof_options.toml
- - rw-r--r-- 2,381 prop_options.toml
- - rw-r--r-- 62,409 quantifiers_options.toml
- - rw-r--r-- 1,406 sep_options.toml
- - rw-r--r-- 2,487 set_language.cpp
- - rw-r--r-- 2,742 set_language.h
- - rw-r--r-- 766 sets_options.toml
- - rw-r--r-- 19,478 smt_options.toml
- - rw-r--r-- 5,872 strings_options.toml
- - rw-r--r-- 1,170 theory_options.toml
- - rw-r--r-- 3,026 uf_options.toml