issues
search
mikhailramalho
/
camada
Apache License 2.0
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump actions/download-artifact from 1 to 4.1.7 in /.github/workflows
#33
dependabot[bot]
opened
2 months ago
0
Release action
#32
mikhailramalho
closed
3 years ago
0
How does it compare to Smt-Switch?
#31
pmatos
opened
3 years ago
0
Release script
#30
mikhailramalho
closed
3 years ago
0
New expressions
#29
mikhailramalho
closed
3 years ago
0
Use raw pointers instead of shared_ptr
#28
mikhailramalho
opened
3 years ago
0
Investigate using raw pointer instead of shared_ptr in the C++ API
#27
mikhailramalho
opened
3 years ago
1
Overload operators for common operation (like +, -, *, /)
#26
mikhailramalho
opened
3 years ago
0
Implement Implies, BVXNOr, BVNAnd, BVNOr in Camada and its backends
#25
mikhailramalho
closed
3 years ago
1
Implement a Python API
#24
mikhailramalho
opened
3 years ago
0
Support bitwuzla
#23
mikhailramalho
opened
3 years ago
0
Implement a switch expression
#22
mikhailramalho
opened
3 years ago
0
Support uniterpreted functions
#21
mikhailramalho
opened
3 years ago
0
Implement support for incremental solving
#20
mikhailramalho
opened
3 years ago
0
Add option to dynamically load solvers
#19
mikhailramalho
opened
3 years ago
0
Support integer/real encoding
#18
mikhailramalho
opened
3 years ago
0
Implement array API
#17
mikhailramalho
opened
3 years ago
0
Implement tuple API
#16
mikhailramalho
opened
3 years ago
0
Implement Logger
#15
mikhailramalho
opened
3 years ago
0
Prototype integration with ESBMC, Klee, and LLVM
#14
mikhailramalho
opened
3 years ago
0
Finish documentation for v0.1
#13
mikhailramalho
opened
3 years ago
0
Improve the README
#12
mikhailramalho
opened
3 years ago
0
Try again to bundle all permissive static libraries into a single static camada library
#11
mikhailramalho
opened
3 years ago
4
Handle arrays of booleans when using MathSAT
#10
mikhailramalho
opened
3 years ago
1
Configuration option
#9
mikhailramalho
opened
3 years ago
0
C API for Camada
#8
pmatos
opened
3 years ago
1
New scripts to download and configure the dependencies
#7
mikhailramalho
closed
3 years ago
0
Improvements to cmake
#6
mikhailramalho
closed
3 years ago
0
Actions improvements
#5
mikhailramalho
closed
3 years ago
0
Solver fixes
#4
mikhailramalho
closed
3 years ago
0
Cmake solvers
#3
mikhailramalho
closed
3 years ago
0
Add several asserts
#2
mikhailramalho
closed
3 years ago
0
Add a Codacy badge to README.md
#1
codacy-badger
closed
4 years ago
0