GNU Lesser General Public License v3.0 or later
-----------------------------------------------
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/code/CMakeConfig.hpp.in

MIT License
-----------
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/code/incompletify.cpp
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/code/vipr2html.cpp
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/code/viprchk.cpp
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/code/viprchk_parallel.cpp
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/code/viprcomp.cpp
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/code/viprttn.cpp

Unknown or generated
--------------------
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/.gitlab-ci.yml
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/CHANGELOG
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/README.md
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/cert_spec_v1_0.md
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/cert_spec_v1_1.md
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/code/CMakeLists.txt
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/code/cmake/Dependencies.cmake
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/code/cmake/Modules/FindGMP.cmake
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/IPCO_eg3.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/cg.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/cg.vipr.html
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/infeasbb.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/infeasbb.vipr.html
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/ip.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/ip.vipr.html
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/paper_eg3.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/paper_eg3_incomplete.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/paper_eg3_weak.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/viprcomp_examples/IPCO-INCOMPLETE.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/viprcomp_examples/IPCO_eg3_INCOMPLETE.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/viprcomp_examples/cg_INCOMPLETE.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/viprcomp_examples/infeasbb_INCOMPLETE.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/examples/viprcomp_examples/ip_INCOMPLETE.vipr
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/experiments/README.md
vipr-1.1_20251029.30f2951-build/vipr-30f2951d1e90e47afa821bdd1b12b82246656c42/viprcompchk.sh