issues
search
marxin
/
cvise
Super-parallel Python port of the C-Reduce
Other
210
stars
25
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Cvise stopped abnormally midway
#147
martinwz
opened
1 day ago
2
Add the ability to control when `cvise_extra` directories are created.
#146
vext01
opened
1 month ago
1
cvise doesn't reliably kill things upon timeout.
#145
vext01
opened
1 month ago
1
CVise fills temp directory on Windows
#144
jketema
opened
1 month ago
1
Remove uses of ClassTemplateSpecializationDecl::getTypeAsWritten
#143
sdkrystian
closed
1 month ago
5
LLVM 19: Build failures
#142
marxin
closed
1 month ago
8
Fix deprecated decl
#141
marxin
closed
2 months ago
0
Req: cvise use with runtime errors
#140
srinathv
opened
2 months ago
1
Manipulate with tempfiles after they are closed
#139
marxin
closed
2 months ago
0
Stick to Ubuntu 23.10
#138
marxin
closed
3 months ago
0
Ensure that clang delta is also compiled with C++17 on Windows
#137
jketema
closed
3 months ago
0
Also instruct to install chardet on Windows
#136
jketema
closed
3 months ago
0
Permission denied failure on Windows
#135
jketema
closed
2 months ago
23
Implement a stopping threshold
#134
dmcdougall
closed
3 months ago
2
Make CVise understand files in a filesystem tree
#133
marxin
closed
3 months ago
2
Make CVise understand files in a filesystem tree
#132
dmcdougall
closed
3 months ago
2
Removed basicConfig & fixed working of --log-file arg
#131
mzfr
closed
3 months ago
5
fix deprecation warnings
#130
oltolm
closed
3 months ago
5
Fix working of --log-file parameter
#129
dufferzafar
closed
3 months ago
3
CI: Set default to LLVM 18
#128
marxin
closed
4 months ago
0
cvise fails to build with LLVM 18.1.0
#127
doko42
closed
4 months ago
7
C-Vise doesn't build with recent LLVM hashes
#126
cjdb
closed
5 months ago
1
Idiomatic way to avoid reductions on some parts of the code?
#125
rmonat
closed
5 months ago
2
CMakeLists changes to fix macOS build:
#124
comex
closed
6 months ago
1
Understanding C-Vise Performance with multiple cores and Comparison with C-Reduce
#123
pramodk
opened
6 months ago
7
Add clang version string to clang_delta --version
#122
mortior
closed
6 months ago
3
cvise.py: call shell vial `/usr/bin/env` indirection instead of `/bin`
#121
trofi
closed
8 months ago
1
Release new version
#120
vitlav
closed
8 months ago
1
ability to use /bin/sh for --commands
#119
nekopsykose
closed
9 months ago
2
cvise: running only the "light" transformations
#118
malaterre
opened
10 months ago
2
CMake: port to find_package(Python3)
#117
marxin
closed
10 months ago
0
clang_delta: […] clang::Expr::ClassifyImpl(…) const: Assertion `isLValue()' failed.
#116
mgorny
closed
10 months ago
15
When are shortcuts taken into account?
#115
rmonat
opened
11 months ago
3
Parallelism doesn't do much
#114
fiesh
closed
1 year ago
9
cvise stops intermittently
#113
avikivity
opened
1 year ago
7
remove-unused-outer-class is very restrictive on what it removes
#112
aeubanks
opened
1 year ago
1
New release for LLVM 16 support?
#111
thesamesam
closed
1 year ago
3
Allow folders/directories in test cases
#110
dmcdougall
closed
3 months ago
8
RFC for improvement: (1) add support for GCC compilation. (2) This may be a red herring, but we may want to eliminate lines from the end, NOT fromt he begining.
#109
zephyrus00jp
closed
1 year ago
8
error: no type named 'Designator' in 'clang::DesignatedInitExpr'
#108
cjdb
closed
1 year ago
1
Infinite loop in clang_delta replace-function-def-with-decl
#107
avikivity
closed
1 year ago
19
ClexPass::rm-toks-1 has encountered a bug: pass got stuck state: 50000
#106
zephyrus00jp
closed
1 year ago
5
ClangBinarySearchPass::replace-function-def-with-decl has encountered a bug: pass error state: BinaryState: 0-1350 of 2701 instances
#105
pkubaj
closed
1 year ago
1
IfPass has encountered a bug: pass error state: BinaryState: 0-10993 of 10993 instances
#104
pkubaj
closed
1 year ago
6
UnIfDefPass has encountered a bug: pass error state: 44
#103
pkubaj
closed
1 year ago
3
Build failure with recent trunk: possibly dangling reference to a temporary
#102
tkoenig1
closed
1 year ago
1
Error in ExpressionDetector.cpp when building
#101
tkoenig1
closed
1 year ago
1
move-definition-to-declaration transformation learned to move struct, class, union and variable definitions
#100
strimo378
closed
1 year ago
5
Renamed transformation move-function-body to move-definition-to-declaration
#99
strimo378
closed
1 year ago
0
Improved merge-base-class transformation
#98
strimo378
closed
1 year ago
11
Next