├── .bazelignore ├── .bazelrc ├── .bazelversion ├── .clang-format ├── .codecov.yml ├── .github ├── scripts │ ├── setup-env.sh │ └── update-alternatives-llvm.sh └── workflows │ ├── bazel.yml │ ├── build-apt.yml │ ├── clang-format.yml │ └── find-coverage.yml ├── .gitignore ├── BUILD ├── CMakeLists.txt ├── Config.h.in ├── LICENSE ├── MODULE.bazel ├── README.md ├── WORKSPACE ├── bazel ├── BUILD ├── bitcode.bzl ├── cache.bazelrc ├── ci.bazelrc ├── clang-format.bzl ├── configure.bzl ├── packaging.bzl ├── run_command.sh ├── toolchain │ ├── BUILD │ ├── WORKSPACE │ └── bitcode.bzl ├── utils.bzl └── warnings.bzl ├── bench ├── BUILD ├── CMakeLists.txt ├── bitcount.c ├── cpp_bench.cpp ├── demo.c ├── digitcount.c ├── digitcount2.c ├── maze-symbolic.c ├── maze.c └── sprintf.c ├── cmake ├── AFLplusplus.patch ├── CaffeineBazelConfig.cmake.in ├── CaffeineConfig.cmake.in ├── CaffeineCoverage.cmake ├── CaffeineDependencies.cmake ├── CaffeineFlags.cmake ├── CaffeineFormatting.cmake ├── CaffeineLinking.cmake ├── CaffeineLinting.cmake ├── CaffeinePatch.cmake ├── CaffeineSanitizers.cmake ├── CaffeineTemplateCMakeLists.txt.in ├── CaffeineTestUtils.cmake ├── CaffeineUtils.cmake ├── CaffeineWarnings.cmake ├── FindLMDB.cmake ├── FindZ3.cmake ├── LLVMIRUtils.cmake └── immer.patch ├── docs ├── intrinsics.md └── notes │ ├── bazel.md │ ├── coverage.md │ ├── exceptions.md │ ├── performance.md │ ├── profiling.md │ └── tracing.md ├── external ├── include └── caffeine │ ├── ADT │ ├── ClonePointer.h │ ├── FunctionView.h │ ├── Guard.h │ ├── PersistentArray.h │ ├── Ref.h │ ├── SetTrie.h │ ├── SharedArray.h │ ├── SlotMap.h │ ├── Span.h │ ├── SparseVector.h │ ├── StringMap.h │ ├── ThreadMap.h │ ├── UnionFind.h │ └── WeakMap.h │ ├── IR │ ├── Assertion.h │ ├── Assertion.inl │ ├── EGraph.h │ ├── EGraphMatching.h │ ├── EMatching │ │ └── Filters.h │ ├── Matching.h │ ├── Operation.def │ ├── Operation.h │ ├── Operation.inl │ ├── OperationBase.h │ ├── OperationBuilder.h │ ├── OperationCache.h │ ├── OperationData.h │ ├── OperationSimplifier.h │ ├── Symbol.h │ ├── Transforms.h │ ├── Transforms.inl │ ├── Type.h │ ├── Type.inl │ ├── Value.h │ ├── Visitor.h │ └── Visitor.inl │ ├── Interpreter │ ├── CaffeineContext.h │ ├── Context.h │ ├── ContextEvent.h │ ├── DiskFailureLogger.h │ ├── Executor.h │ ├── ExprEval.h │ ├── ExternalFuncs │ │ ├── Abort.h │ │ ├── CaffeineAssert.h │ │ ├── CaffeineAssume.h │ │ ├── ChainCall.h │ │ ├── GenericUnwinding.h │ │ ├── MallocAlign.h │ │ └── SetjmpLongjmp.h │ ├── ExternalFunction.h │ ├── FailureLogger.h │ ├── Interpreter.h │ ├── InterpreterContext.h │ ├── Options.h │ ├── Policy.h │ ├── StackFrame.h │ ├── Store.h │ ├── Store │ │ ├── CountLimitedStore.h │ │ ├── LockfreeStore.h │ │ ├── ThreadCacheStore.h │ │ └── TimeLimitedStore.h │ ├── ThreadQueueStore.h │ └── TypeidDb.h │ ├── Memory │ ├── Allocation.h │ ├── Allocator.h │ ├── BumpAllocator.h │ ├── Heap.h │ ├── MemHeap.h │ ├── MemHeap.inl │ └── Pointer.h │ ├── Model │ ├── AssertionList.h │ ├── GraphAssertionList.h │ ├── Value.h │ └── Value.inl │ ├── Query │ └── ConstraintSlicer.h │ ├── Serialization │ ├── Serialize.h │ └── ValueIdMap.h │ ├── Solver │ ├── CachingSolver.h │ ├── CanonicalizingSolver.h │ ├── EarlyExitSolver.h │ ├── InterruptSolver.h │ ├── LoggingSolver.h │ ├── ModelEval.h │ ├── SimplifyingSolver.h │ ├── SlicingSolver.h │ ├── Solver.h │ ├── Z3 │ │ └── Convert.h │ └── Z3Solver.h │ └── Support │ ├── Assert.h │ ├── Casting.h │ ├── CopyVTable.h │ ├── Coverage.h │ ├── DiagnosticHandler.h │ ├── Hashing.h │ ├── LLVMFmt.h │ ├── LMDB.h │ ├── Macros.h │ ├── Signal.h │ ├── SyncOStream.h │ ├── Tracing.h │ └── UnsupportedOperation.h ├── interface ├── BUILD └── caffeine.h ├── libraries ├── CMakeLists.txt ├── builtins │ ├── BUILD │ ├── CMakeLists.txt │ ├── __cxxabi_config.h │ ├── caffeine-builtins.h │ ├── caffeine-unwind.h │ ├── caffeine_can_catch.cpp │ ├── cxa_exception.h │ ├── make_symbolic.c │ ├── private_typeinfo.h │ ├── stdlib.c │ ├── string.c │ ├── threading.c │ └── unwinding.cpp ├── libc │ ├── BUILD │ └── CMakeLists.txt └── libcxx │ ├── BUILD │ └── CMakeLists.txt ├── scripts ├── gen-yarpgen-tests.sh ├── output-path.sh └── vcpkg │ ├── gllvm-toolchain.cmake │ └── x64-linux-gllvm.cmake ├── src ├── ADT │ ├── PersistentArray.cpp │ ├── SharedArray.cpp │ └── Span.cpp ├── CMakeLists.txt ├── IR │ ├── Assertion.cpp │ ├── Debug.cpp │ ├── EGraph.cpp │ ├── EGraphConstprop.cpp │ ├── EGraphMatcher.cpp │ ├── EGraphMatching.cpp │ ├── EMatching │ │ ├── AllMatchers.cpp │ │ ├── Filters.cpp │ │ └── Rewrites │ │ │ ├── Associativity.cpp │ │ │ ├── Commutativity.cpp │ │ │ ├── ICmpElimination.cpp │ │ │ ├── LoadElimination.cpp │ │ │ ├── SelectConstprop.cpp │ │ │ ├── ShiftCombination.cpp │ │ │ ├── ShiftElimination.cpp │ │ │ ├── UDivElimination.cpp │ │ │ └── ZExtTruncElimination.cpp │ ├── Operation.cpp │ ├── Operation.h │ ├── OperationBase.cpp │ ├── OperationBuilder.cpp │ ├── OperationCache.cpp │ ├── OperationData.cpp │ ├── OperationSimplifier.cpp │ ├── Operations │ │ ├── ArrayBase.cpp │ │ └── EGraphNode.cpp │ ├── Symbol.cpp │ ├── Transforms │ │ ├── canonicalize.cpp │ │ └── simplify.cpp │ ├── Type.cpp │ ├── Value.cpp │ └── Visitor.cpp ├── Interpreter │ ├── CaffeineContext.cpp │ ├── CombinedFailureLogger.cpp │ ├── Context.cpp │ ├── ContextBacktrace.cpp │ ├── ContextEvent.cpp │ ├── Debug.cpp │ ├── DiskFailureLogger.cpp │ ├── Executor.cpp │ ├── ExprEval.cpp │ ├── ExternalFuncs │ │ ├── Abort.cpp │ │ ├── CaffeineAssert.cpp │ │ ├── CaffeineAssume.cpp │ │ ├── CaffeineBuiltinResolve.cpp │ │ ├── CaffeineSymbolicAlloca.cpp │ │ ├── Calloc.cpp │ │ ├── ChainCall.cpp │ │ ├── Free.cpp │ │ ├── GenericUnwinding.cpp │ │ ├── LongJmp.cpp │ │ ├── MallocAlign.cpp │ │ ├── SetJmp.cpp │ │ ├── UnwindPhase1.cpp │ │ └── UnwindPhase2.cpp │ ├── Interpreter.cpp │ ├── InterpreterContext.cpp │ ├── Intrinsics │ │ ├── llvm.abs.cpp │ │ ├── llvm.bswap.cpp │ │ ├── llvm.ctlz.cpp │ │ ├── llvm.ctpop.cpp │ │ ├── llvm.cttz.cpp │ │ ├── llvm.eh.typeid.for.cpp │ │ ├── llvm.memcpy.cpp │ │ ├── llvm.memset.cpp │ │ ├── llvm.smul.with.overflow.cpp │ │ ├── llvm.umul.with.overflow.cpp │ │ ├── llvm.vacopy.cpp │ │ ├── llvm.vaend.cpp │ │ └── llvm.vastart │ │ │ ├── common.cpp │ │ │ ├── vastart.h │ │ │ └── x86_64.cpp │ ├── Policy.cpp │ ├── PrintingFailureLogger.cpp │ ├── StackFrame.cpp │ ├── Store.cpp │ ├── Store │ │ ├── CountLimitedStore.cpp │ │ ├── LockfreeStore.cpp │ │ ├── NullContextStore.cpp │ │ ├── QueueingContextStore.cpp │ │ ├── RandomizedContextStore.cpp │ │ ├── ThreadCacheStore.cpp │ │ ├── ThreadQueueStore.cpp │ │ └── TimeLimitedStore.cpp │ └── TypeidDb.cpp ├── Memory │ ├── Allocation.cpp │ ├── Allocator.cpp │ ├── BumpAllocator.cpp │ ├── Debug.cpp │ ├── Heap.cpp │ ├── MemHeap.cpp │ └── Pointer.cpp ├── Model │ ├── AssertionList.cpp │ ├── GraphAssertionList.cpp │ └── Value.cpp ├── Protos │ ├── BUILD │ ├── operation.capnp │ ├── solver.capnp │ ├── testcase.capnp │ └── tracepoint.capnp ├── Query │ └── ConstraintSlicer.cpp ├── Serialization │ └── ValueIdMap.cpp ├── Solver │ ├── CachingSolver.cpp │ ├── CanonicalizingSolver.cpp │ ├── EarlyExitSolver.cpp │ ├── InterruptSolver.cpp │ ├── LoggingSolver.cpp │ ├── ModelEval.cpp │ ├── SimplifyingSolver.cpp │ ├── SlicingSolver.cpp │ ├── Solver.cpp │ ├── Z3 │ │ └── Convert.cpp │ ├── Z3Solver.cpp │ └── Z3Solver.h └── Support │ ├── Assert.cpp │ ├── CMakeLists.txt │ ├── CopyVTable.cpp │ ├── Coverage.cpp │ ├── DiagnosticHandler.cpp │ ├── LMDB.cpp │ ├── Signal.cpp │ ├── SyncOStream.cpp │ ├── Tracing.cpp │ └── UnsupportedOperation.cpp ├── test ├── BUILD ├── CMakeLists.txt ├── regression │ ├── BUILD │ ├── issue-103.fail.write-spans-allocation-boundary.c │ ├── issue-103.pass.write-at-end-of-allocation.c │ ├── issue-359.pass.pointer-select.c │ ├── issue-361.pass.zext-bool.ll │ ├── issue-362.pass.load-bool-from-memory.c │ ├── issue-488.pass.recursive-struct.c │ ├── issue-489.fail.write-to-const-global.c │ ├── issue-592.pass.requires-sitofp.c │ ├── issue-604.pass.float-to-int-bitcast.ll │ ├── issue-607.pass.requires-uitofp.c │ ├── issue-609.pass.requires-fptosi.c │ ├── issue-609.pass.requires-fptoui.c │ ├── issue-618.pass.requires-fpext.c │ └── issue-619.pass.requires-fptrunc.c ├── run-fail │ ├── BUILD │ ├── abort.c │ ├── abs │ │ ├── BUILD │ │ └── basic-abs.c │ ├── collatz.c │ ├── cpp │ │ ├── BUILD │ │ ├── error_not_caught.cpp │ │ └── unwind_phase1_not_found.ll │ ├── fnv.c │ ├── fp │ │ ├── BUILD │ │ ├── approx-sqrt.c │ │ ├── greater-than-all.c │ │ └── self-equality.c │ ├── interleave.c │ ├── intrin │ │ ├── BUILD │ │ ├── call-longjmp.ll │ │ └── invoke-longjmp.ll │ ├── make_symbolic │ │ ├── BUILD │ │ └── init-struct.c │ ├── mem │ │ ├── BUILD │ │ ├── alloca-escaped.c │ │ ├── allocations-anywhere.c │ │ ├── free-stack-alloca.c │ │ ├── global-mem-readwrite.c │ │ ├── interleave.c │ │ └── select-array.c │ ├── murmurhash3.c │ ├── sample.c │ ├── sdiv-nonzero.c │ ├── sdiv-udiv-inequal.c │ ├── sdiv-zero.c │ ├── vector │ │ ├── BUILD │ │ ├── extractelement1.ll │ │ └── shufflevector1.ll │ └── xorfun.c ├── run-pass │ ├── BUILD │ ├── abs │ │ └── basic-abs.c │ ├── branch-false.c │ ├── branch-true.c │ ├── call-extern-function-ptr.c │ ├── const-folding │ │ ├── BUILD │ │ ├── float.ll │ │ └── int.ll │ ├── cpp │ │ ├── BUILD │ │ ├── caffeine_can_catch.cpp │ │ ├── catch_an_exception.cpp │ │ ├── catch_an_int.cpp │ │ ├── global-ctors.cpp │ │ ├── little_exception.cpp │ │ ├── unwind_phase1_catch.cpp │ │ ├── unwind_phase1_catchall.ll │ │ ├── unwind_phase1_filter.ll │ │ ├── unwind_phase1_filterall.ll │ │ ├── unwind_phase1_inheritance.cpp │ │ ├── unwind_phase1_multicatch.cpp │ │ └── vector.cpp │ ├── fp │ │ ├── 2plus2is4.c │ │ ├── BUILD │ │ └── nans-are-nans.c │ ├── inst │ │ ├── extractelement │ │ │ ├── BUILD │ │ │ └── extract-ptr-vector.ll │ │ ├── extractvalue │ │ │ ├── BUILD │ │ │ ├── const-array.ll │ │ │ ├── const-struct.ll │ │ │ ├── const-zero-struct.ll │ │ │ ├── nested.ll │ │ │ └── roundtrip.ll │ │ ├── fcmp │ │ │ ├── BUILD │ │ │ └── vector-fcmp-true.ll │ │ ├── getelementptr │ │ │ ├── BUILD │ │ │ └── vector-gep.ll │ │ ├── insertelement │ │ │ ├── BUILD │ │ │ └── insert-ptr-vector.ll │ │ ├── inttoptr │ │ │ ├── BUILD │ │ │ └── roundtrip.ll │ │ ├── select │ │ │ ├── BUILD │ │ │ └── vector-select.ll │ │ ├── store │ │ │ ├── BUILD │ │ │ └── roundtrip-float-store.ll │ │ └── sub │ │ │ ├── BUILD │ │ │ └── simple.ll │ ├── intrin │ │ ├── bswap │ │ │ ├── BUILD │ │ │ ├── bswap-basic.ll │ │ │ └── bswap-roundtrip.ll │ │ ├── caffeine_assert │ │ │ ├── BUILD │ │ │ └── invoke-assert.ll │ │ ├── ctlz │ │ │ ├── BUILD │ │ │ ├── exhaustive.c │ │ │ ├── intermediate.c │ │ │ ├── maxval.c │ │ │ └── zero.c │ │ ├── ctpop │ │ │ ├── BUILD │ │ │ ├── const.c │ │ │ └── reference.c │ │ ├── cttz │ │ │ ├── BUILD │ │ │ ├── exhaustive.c │ │ │ ├── intermediate.c │ │ │ ├── maxval.c │ │ │ └── zero.c │ │ ├── longjmp │ │ │ ├── BUILD │ │ │ ├── invoke-longjmp.ll │ │ │ └── setjmp-longjmp.c │ │ ├── setjmp │ │ │ ├── BUILD │ │ │ └── setjmp-no-longjmp.c │ │ ├── typeid_for │ │ │ ├── BUILD │ │ │ └── typeid-for.ll │ │ └── umul.with.overflow │ │ │ ├── BUILD │ │ │ └── check-oversized-ints.c │ ├── mem │ │ ├── BUILD │ │ ├── alloca-basic.c │ │ ├── calloc-is-all-zero.c │ │ ├── const-getelementptr.c │ │ ├── global-array-select.c │ │ ├── global-int-store.c │ │ ├── global-undef-array.ll │ │ ├── global-zeroinitializer-array.ll │ │ ├── global-zeroinitializer.c │ │ ├── interleave.c │ │ ├── malloc-free.c │ │ ├── memcpy-basic.c │ │ ├── memmove-backward.c │ │ ├── memmove-basic.c │ │ ├── memmove-forward.c │ │ ├── memset-basic.c │ │ ├── memset.c │ │ ├── pointer-bitcast.c │ │ ├── posix_memalign-basic.c │ │ ├── posix_memalign-works.c │ │ ├── simple-malloc-free.c │ │ ├── store-to-global.c │ │ ├── symbolic-malloc-free.c │ │ └── vector-load-store.c │ ├── pthread │ │ ├── BUILD │ │ └── pthread_once.c │ ├── sdiv-negative.c │ ├── sdiv-udiv-equal-nonnegative.c │ ├── sext.ll │ ├── strlen.c │ ├── switch.ll │ ├── trunc.ll │ ├── udiv-large.c │ ├── va-args │ │ ├── BUILD │ │ ├── aligned.c │ │ ├── simple.c │ │ ├── sprintf.c │ │ └── struct.c │ ├── vector │ │ ├── BUILD │ │ └── shufflevector2.ll │ └── zext.ll ├── skip-test-bazel.sh ├── skip-test.cpp ├── tests.bzl └── unit │ ├── ADT │ ├── ClonePointer.cpp │ ├── FunctionView.cpp │ ├── SetTrie.cpp │ ├── SharedArray.cpp │ ├── SlotMap.cpp │ ├── SparseVector.cpp │ ├── UnionFind.cpp │ └── WeakMap.cpp │ ├── BUILD │ ├── CMakeLists.txt │ ├── IR │ ├── Assertion.cpp │ ├── EGraph.cpp │ ├── EMatching.cpp │ ├── Matching.cpp │ ├── Operation.cpp │ ├── Transform │ │ ├── canonicalize.cpp │ │ └── rebuild.cpp │ ├── Type.cpp │ └── Value.cpp │ ├── Interpreter │ ├── AssertionList.cpp │ ├── ExprEval.cpp │ ├── InterpreterContext.cpp │ └── ir-with-global.ll │ ├── Memory │ └── MemHeap.cpp │ ├── Model │ └── GraphAssertionList.cpp │ ├── Serialization │ └── Trivial.cpp │ ├── Solver │ └── Z3Solver.cpp │ ├── Support │ ├── Assert.cpp │ └── UnsupportedOperation.cpp │ ├── Util │ ├── CaptureOutput.cpp │ └── CaptureOutput.h │ └── main.cpp ├── third_party ├── BUILD ├── CMakeLists.txt ├── README.md ├── afl │ ├── BUILD │ └── setup.bzl ├── boost │ ├── BUILD │ └── setup.bzl ├── capnp │ ├── BUILD │ ├── capnproto.BUILD │ ├── capnproto.bzl │ └── setup.bzl ├── libcxx │ ├── BUILD │ ├── build.bzl │ └── setup.bzl ├── llvm │ ├── BUILD │ ├── bonus-targets.bzl │ ├── clang.patch │ ├── llvm.patch │ └── setup.bzl ├── lmdb │ ├── BUILD │ ├── lmdb.BUILD │ └── setup.bzl ├── musl │ ├── BUILD │ ├── build.bzl │ └── setup.bzl └── rules_pkg.diff ├── tools ├── CMakeLists.txt ├── caffeine │ ├── BUILD │ ├── CMakeLists.txt │ └── main.cpp ├── guided-fuzzing │ ├── BUILD │ ├── CMakeLists.txt │ ├── README.md │ ├── include │ │ ├── CaffeineMutator.h │ │ └── GuidedExecutionPolicy.h │ └── src │ │ ├── CaffeineMutator.cpp │ │ ├── GuidedExecutionPolicy.cpp │ │ └── SymbolicMutator.cpp └── opt-plugin │ ├── BUILD │ ├── CMakeLists.txt │ ├── builtins │ ├── assert.cpp │ ├── builtins.h │ ├── memcpy.cpp │ ├── memmove.cpp │ ├── plugin.cpp │ └── resolve.cpp │ ├── plugin.cpp │ ├── plugins.h │ ├── set-source │ └── plugin.cpp │ ├── strip │ └── plugin.cpp │ └── test-main │ ├── CMakeLists.txt │ └── plugin.cpp └── vcpkg.json /.bazelignore: -------------------------------------------------------------------------------- 1 | build 2 | -------------------------------------------------------------------------------- /.bazelrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/.bazelrc -------------------------------------------------------------------------------- /.bazelversion: -------------------------------------------------------------------------------- 1 | 5.0.0 2 | -------------------------------------------------------------------------------- /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/.clang-format -------------------------------------------------------------------------------- /.codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/.codecov.yml -------------------------------------------------------------------------------- /.github/scripts/setup-env.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/.github/scripts/setup-env.sh -------------------------------------------------------------------------------- /.github/scripts/update-alternatives-llvm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/.github/scripts/update-alternatives-llvm.sh -------------------------------------------------------------------------------- /.github/workflows/bazel.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/.github/workflows/bazel.yml -------------------------------------------------------------------------------- /.github/workflows/build-apt.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/.github/workflows/build-apt.yml -------------------------------------------------------------------------------- /.github/workflows/clang-format.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/.github/workflows/clang-format.yml -------------------------------------------------------------------------------- /.github/workflows/find-coverage.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/.github/workflows/find-coverage.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/.gitignore -------------------------------------------------------------------------------- /BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/BUILD -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /Config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/Config.h.in -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/LICENSE -------------------------------------------------------------------------------- /MODULE.bazel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/MODULE.bazel -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/README.md -------------------------------------------------------------------------------- /WORKSPACE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/WORKSPACE -------------------------------------------------------------------------------- /bazel/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bazel/BUILD -------------------------------------------------------------------------------- /bazel/bitcode.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bazel/bitcode.bzl -------------------------------------------------------------------------------- /bazel/cache.bazelrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bazel/cache.bazelrc -------------------------------------------------------------------------------- /bazel/ci.bazelrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bazel/ci.bazelrc -------------------------------------------------------------------------------- /bazel/clang-format.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bazel/clang-format.bzl -------------------------------------------------------------------------------- /bazel/configure.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bazel/configure.bzl -------------------------------------------------------------------------------- /bazel/packaging.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bazel/packaging.bzl -------------------------------------------------------------------------------- /bazel/run_command.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | "$@" 4 | -------------------------------------------------------------------------------- /bazel/toolchain/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bazel/toolchain/BUILD -------------------------------------------------------------------------------- /bazel/toolchain/WORKSPACE: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bazel/toolchain/bitcode.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bazel/toolchain/bitcode.bzl -------------------------------------------------------------------------------- /bazel/utils.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bazel/utils.bzl -------------------------------------------------------------------------------- /bazel/warnings.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bazel/warnings.bzl -------------------------------------------------------------------------------- /bench/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bench/BUILD -------------------------------------------------------------------------------- /bench/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bench/CMakeLists.txt -------------------------------------------------------------------------------- /bench/bitcount.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bench/bitcount.c -------------------------------------------------------------------------------- /bench/cpp_bench.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bench/cpp_bench.cpp -------------------------------------------------------------------------------- /bench/demo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bench/demo.c -------------------------------------------------------------------------------- /bench/digitcount.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bench/digitcount.c -------------------------------------------------------------------------------- /bench/digitcount2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bench/digitcount2.c -------------------------------------------------------------------------------- /bench/maze-symbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bench/maze-symbolic.c -------------------------------------------------------------------------------- /bench/maze.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bench/maze.c -------------------------------------------------------------------------------- /bench/sprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/bench/sprintf.c -------------------------------------------------------------------------------- /cmake/AFLplusplus.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/AFLplusplus.patch -------------------------------------------------------------------------------- /cmake/CaffeineBazelConfig.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineBazelConfig.cmake.in -------------------------------------------------------------------------------- /cmake/CaffeineConfig.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineConfig.cmake.in -------------------------------------------------------------------------------- /cmake/CaffeineCoverage.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineCoverage.cmake -------------------------------------------------------------------------------- /cmake/CaffeineDependencies.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineDependencies.cmake -------------------------------------------------------------------------------- /cmake/CaffeineFlags.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineFlags.cmake -------------------------------------------------------------------------------- /cmake/CaffeineFormatting.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineFormatting.cmake -------------------------------------------------------------------------------- /cmake/CaffeineLinking.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineLinking.cmake -------------------------------------------------------------------------------- /cmake/CaffeineLinting.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineLinting.cmake -------------------------------------------------------------------------------- /cmake/CaffeinePatch.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeinePatch.cmake -------------------------------------------------------------------------------- /cmake/CaffeineSanitizers.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineSanitizers.cmake -------------------------------------------------------------------------------- /cmake/CaffeineTemplateCMakeLists.txt.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineTemplateCMakeLists.txt.in -------------------------------------------------------------------------------- /cmake/CaffeineTestUtils.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineTestUtils.cmake -------------------------------------------------------------------------------- /cmake/CaffeineUtils.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineUtils.cmake -------------------------------------------------------------------------------- /cmake/CaffeineWarnings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/CaffeineWarnings.cmake -------------------------------------------------------------------------------- /cmake/FindLMDB.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/FindLMDB.cmake -------------------------------------------------------------------------------- /cmake/FindZ3.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/FindZ3.cmake -------------------------------------------------------------------------------- /cmake/LLVMIRUtils.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/LLVMIRUtils.cmake -------------------------------------------------------------------------------- /cmake/immer.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/cmake/immer.patch -------------------------------------------------------------------------------- /docs/intrinsics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/docs/intrinsics.md -------------------------------------------------------------------------------- /docs/notes/bazel.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/docs/notes/bazel.md -------------------------------------------------------------------------------- /docs/notes/coverage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/docs/notes/coverage.md -------------------------------------------------------------------------------- /docs/notes/exceptions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/docs/notes/exceptions.md -------------------------------------------------------------------------------- /docs/notes/performance.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/docs/notes/performance.md -------------------------------------------------------------------------------- /docs/notes/profiling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/docs/notes/profiling.md -------------------------------------------------------------------------------- /docs/notes/tracing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/docs/notes/tracing.md -------------------------------------------------------------------------------- /external: -------------------------------------------------------------------------------- 1 | bazel-out/../../../external -------------------------------------------------------------------------------- /include/caffeine/ADT/ClonePointer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/ClonePointer.h -------------------------------------------------------------------------------- /include/caffeine/ADT/FunctionView.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/FunctionView.h -------------------------------------------------------------------------------- /include/caffeine/ADT/Guard.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/Guard.h -------------------------------------------------------------------------------- /include/caffeine/ADT/PersistentArray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/PersistentArray.h -------------------------------------------------------------------------------- /include/caffeine/ADT/Ref.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/Ref.h -------------------------------------------------------------------------------- /include/caffeine/ADT/SetTrie.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/SetTrie.h -------------------------------------------------------------------------------- /include/caffeine/ADT/SharedArray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/SharedArray.h -------------------------------------------------------------------------------- /include/caffeine/ADT/SlotMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/SlotMap.h -------------------------------------------------------------------------------- /include/caffeine/ADT/Span.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/Span.h -------------------------------------------------------------------------------- /include/caffeine/ADT/SparseVector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/SparseVector.h -------------------------------------------------------------------------------- /include/caffeine/ADT/StringMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/StringMap.h -------------------------------------------------------------------------------- /include/caffeine/ADT/ThreadMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/ThreadMap.h -------------------------------------------------------------------------------- /include/caffeine/ADT/UnionFind.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/UnionFind.h -------------------------------------------------------------------------------- /include/caffeine/ADT/WeakMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/ADT/WeakMap.h -------------------------------------------------------------------------------- /include/caffeine/IR/Assertion.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Assertion.h -------------------------------------------------------------------------------- /include/caffeine/IR/Assertion.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Assertion.inl -------------------------------------------------------------------------------- /include/caffeine/IR/EGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/EGraph.h -------------------------------------------------------------------------------- /include/caffeine/IR/EGraphMatching.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/EGraphMatching.h -------------------------------------------------------------------------------- /include/caffeine/IR/EMatching/Filters.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/EMatching/Filters.h -------------------------------------------------------------------------------- /include/caffeine/IR/Matching.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Matching.h -------------------------------------------------------------------------------- /include/caffeine/IR/Operation.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Operation.def -------------------------------------------------------------------------------- /include/caffeine/IR/Operation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Operation.h -------------------------------------------------------------------------------- /include/caffeine/IR/Operation.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Operation.inl -------------------------------------------------------------------------------- /include/caffeine/IR/OperationBase.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/OperationBase.h -------------------------------------------------------------------------------- /include/caffeine/IR/OperationBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/OperationBuilder.h -------------------------------------------------------------------------------- /include/caffeine/IR/OperationCache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/OperationCache.h -------------------------------------------------------------------------------- /include/caffeine/IR/OperationData.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/OperationData.h -------------------------------------------------------------------------------- /include/caffeine/IR/OperationSimplifier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/OperationSimplifier.h -------------------------------------------------------------------------------- /include/caffeine/IR/Symbol.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Symbol.h -------------------------------------------------------------------------------- /include/caffeine/IR/Transforms.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Transforms.h -------------------------------------------------------------------------------- /include/caffeine/IR/Transforms.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Transforms.inl -------------------------------------------------------------------------------- /include/caffeine/IR/Type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Type.h -------------------------------------------------------------------------------- /include/caffeine/IR/Type.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Type.inl -------------------------------------------------------------------------------- /include/caffeine/IR/Value.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Value.h -------------------------------------------------------------------------------- /include/caffeine/IR/Visitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Visitor.h -------------------------------------------------------------------------------- /include/caffeine/IR/Visitor.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/IR/Visitor.inl -------------------------------------------------------------------------------- /include/caffeine/Interpreter/CaffeineContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/CaffeineContext.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/Context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/Context.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/ContextEvent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/ContextEvent.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/DiskFailureLogger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/DiskFailureLogger.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/Executor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/Executor.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/ExprEval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/ExprEval.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/ExternalFuncs/Abort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/ExternalFuncs/Abort.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/ExternalFuncs/CaffeineAssert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/ExternalFuncs/CaffeineAssert.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/ExternalFuncs/CaffeineAssume.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/ExternalFuncs/CaffeineAssume.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/ExternalFuncs/ChainCall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/ExternalFuncs/ChainCall.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/ExternalFuncs/GenericUnwinding.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/ExternalFuncs/GenericUnwinding.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/ExternalFuncs/MallocAlign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/ExternalFuncs/MallocAlign.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/ExternalFuncs/SetjmpLongjmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/ExternalFuncs/SetjmpLongjmp.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/ExternalFunction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/ExternalFunction.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/FailureLogger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/FailureLogger.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/Interpreter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/Interpreter.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/InterpreterContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/InterpreterContext.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/Options.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/Policy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/Policy.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/StackFrame.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/StackFrame.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/Store.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/Store.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/Store/CountLimitedStore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/Store/CountLimitedStore.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/Store/LockfreeStore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/Store/LockfreeStore.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/Store/ThreadCacheStore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/Store/ThreadCacheStore.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/Store/TimeLimitedStore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/Store/TimeLimitedStore.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/ThreadQueueStore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/ThreadQueueStore.h -------------------------------------------------------------------------------- /include/caffeine/Interpreter/TypeidDb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Interpreter/TypeidDb.h -------------------------------------------------------------------------------- /include/caffeine/Memory/Allocation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Memory/Allocation.h -------------------------------------------------------------------------------- /include/caffeine/Memory/Allocator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Memory/Allocator.h -------------------------------------------------------------------------------- /include/caffeine/Memory/BumpAllocator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Memory/BumpAllocator.h -------------------------------------------------------------------------------- /include/caffeine/Memory/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Memory/Heap.h -------------------------------------------------------------------------------- /include/caffeine/Memory/MemHeap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Memory/MemHeap.h -------------------------------------------------------------------------------- /include/caffeine/Memory/MemHeap.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Memory/MemHeap.inl -------------------------------------------------------------------------------- /include/caffeine/Memory/Pointer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Memory/Pointer.h -------------------------------------------------------------------------------- /include/caffeine/Model/AssertionList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Model/AssertionList.h -------------------------------------------------------------------------------- /include/caffeine/Model/GraphAssertionList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Model/GraphAssertionList.h -------------------------------------------------------------------------------- /include/caffeine/Model/Value.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Model/Value.h -------------------------------------------------------------------------------- /include/caffeine/Model/Value.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Model/Value.inl -------------------------------------------------------------------------------- /include/caffeine/Query/ConstraintSlicer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Query/ConstraintSlicer.h -------------------------------------------------------------------------------- /include/caffeine/Serialization/Serialize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Serialization/Serialize.h -------------------------------------------------------------------------------- /include/caffeine/Serialization/ValueIdMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Serialization/ValueIdMap.h -------------------------------------------------------------------------------- /include/caffeine/Solver/CachingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Solver/CachingSolver.h -------------------------------------------------------------------------------- /include/caffeine/Solver/CanonicalizingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Solver/CanonicalizingSolver.h -------------------------------------------------------------------------------- /include/caffeine/Solver/EarlyExitSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Solver/EarlyExitSolver.h -------------------------------------------------------------------------------- /include/caffeine/Solver/InterruptSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Solver/InterruptSolver.h -------------------------------------------------------------------------------- /include/caffeine/Solver/LoggingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Solver/LoggingSolver.h -------------------------------------------------------------------------------- /include/caffeine/Solver/ModelEval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Solver/ModelEval.h -------------------------------------------------------------------------------- /include/caffeine/Solver/SimplifyingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Solver/SimplifyingSolver.h -------------------------------------------------------------------------------- /include/caffeine/Solver/SlicingSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Solver/SlicingSolver.h -------------------------------------------------------------------------------- /include/caffeine/Solver/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Solver/Solver.h -------------------------------------------------------------------------------- /include/caffeine/Solver/Z3/Convert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Solver/Z3/Convert.h -------------------------------------------------------------------------------- /include/caffeine/Solver/Z3Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Solver/Z3Solver.h -------------------------------------------------------------------------------- /include/caffeine/Support/Assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/Assert.h -------------------------------------------------------------------------------- /include/caffeine/Support/Casting.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/Casting.h -------------------------------------------------------------------------------- /include/caffeine/Support/CopyVTable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/CopyVTable.h -------------------------------------------------------------------------------- /include/caffeine/Support/Coverage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/Coverage.h -------------------------------------------------------------------------------- /include/caffeine/Support/DiagnosticHandler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/DiagnosticHandler.h -------------------------------------------------------------------------------- /include/caffeine/Support/Hashing.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/Hashing.h -------------------------------------------------------------------------------- /include/caffeine/Support/LLVMFmt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/LLVMFmt.h -------------------------------------------------------------------------------- /include/caffeine/Support/LMDB.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/LMDB.h -------------------------------------------------------------------------------- /include/caffeine/Support/Macros.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/Macros.h -------------------------------------------------------------------------------- /include/caffeine/Support/Signal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/Signal.h -------------------------------------------------------------------------------- /include/caffeine/Support/SyncOStream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/SyncOStream.h -------------------------------------------------------------------------------- /include/caffeine/Support/Tracing.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/Tracing.h -------------------------------------------------------------------------------- /include/caffeine/Support/UnsupportedOperation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/include/caffeine/Support/UnsupportedOperation.h -------------------------------------------------------------------------------- /interface/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/interface/BUILD -------------------------------------------------------------------------------- /interface/caffeine.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/interface/caffeine.h -------------------------------------------------------------------------------- /libraries/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/CMakeLists.txt -------------------------------------------------------------------------------- /libraries/builtins/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/BUILD -------------------------------------------------------------------------------- /libraries/builtins/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/CMakeLists.txt -------------------------------------------------------------------------------- /libraries/builtins/__cxxabi_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/__cxxabi_config.h -------------------------------------------------------------------------------- /libraries/builtins/caffeine-builtins.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/caffeine-builtins.h -------------------------------------------------------------------------------- /libraries/builtins/caffeine-unwind.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/caffeine-unwind.h -------------------------------------------------------------------------------- /libraries/builtins/caffeine_can_catch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/caffeine_can_catch.cpp -------------------------------------------------------------------------------- /libraries/builtins/cxa_exception.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/cxa_exception.h -------------------------------------------------------------------------------- /libraries/builtins/make_symbolic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/make_symbolic.c -------------------------------------------------------------------------------- /libraries/builtins/private_typeinfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/private_typeinfo.h -------------------------------------------------------------------------------- /libraries/builtins/stdlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/stdlib.c -------------------------------------------------------------------------------- /libraries/builtins/string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/string.c -------------------------------------------------------------------------------- /libraries/builtins/threading.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/threading.c -------------------------------------------------------------------------------- /libraries/builtins/unwinding.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/builtins/unwinding.cpp -------------------------------------------------------------------------------- /libraries/libc/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/libc/BUILD -------------------------------------------------------------------------------- /libraries/libc/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/libc/CMakeLists.txt -------------------------------------------------------------------------------- /libraries/libcxx/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/libcxx/BUILD -------------------------------------------------------------------------------- /libraries/libcxx/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/libraries/libcxx/CMakeLists.txt -------------------------------------------------------------------------------- /scripts/gen-yarpgen-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/scripts/gen-yarpgen-tests.sh -------------------------------------------------------------------------------- /scripts/output-path.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/scripts/output-path.sh -------------------------------------------------------------------------------- /scripts/vcpkg/gllvm-toolchain.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/scripts/vcpkg/gllvm-toolchain.cmake -------------------------------------------------------------------------------- /scripts/vcpkg/x64-linux-gllvm.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/scripts/vcpkg/x64-linux-gllvm.cmake -------------------------------------------------------------------------------- /src/ADT/PersistentArray.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/ADT/PersistentArray.cpp -------------------------------------------------------------------------------- /src/ADT/SharedArray.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/ADT/SharedArray.cpp -------------------------------------------------------------------------------- /src/ADT/Span.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/ADT/Span.cpp -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/IR/Assertion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Assertion.cpp -------------------------------------------------------------------------------- /src/IR/Debug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Debug.cpp -------------------------------------------------------------------------------- /src/IR/EGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EGraph.cpp -------------------------------------------------------------------------------- /src/IR/EGraphConstprop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EGraphConstprop.cpp -------------------------------------------------------------------------------- /src/IR/EGraphMatcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EGraphMatcher.cpp -------------------------------------------------------------------------------- /src/IR/EGraphMatching.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EGraphMatching.cpp -------------------------------------------------------------------------------- /src/IR/EMatching/AllMatchers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EMatching/AllMatchers.cpp -------------------------------------------------------------------------------- /src/IR/EMatching/Filters.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EMatching/Filters.cpp -------------------------------------------------------------------------------- /src/IR/EMatching/Rewrites/Associativity.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EMatching/Rewrites/Associativity.cpp -------------------------------------------------------------------------------- /src/IR/EMatching/Rewrites/Commutativity.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EMatching/Rewrites/Commutativity.cpp -------------------------------------------------------------------------------- /src/IR/EMatching/Rewrites/ICmpElimination.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EMatching/Rewrites/ICmpElimination.cpp -------------------------------------------------------------------------------- /src/IR/EMatching/Rewrites/LoadElimination.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EMatching/Rewrites/LoadElimination.cpp -------------------------------------------------------------------------------- /src/IR/EMatching/Rewrites/SelectConstprop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EMatching/Rewrites/SelectConstprop.cpp -------------------------------------------------------------------------------- /src/IR/EMatching/Rewrites/ShiftCombination.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EMatching/Rewrites/ShiftCombination.cpp -------------------------------------------------------------------------------- /src/IR/EMatching/Rewrites/ShiftElimination.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EMatching/Rewrites/ShiftElimination.cpp -------------------------------------------------------------------------------- /src/IR/EMatching/Rewrites/UDivElimination.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EMatching/Rewrites/UDivElimination.cpp -------------------------------------------------------------------------------- /src/IR/EMatching/Rewrites/ZExtTruncElimination.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/EMatching/Rewrites/ZExtTruncElimination.cpp -------------------------------------------------------------------------------- /src/IR/Operation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Operation.cpp -------------------------------------------------------------------------------- /src/IR/Operation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Operation.h -------------------------------------------------------------------------------- /src/IR/OperationBase.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/OperationBase.cpp -------------------------------------------------------------------------------- /src/IR/OperationBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/OperationBuilder.cpp -------------------------------------------------------------------------------- /src/IR/OperationCache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/OperationCache.cpp -------------------------------------------------------------------------------- /src/IR/OperationData.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/OperationData.cpp -------------------------------------------------------------------------------- /src/IR/OperationSimplifier.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/OperationSimplifier.cpp -------------------------------------------------------------------------------- /src/IR/Operations/ArrayBase.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Operations/ArrayBase.cpp -------------------------------------------------------------------------------- /src/IR/Operations/EGraphNode.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Operations/EGraphNode.cpp -------------------------------------------------------------------------------- /src/IR/Symbol.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Symbol.cpp -------------------------------------------------------------------------------- /src/IR/Transforms/canonicalize.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Transforms/canonicalize.cpp -------------------------------------------------------------------------------- /src/IR/Transforms/simplify.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Transforms/simplify.cpp -------------------------------------------------------------------------------- /src/IR/Type.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Type.cpp -------------------------------------------------------------------------------- /src/IR/Value.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Value.cpp -------------------------------------------------------------------------------- /src/IR/Visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/IR/Visitor.cpp -------------------------------------------------------------------------------- /src/Interpreter/CaffeineContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/CaffeineContext.cpp -------------------------------------------------------------------------------- /src/Interpreter/CombinedFailureLogger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/CombinedFailureLogger.cpp -------------------------------------------------------------------------------- /src/Interpreter/Context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Context.cpp -------------------------------------------------------------------------------- /src/Interpreter/ContextBacktrace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ContextBacktrace.cpp -------------------------------------------------------------------------------- /src/Interpreter/ContextEvent.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ContextEvent.cpp -------------------------------------------------------------------------------- /src/Interpreter/Debug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Debug.cpp -------------------------------------------------------------------------------- /src/Interpreter/DiskFailureLogger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/DiskFailureLogger.cpp -------------------------------------------------------------------------------- /src/Interpreter/Executor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Executor.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExprEval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExprEval.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/Abort.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/Abort.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/CaffeineAssert.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/CaffeineAssert.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/CaffeineAssume.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/CaffeineAssume.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/CaffeineBuiltinResolve.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/CaffeineBuiltinResolve.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/CaffeineSymbolicAlloca.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/CaffeineSymbolicAlloca.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/Calloc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/Calloc.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/ChainCall.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/ChainCall.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/Free.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/Free.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/GenericUnwinding.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/GenericUnwinding.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/LongJmp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/LongJmp.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/MallocAlign.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/MallocAlign.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/SetJmp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/SetJmp.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/UnwindPhase1.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/UnwindPhase1.cpp -------------------------------------------------------------------------------- /src/Interpreter/ExternalFuncs/UnwindPhase2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/ExternalFuncs/UnwindPhase2.cpp -------------------------------------------------------------------------------- /src/Interpreter/Interpreter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Interpreter.cpp -------------------------------------------------------------------------------- /src/Interpreter/InterpreterContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/InterpreterContext.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.abs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.abs.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.bswap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.bswap.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.ctlz.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.ctlz.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.ctpop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.ctpop.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.cttz.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.cttz.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.eh.typeid.for.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.eh.typeid.for.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.memcpy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.memcpy.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.memset.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.memset.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.smul.with.overflow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.smul.with.overflow.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.umul.with.overflow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.umul.with.overflow.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.vacopy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.vacopy.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.vaend.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.vaend.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.vastart/common.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.vastart/common.cpp -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.vastart/vastart.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.vastart/vastart.h -------------------------------------------------------------------------------- /src/Interpreter/Intrinsics/llvm.vastart/x86_64.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Intrinsics/llvm.vastart/x86_64.cpp -------------------------------------------------------------------------------- /src/Interpreter/Policy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Policy.cpp -------------------------------------------------------------------------------- /src/Interpreter/PrintingFailureLogger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/PrintingFailureLogger.cpp -------------------------------------------------------------------------------- /src/Interpreter/StackFrame.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/StackFrame.cpp -------------------------------------------------------------------------------- /src/Interpreter/Store.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Store.cpp -------------------------------------------------------------------------------- /src/Interpreter/Store/CountLimitedStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Store/CountLimitedStore.cpp -------------------------------------------------------------------------------- /src/Interpreter/Store/LockfreeStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Store/LockfreeStore.cpp -------------------------------------------------------------------------------- /src/Interpreter/Store/NullContextStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Store/NullContextStore.cpp -------------------------------------------------------------------------------- /src/Interpreter/Store/QueueingContextStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Store/QueueingContextStore.cpp -------------------------------------------------------------------------------- /src/Interpreter/Store/RandomizedContextStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Store/RandomizedContextStore.cpp -------------------------------------------------------------------------------- /src/Interpreter/Store/ThreadCacheStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Store/ThreadCacheStore.cpp -------------------------------------------------------------------------------- /src/Interpreter/Store/ThreadQueueStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Store/ThreadQueueStore.cpp -------------------------------------------------------------------------------- /src/Interpreter/Store/TimeLimitedStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/Store/TimeLimitedStore.cpp -------------------------------------------------------------------------------- /src/Interpreter/TypeidDb.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Interpreter/TypeidDb.cpp -------------------------------------------------------------------------------- /src/Memory/Allocation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Memory/Allocation.cpp -------------------------------------------------------------------------------- /src/Memory/Allocator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Memory/Allocator.cpp -------------------------------------------------------------------------------- /src/Memory/BumpAllocator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Memory/BumpAllocator.cpp -------------------------------------------------------------------------------- /src/Memory/Debug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Memory/Debug.cpp -------------------------------------------------------------------------------- /src/Memory/Heap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Memory/Heap.cpp -------------------------------------------------------------------------------- /src/Memory/MemHeap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Memory/MemHeap.cpp -------------------------------------------------------------------------------- /src/Memory/Pointer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Memory/Pointer.cpp -------------------------------------------------------------------------------- /src/Model/AssertionList.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Model/AssertionList.cpp -------------------------------------------------------------------------------- /src/Model/GraphAssertionList.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Model/GraphAssertionList.cpp -------------------------------------------------------------------------------- /src/Model/Value.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Model/Value.cpp -------------------------------------------------------------------------------- /src/Protos/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Protos/BUILD -------------------------------------------------------------------------------- /src/Protos/operation.capnp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Protos/operation.capnp -------------------------------------------------------------------------------- /src/Protos/solver.capnp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Protos/solver.capnp -------------------------------------------------------------------------------- /src/Protos/testcase.capnp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Protos/testcase.capnp -------------------------------------------------------------------------------- /src/Protos/tracepoint.capnp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Protos/tracepoint.capnp -------------------------------------------------------------------------------- /src/Query/ConstraintSlicer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Query/ConstraintSlicer.cpp -------------------------------------------------------------------------------- /src/Serialization/ValueIdMap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Serialization/ValueIdMap.cpp -------------------------------------------------------------------------------- /src/Solver/CachingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/CachingSolver.cpp -------------------------------------------------------------------------------- /src/Solver/CanonicalizingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/CanonicalizingSolver.cpp -------------------------------------------------------------------------------- /src/Solver/EarlyExitSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/EarlyExitSolver.cpp -------------------------------------------------------------------------------- /src/Solver/InterruptSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/InterruptSolver.cpp -------------------------------------------------------------------------------- /src/Solver/LoggingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/LoggingSolver.cpp -------------------------------------------------------------------------------- /src/Solver/ModelEval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/ModelEval.cpp -------------------------------------------------------------------------------- /src/Solver/SimplifyingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/SimplifyingSolver.cpp -------------------------------------------------------------------------------- /src/Solver/SlicingSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/SlicingSolver.cpp -------------------------------------------------------------------------------- /src/Solver/Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/Solver.cpp -------------------------------------------------------------------------------- /src/Solver/Z3/Convert.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/Z3/Convert.cpp -------------------------------------------------------------------------------- /src/Solver/Z3Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/Z3Solver.cpp -------------------------------------------------------------------------------- /src/Solver/Z3Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Solver/Z3Solver.h -------------------------------------------------------------------------------- /src/Support/Assert.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Support/Assert.cpp -------------------------------------------------------------------------------- /src/Support/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Support/CMakeLists.txt -------------------------------------------------------------------------------- /src/Support/CopyVTable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Support/CopyVTable.cpp -------------------------------------------------------------------------------- /src/Support/Coverage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Support/Coverage.cpp -------------------------------------------------------------------------------- /src/Support/DiagnosticHandler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Support/DiagnosticHandler.cpp -------------------------------------------------------------------------------- /src/Support/LMDB.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Support/LMDB.cpp -------------------------------------------------------------------------------- /src/Support/Signal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Support/Signal.cpp -------------------------------------------------------------------------------- /src/Support/SyncOStream.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Support/SyncOStream.cpp -------------------------------------------------------------------------------- /src/Support/Tracing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Support/Tracing.cpp -------------------------------------------------------------------------------- /src/Support/UnsupportedOperation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/src/Support/UnsupportedOperation.cpp -------------------------------------------------------------------------------- /test/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/BUILD -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/regression/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/BUILD -------------------------------------------------------------------------------- /test/regression/issue-103.fail.write-spans-allocation-boundary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-103.fail.write-spans-allocation-boundary.c -------------------------------------------------------------------------------- /test/regression/issue-103.pass.write-at-end-of-allocation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-103.pass.write-at-end-of-allocation.c -------------------------------------------------------------------------------- /test/regression/issue-359.pass.pointer-select.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-359.pass.pointer-select.c -------------------------------------------------------------------------------- /test/regression/issue-361.pass.zext-bool.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-361.pass.zext-bool.ll -------------------------------------------------------------------------------- /test/regression/issue-362.pass.load-bool-from-memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-362.pass.load-bool-from-memory.c -------------------------------------------------------------------------------- /test/regression/issue-488.pass.recursive-struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-488.pass.recursive-struct.c -------------------------------------------------------------------------------- /test/regression/issue-489.fail.write-to-const-global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-489.fail.write-to-const-global.c -------------------------------------------------------------------------------- /test/regression/issue-592.pass.requires-sitofp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-592.pass.requires-sitofp.c -------------------------------------------------------------------------------- /test/regression/issue-604.pass.float-to-int-bitcast.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-604.pass.float-to-int-bitcast.ll -------------------------------------------------------------------------------- /test/regression/issue-607.pass.requires-uitofp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-607.pass.requires-uitofp.c -------------------------------------------------------------------------------- /test/regression/issue-609.pass.requires-fptosi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-609.pass.requires-fptosi.c -------------------------------------------------------------------------------- /test/regression/issue-609.pass.requires-fptoui.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-609.pass.requires-fptoui.c -------------------------------------------------------------------------------- /test/regression/issue-618.pass.requires-fpext.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-618.pass.requires-fpext.c -------------------------------------------------------------------------------- /test/regression/issue-619.pass.requires-fptrunc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/regression/issue-619.pass.requires-fptrunc.c -------------------------------------------------------------------------------- /test/run-fail/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/BUILD -------------------------------------------------------------------------------- /test/run-fail/abort.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | void test() { 4 | abort(); 5 | } 6 | -------------------------------------------------------------------------------- /test/run-fail/abs/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/abs/BUILD -------------------------------------------------------------------------------- /test/run-fail/abs/basic-abs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/abs/basic-abs.c -------------------------------------------------------------------------------- /test/run-fail/collatz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/collatz.c -------------------------------------------------------------------------------- /test/run-fail/cpp/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/cpp/BUILD -------------------------------------------------------------------------------- /test/run-fail/cpp/error_not_caught.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/cpp/error_not_caught.cpp -------------------------------------------------------------------------------- /test/run-fail/cpp/unwind_phase1_not_found.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/cpp/unwind_phase1_not_found.ll -------------------------------------------------------------------------------- /test/run-fail/fnv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/fnv.c -------------------------------------------------------------------------------- /test/run-fail/fp/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/fp/BUILD -------------------------------------------------------------------------------- /test/run-fail/fp/approx-sqrt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/fp/approx-sqrt.c -------------------------------------------------------------------------------- /test/run-fail/fp/greater-than-all.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/fp/greater-than-all.c -------------------------------------------------------------------------------- /test/run-fail/fp/self-equality.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/fp/self-equality.c -------------------------------------------------------------------------------- /test/run-fail/interleave.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/interleave.c -------------------------------------------------------------------------------- /test/run-fail/intrin/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/intrin/BUILD -------------------------------------------------------------------------------- /test/run-fail/intrin/call-longjmp.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/intrin/call-longjmp.ll -------------------------------------------------------------------------------- /test/run-fail/intrin/invoke-longjmp.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/intrin/invoke-longjmp.ll -------------------------------------------------------------------------------- /test/run-fail/make_symbolic/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/make_symbolic/BUILD -------------------------------------------------------------------------------- /test/run-fail/make_symbolic/init-struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/make_symbolic/init-struct.c -------------------------------------------------------------------------------- /test/run-fail/mem/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/mem/BUILD -------------------------------------------------------------------------------- /test/run-fail/mem/alloca-escaped.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/mem/alloca-escaped.c -------------------------------------------------------------------------------- /test/run-fail/mem/allocations-anywhere.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/mem/allocations-anywhere.c -------------------------------------------------------------------------------- /test/run-fail/mem/free-stack-alloca.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/mem/free-stack-alloca.c -------------------------------------------------------------------------------- /test/run-fail/mem/global-mem-readwrite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/mem/global-mem-readwrite.c -------------------------------------------------------------------------------- /test/run-fail/mem/interleave.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/mem/interleave.c -------------------------------------------------------------------------------- /test/run-fail/mem/select-array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/mem/select-array.c -------------------------------------------------------------------------------- /test/run-fail/murmurhash3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/murmurhash3.c -------------------------------------------------------------------------------- /test/run-fail/sample.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/sample.c -------------------------------------------------------------------------------- /test/run-fail/sdiv-nonzero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/sdiv-nonzero.c -------------------------------------------------------------------------------- /test/run-fail/sdiv-udiv-inequal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/sdiv-udiv-inequal.c -------------------------------------------------------------------------------- /test/run-fail/sdiv-zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/sdiv-zero.c -------------------------------------------------------------------------------- /test/run-fail/vector/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/vector/BUILD -------------------------------------------------------------------------------- /test/run-fail/vector/extractelement1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/vector/extractelement1.ll -------------------------------------------------------------------------------- /test/run-fail/vector/shufflevector1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/vector/shufflevector1.ll -------------------------------------------------------------------------------- /test/run-fail/xorfun.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-fail/xorfun.c -------------------------------------------------------------------------------- /test/run-pass/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/BUILD -------------------------------------------------------------------------------- /test/run-pass/abs/basic-abs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/abs/basic-abs.c -------------------------------------------------------------------------------- /test/run-pass/branch-false.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/branch-false.c -------------------------------------------------------------------------------- /test/run-pass/branch-true.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/branch-true.c -------------------------------------------------------------------------------- /test/run-pass/call-extern-function-ptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/call-extern-function-ptr.c -------------------------------------------------------------------------------- /test/run-pass/const-folding/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/const-folding/BUILD -------------------------------------------------------------------------------- /test/run-pass/const-folding/float.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/const-folding/float.ll -------------------------------------------------------------------------------- /test/run-pass/const-folding/int.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/const-folding/int.ll -------------------------------------------------------------------------------- /test/run-pass/cpp/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/BUILD -------------------------------------------------------------------------------- /test/run-pass/cpp/caffeine_can_catch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/caffeine_can_catch.cpp -------------------------------------------------------------------------------- /test/run-pass/cpp/catch_an_exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/catch_an_exception.cpp -------------------------------------------------------------------------------- /test/run-pass/cpp/catch_an_int.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/catch_an_int.cpp -------------------------------------------------------------------------------- /test/run-pass/cpp/global-ctors.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/global-ctors.cpp -------------------------------------------------------------------------------- /test/run-pass/cpp/little_exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/little_exception.cpp -------------------------------------------------------------------------------- /test/run-pass/cpp/unwind_phase1_catch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/unwind_phase1_catch.cpp -------------------------------------------------------------------------------- /test/run-pass/cpp/unwind_phase1_catchall.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/unwind_phase1_catchall.ll -------------------------------------------------------------------------------- /test/run-pass/cpp/unwind_phase1_filter.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/unwind_phase1_filter.ll -------------------------------------------------------------------------------- /test/run-pass/cpp/unwind_phase1_filterall.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/unwind_phase1_filterall.ll -------------------------------------------------------------------------------- /test/run-pass/cpp/unwind_phase1_inheritance.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/unwind_phase1_inheritance.cpp -------------------------------------------------------------------------------- /test/run-pass/cpp/unwind_phase1_multicatch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/unwind_phase1_multicatch.cpp -------------------------------------------------------------------------------- /test/run-pass/cpp/vector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/cpp/vector.cpp -------------------------------------------------------------------------------- /test/run-pass/fp/2plus2is4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/fp/2plus2is4.c -------------------------------------------------------------------------------- /test/run-pass/fp/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/fp/BUILD -------------------------------------------------------------------------------- /test/run-pass/fp/nans-are-nans.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/fp/nans-are-nans.c -------------------------------------------------------------------------------- /test/run-pass/inst/extractelement/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/extractelement/BUILD -------------------------------------------------------------------------------- /test/run-pass/inst/extractelement/extract-ptr-vector.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/extractelement/extract-ptr-vector.ll -------------------------------------------------------------------------------- /test/run-pass/inst/extractvalue/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/extractvalue/BUILD -------------------------------------------------------------------------------- /test/run-pass/inst/extractvalue/const-array.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/extractvalue/const-array.ll -------------------------------------------------------------------------------- /test/run-pass/inst/extractvalue/const-struct.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/extractvalue/const-struct.ll -------------------------------------------------------------------------------- /test/run-pass/inst/extractvalue/const-zero-struct.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/extractvalue/const-zero-struct.ll -------------------------------------------------------------------------------- /test/run-pass/inst/extractvalue/nested.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/extractvalue/nested.ll -------------------------------------------------------------------------------- /test/run-pass/inst/extractvalue/roundtrip.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/extractvalue/roundtrip.ll -------------------------------------------------------------------------------- /test/run-pass/inst/fcmp/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/fcmp/BUILD -------------------------------------------------------------------------------- /test/run-pass/inst/fcmp/vector-fcmp-true.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/fcmp/vector-fcmp-true.ll -------------------------------------------------------------------------------- /test/run-pass/inst/getelementptr/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/getelementptr/BUILD -------------------------------------------------------------------------------- /test/run-pass/inst/getelementptr/vector-gep.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/getelementptr/vector-gep.ll -------------------------------------------------------------------------------- /test/run-pass/inst/insertelement/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/insertelement/BUILD -------------------------------------------------------------------------------- /test/run-pass/inst/insertelement/insert-ptr-vector.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/insertelement/insert-ptr-vector.ll -------------------------------------------------------------------------------- /test/run-pass/inst/inttoptr/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/inttoptr/BUILD -------------------------------------------------------------------------------- /test/run-pass/inst/inttoptr/roundtrip.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/inttoptr/roundtrip.ll -------------------------------------------------------------------------------- /test/run-pass/inst/select/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/select/BUILD -------------------------------------------------------------------------------- /test/run-pass/inst/select/vector-select.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/select/vector-select.ll -------------------------------------------------------------------------------- /test/run-pass/inst/store/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/store/BUILD -------------------------------------------------------------------------------- /test/run-pass/inst/store/roundtrip-float-store.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/store/roundtrip-float-store.ll -------------------------------------------------------------------------------- /test/run-pass/inst/sub/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/sub/BUILD -------------------------------------------------------------------------------- /test/run-pass/inst/sub/simple.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/inst/sub/simple.ll -------------------------------------------------------------------------------- /test/run-pass/intrin/bswap/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/bswap/BUILD -------------------------------------------------------------------------------- /test/run-pass/intrin/bswap/bswap-basic.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/bswap/bswap-basic.ll -------------------------------------------------------------------------------- /test/run-pass/intrin/bswap/bswap-roundtrip.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/bswap/bswap-roundtrip.ll -------------------------------------------------------------------------------- /test/run-pass/intrin/caffeine_assert/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/caffeine_assert/BUILD -------------------------------------------------------------------------------- /test/run-pass/intrin/caffeine_assert/invoke-assert.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/caffeine_assert/invoke-assert.ll -------------------------------------------------------------------------------- /test/run-pass/intrin/ctlz/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/ctlz/BUILD -------------------------------------------------------------------------------- /test/run-pass/intrin/ctlz/exhaustive.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/ctlz/exhaustive.c -------------------------------------------------------------------------------- /test/run-pass/intrin/ctlz/intermediate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/ctlz/intermediate.c -------------------------------------------------------------------------------- /test/run-pass/intrin/ctlz/maxval.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/ctlz/maxval.c -------------------------------------------------------------------------------- /test/run-pass/intrin/ctlz/zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/ctlz/zero.c -------------------------------------------------------------------------------- /test/run-pass/intrin/ctpop/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/ctpop/BUILD -------------------------------------------------------------------------------- /test/run-pass/intrin/ctpop/const.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/ctpop/const.c -------------------------------------------------------------------------------- /test/run-pass/intrin/ctpop/reference.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/ctpop/reference.c -------------------------------------------------------------------------------- /test/run-pass/intrin/cttz/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/cttz/BUILD -------------------------------------------------------------------------------- /test/run-pass/intrin/cttz/exhaustive.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/cttz/exhaustive.c -------------------------------------------------------------------------------- /test/run-pass/intrin/cttz/intermediate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/cttz/intermediate.c -------------------------------------------------------------------------------- /test/run-pass/intrin/cttz/maxval.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/cttz/maxval.c -------------------------------------------------------------------------------- /test/run-pass/intrin/cttz/zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/cttz/zero.c -------------------------------------------------------------------------------- /test/run-pass/intrin/longjmp/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/longjmp/BUILD -------------------------------------------------------------------------------- /test/run-pass/intrin/longjmp/invoke-longjmp.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/longjmp/invoke-longjmp.ll -------------------------------------------------------------------------------- /test/run-pass/intrin/longjmp/setjmp-longjmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/longjmp/setjmp-longjmp.c -------------------------------------------------------------------------------- /test/run-pass/intrin/setjmp/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/setjmp/BUILD -------------------------------------------------------------------------------- /test/run-pass/intrin/setjmp/setjmp-no-longjmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/setjmp/setjmp-no-longjmp.c -------------------------------------------------------------------------------- /test/run-pass/intrin/typeid_for/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/typeid_for/BUILD -------------------------------------------------------------------------------- /test/run-pass/intrin/typeid_for/typeid-for.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/typeid_for/typeid-for.ll -------------------------------------------------------------------------------- /test/run-pass/intrin/umul.with.overflow/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/umul.with.overflow/BUILD -------------------------------------------------------------------------------- /test/run-pass/intrin/umul.with.overflow/check-oversized-ints.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/intrin/umul.with.overflow/check-oversized-ints.c -------------------------------------------------------------------------------- /test/run-pass/mem/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/BUILD -------------------------------------------------------------------------------- /test/run-pass/mem/alloca-basic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/alloca-basic.c -------------------------------------------------------------------------------- /test/run-pass/mem/calloc-is-all-zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/calloc-is-all-zero.c -------------------------------------------------------------------------------- /test/run-pass/mem/const-getelementptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/const-getelementptr.c -------------------------------------------------------------------------------- /test/run-pass/mem/global-array-select.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/global-array-select.c -------------------------------------------------------------------------------- /test/run-pass/mem/global-int-store.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/global-int-store.c -------------------------------------------------------------------------------- /test/run-pass/mem/global-undef-array.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/global-undef-array.ll -------------------------------------------------------------------------------- /test/run-pass/mem/global-zeroinitializer-array.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/global-zeroinitializer-array.ll -------------------------------------------------------------------------------- /test/run-pass/mem/global-zeroinitializer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/global-zeroinitializer.c -------------------------------------------------------------------------------- /test/run-pass/mem/interleave.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/interleave.c -------------------------------------------------------------------------------- /test/run-pass/mem/malloc-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/malloc-free.c -------------------------------------------------------------------------------- /test/run-pass/mem/memcpy-basic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/memcpy-basic.c -------------------------------------------------------------------------------- /test/run-pass/mem/memmove-backward.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/memmove-backward.c -------------------------------------------------------------------------------- /test/run-pass/mem/memmove-basic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/memmove-basic.c -------------------------------------------------------------------------------- /test/run-pass/mem/memmove-forward.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/memmove-forward.c -------------------------------------------------------------------------------- /test/run-pass/mem/memset-basic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/memset-basic.c -------------------------------------------------------------------------------- /test/run-pass/mem/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/memset.c -------------------------------------------------------------------------------- /test/run-pass/mem/pointer-bitcast.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/pointer-bitcast.c -------------------------------------------------------------------------------- /test/run-pass/mem/posix_memalign-basic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/posix_memalign-basic.c -------------------------------------------------------------------------------- /test/run-pass/mem/posix_memalign-works.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/posix_memalign-works.c -------------------------------------------------------------------------------- /test/run-pass/mem/simple-malloc-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/simple-malloc-free.c -------------------------------------------------------------------------------- /test/run-pass/mem/store-to-global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/store-to-global.c -------------------------------------------------------------------------------- /test/run-pass/mem/symbolic-malloc-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/symbolic-malloc-free.c -------------------------------------------------------------------------------- /test/run-pass/mem/vector-load-store.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/mem/vector-load-store.c -------------------------------------------------------------------------------- /test/run-pass/pthread/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/pthread/BUILD -------------------------------------------------------------------------------- /test/run-pass/pthread/pthread_once.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/pthread/pthread_once.c -------------------------------------------------------------------------------- /test/run-pass/sdiv-negative.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/sdiv-negative.c -------------------------------------------------------------------------------- /test/run-pass/sdiv-udiv-equal-nonnegative.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/sdiv-udiv-equal-nonnegative.c -------------------------------------------------------------------------------- /test/run-pass/sext.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/sext.ll -------------------------------------------------------------------------------- /test/run-pass/strlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/strlen.c -------------------------------------------------------------------------------- /test/run-pass/switch.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/switch.ll -------------------------------------------------------------------------------- /test/run-pass/trunc.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/trunc.ll -------------------------------------------------------------------------------- /test/run-pass/udiv-large.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/udiv-large.c -------------------------------------------------------------------------------- /test/run-pass/va-args/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/va-args/BUILD -------------------------------------------------------------------------------- /test/run-pass/va-args/aligned.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/va-args/aligned.c -------------------------------------------------------------------------------- /test/run-pass/va-args/simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/va-args/simple.c -------------------------------------------------------------------------------- /test/run-pass/va-args/sprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/va-args/sprintf.c -------------------------------------------------------------------------------- /test/run-pass/va-args/struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/va-args/struct.c -------------------------------------------------------------------------------- /test/run-pass/vector/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/vector/BUILD -------------------------------------------------------------------------------- /test/run-pass/vector/shufflevector2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/vector/shufflevector2.ll -------------------------------------------------------------------------------- /test/run-pass/zext.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/run-pass/zext.ll -------------------------------------------------------------------------------- /test/skip-test-bazel.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/skip-test-bazel.sh -------------------------------------------------------------------------------- /test/skip-test.cpp: -------------------------------------------------------------------------------- 1 | 2 | int main(int, char**) { 3 | return 77; 4 | } 5 | -------------------------------------------------------------------------------- /test/tests.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/tests.bzl -------------------------------------------------------------------------------- /test/unit/ADT/ClonePointer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/ADT/ClonePointer.cpp -------------------------------------------------------------------------------- /test/unit/ADT/FunctionView.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/ADT/FunctionView.cpp -------------------------------------------------------------------------------- /test/unit/ADT/SetTrie.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/ADT/SetTrie.cpp -------------------------------------------------------------------------------- /test/unit/ADT/SharedArray.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/ADT/SharedArray.cpp -------------------------------------------------------------------------------- /test/unit/ADT/SlotMap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/ADT/SlotMap.cpp -------------------------------------------------------------------------------- /test/unit/ADT/SparseVector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/ADT/SparseVector.cpp -------------------------------------------------------------------------------- /test/unit/ADT/UnionFind.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/ADT/UnionFind.cpp -------------------------------------------------------------------------------- /test/unit/ADT/WeakMap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/ADT/WeakMap.cpp -------------------------------------------------------------------------------- /test/unit/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/BUILD -------------------------------------------------------------------------------- /test/unit/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/CMakeLists.txt -------------------------------------------------------------------------------- /test/unit/IR/Assertion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/IR/Assertion.cpp -------------------------------------------------------------------------------- /test/unit/IR/EGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/IR/EGraph.cpp -------------------------------------------------------------------------------- /test/unit/IR/EMatching.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/IR/EMatching.cpp -------------------------------------------------------------------------------- /test/unit/IR/Matching.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/IR/Matching.cpp -------------------------------------------------------------------------------- /test/unit/IR/Operation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/IR/Operation.cpp -------------------------------------------------------------------------------- /test/unit/IR/Transform/canonicalize.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/IR/Transform/canonicalize.cpp -------------------------------------------------------------------------------- /test/unit/IR/Transform/rebuild.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/IR/Transform/rebuild.cpp -------------------------------------------------------------------------------- /test/unit/IR/Type.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/IR/Type.cpp -------------------------------------------------------------------------------- /test/unit/IR/Value.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/IR/Value.cpp -------------------------------------------------------------------------------- /test/unit/Interpreter/AssertionList.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Interpreter/AssertionList.cpp -------------------------------------------------------------------------------- /test/unit/Interpreter/ExprEval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Interpreter/ExprEval.cpp -------------------------------------------------------------------------------- /test/unit/Interpreter/InterpreterContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Interpreter/InterpreterContext.cpp -------------------------------------------------------------------------------- /test/unit/Interpreter/ir-with-global.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Interpreter/ir-with-global.ll -------------------------------------------------------------------------------- /test/unit/Memory/MemHeap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Memory/MemHeap.cpp -------------------------------------------------------------------------------- /test/unit/Model/GraphAssertionList.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Model/GraphAssertionList.cpp -------------------------------------------------------------------------------- /test/unit/Serialization/Trivial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Serialization/Trivial.cpp -------------------------------------------------------------------------------- /test/unit/Solver/Z3Solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Solver/Z3Solver.cpp -------------------------------------------------------------------------------- /test/unit/Support/Assert.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Support/Assert.cpp -------------------------------------------------------------------------------- /test/unit/Support/UnsupportedOperation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Support/UnsupportedOperation.cpp -------------------------------------------------------------------------------- /test/unit/Util/CaptureOutput.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Util/CaptureOutput.cpp -------------------------------------------------------------------------------- /test/unit/Util/CaptureOutput.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/Util/CaptureOutput.h -------------------------------------------------------------------------------- /test/unit/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/test/unit/main.cpp -------------------------------------------------------------------------------- /third_party/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/BUILD -------------------------------------------------------------------------------- /third_party/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /third_party/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/README.md -------------------------------------------------------------------------------- /third_party/afl/BUILD: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /third_party/afl/setup.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/afl/setup.bzl -------------------------------------------------------------------------------- /third_party/boost/BUILD: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /third_party/boost/setup.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/boost/setup.bzl -------------------------------------------------------------------------------- /third_party/capnp/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/capnp/BUILD -------------------------------------------------------------------------------- /third_party/capnp/capnproto.BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/capnp/capnproto.BUILD -------------------------------------------------------------------------------- /third_party/capnp/capnproto.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/capnp/capnproto.bzl -------------------------------------------------------------------------------- /third_party/capnp/setup.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/capnp/setup.bzl -------------------------------------------------------------------------------- /third_party/libcxx/BUILD: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /third_party/libcxx/build.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/libcxx/build.bzl -------------------------------------------------------------------------------- /third_party/libcxx/setup.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/libcxx/setup.bzl -------------------------------------------------------------------------------- /third_party/llvm/BUILD: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /third_party/llvm/bonus-targets.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/llvm/bonus-targets.bzl -------------------------------------------------------------------------------- /third_party/llvm/clang.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/llvm/clang.patch -------------------------------------------------------------------------------- /third_party/llvm/llvm.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/llvm/llvm.patch -------------------------------------------------------------------------------- /third_party/llvm/setup.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/llvm/setup.bzl -------------------------------------------------------------------------------- /third_party/lmdb/BUILD: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /third_party/lmdb/lmdb.BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/lmdb/lmdb.BUILD -------------------------------------------------------------------------------- /third_party/lmdb/setup.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/lmdb/setup.bzl -------------------------------------------------------------------------------- /third_party/musl/BUILD: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /third_party/musl/build.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/musl/build.bzl -------------------------------------------------------------------------------- /third_party/musl/setup.bzl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/musl/setup.bzl -------------------------------------------------------------------------------- /third_party/rules_pkg.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/third_party/rules_pkg.diff -------------------------------------------------------------------------------- /tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/CMakeLists.txt -------------------------------------------------------------------------------- /tools/caffeine/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/caffeine/BUILD -------------------------------------------------------------------------------- /tools/caffeine/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/caffeine/CMakeLists.txt -------------------------------------------------------------------------------- /tools/caffeine/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/caffeine/main.cpp -------------------------------------------------------------------------------- /tools/guided-fuzzing/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/guided-fuzzing/BUILD -------------------------------------------------------------------------------- /tools/guided-fuzzing/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/guided-fuzzing/CMakeLists.txt -------------------------------------------------------------------------------- /tools/guided-fuzzing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/guided-fuzzing/README.md -------------------------------------------------------------------------------- /tools/guided-fuzzing/include/CaffeineMutator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/guided-fuzzing/include/CaffeineMutator.h -------------------------------------------------------------------------------- /tools/guided-fuzzing/include/GuidedExecutionPolicy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/guided-fuzzing/include/GuidedExecutionPolicy.h -------------------------------------------------------------------------------- /tools/guided-fuzzing/src/CaffeineMutator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/guided-fuzzing/src/CaffeineMutator.cpp -------------------------------------------------------------------------------- /tools/guided-fuzzing/src/GuidedExecutionPolicy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/guided-fuzzing/src/GuidedExecutionPolicy.cpp -------------------------------------------------------------------------------- /tools/guided-fuzzing/src/SymbolicMutator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/guided-fuzzing/src/SymbolicMutator.cpp -------------------------------------------------------------------------------- /tools/opt-plugin/BUILD: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/BUILD -------------------------------------------------------------------------------- /tools/opt-plugin/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/CMakeLists.txt -------------------------------------------------------------------------------- /tools/opt-plugin/builtins/assert.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/builtins/assert.cpp -------------------------------------------------------------------------------- /tools/opt-plugin/builtins/builtins.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/builtins/builtins.h -------------------------------------------------------------------------------- /tools/opt-plugin/builtins/memcpy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/builtins/memcpy.cpp -------------------------------------------------------------------------------- /tools/opt-plugin/builtins/memmove.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/builtins/memmove.cpp -------------------------------------------------------------------------------- /tools/opt-plugin/builtins/plugin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/builtins/plugin.cpp -------------------------------------------------------------------------------- /tools/opt-plugin/builtins/resolve.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/builtins/resolve.cpp -------------------------------------------------------------------------------- /tools/opt-plugin/plugin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/plugin.cpp -------------------------------------------------------------------------------- /tools/opt-plugin/plugins.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/plugins.h -------------------------------------------------------------------------------- /tools/opt-plugin/set-source/plugin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/set-source/plugin.cpp -------------------------------------------------------------------------------- /tools/opt-plugin/strip/plugin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/strip/plugin.cpp -------------------------------------------------------------------------------- /tools/opt-plugin/test-main/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/test-main/CMakeLists.txt -------------------------------------------------------------------------------- /tools/opt-plugin/test-main/plugin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/tools/opt-plugin/test-main/plugin.cpp -------------------------------------------------------------------------------- /vcpkg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/insufficiently-caffeinated/caffeine/HEAD/vcpkg.json --------------------------------------------------------------------------------