Sameer Rahmani 578afc30a4 Remove the llvmContext member in SereneContext in favor of getLLVMContext		2022-02-20 20:59:57 +00:00
..
cmake	Add install targets to install the entire serene package	2022-02-17 22:49:16 +00:00
include	Remove the llvmContext member in SereneContext in favor of getLLVMContext	2022-02-20 20:59:57 +00:00
lib	Fix the unchecked Expected<T> in the context class	2022-02-19 14:54:03 +00:00
tests	Add few tests for SereneContext to pin down the behaviour	2022-02-20 18:30:24 +00:00
CMakeLists.txt	Fetch content catch2 v3 globally	2022-02-19 14:53:24 +00:00