about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/klee/default.nix
AgeCommit message (Expand)AuthorFilesLines
2024-06-17klee: add mainProgramMorgan Jones1-0/+1
2024-06-17klee: add nix-update-scriptMorgan Jones1-0/+1
2024-06-17klee: make llvmPackages and uclibc overridableMorgan Jones1-18/+38
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-04-09klee: 3.0 -> 3.1Morgan Jones1-3/+5
2023-09-08treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildTypeSandro Jäckel1-1/+2
2023-06-21klee: 2.3 -> 3.0Nguyễn Gia Phong1-10/+5
2023-04-29lit: move to python-modulesGaetan Lepage1-1/+1
2023-02-22treewide: move NIX_CFLAGS_COMPILE to the env attrsetArtturin1-1/+1
2023-02-22treewide: use toString on list NIX_CFLAGS_COMPILEArtturin1-1/+1
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol1-1/+1
2022-08-30klee: use the same LLVM version for clangNguyễn Gia Phong1-8/+5
2022-07-07klee: 2.2 -> 2.3Jonas Heinrich1-38/+22
2022-03-15klee: build with klee-uclibcMorgan Jones1-17/+64
2022-01-08klee: init at 2.2Morgan Jones1-0/+110
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-06 03:34:39 +0000