Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mikhailramalho/camada issues and pull requests

#33 - Bump actions/download-artifact from 1 to 4.1.7 in /.github/workflows

Pull Request - State: open - Opened by dependabot[bot] 3 months ago
Labels: dependencies

#32 - Release action

Pull Request - State: closed - Opened by mikhailramalho over 3 years ago

#31 - How does it compare to Smt-Switch?

Issue - State: open - Opened by pmatos over 3 years ago

#30 - Release script

Pull Request - State: closed - Opened by mikhailramalho over 3 years ago

#29 - New expressions

Pull Request - State: closed - Opened by mikhailramalho over 3 years ago

#28 - Use raw pointers instead of shared_ptr

Pull Request - State: open - Opened by mikhailramalho over 3 years ago

#27 - Investigate using raw pointer instead of shared_ptr in the C++ API

Issue - State: open - Opened by mikhailramalho over 3 years ago - 1 comment
Labels: enhancement

#26 - Overload operators for common operation (like +, -, *, /)

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement, good first issue

#25 - Implement Implies, BVXNOr, BVNAnd, BVNOr in Camada and its backends

Issue - State: closed - Opened by mikhailramalho over 3 years ago - 1 comment
Labels: enhancement, good first issue

#24 - Implement a Python API

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement

#23 - Support bitwuzla

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement, good first issue

#22 - Implement a switch expression

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement

#21 - Support uniterpreted functions

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement, good first issue

#20 - Implement support for incremental solving

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement

#19 - Add option to dynamically load solvers

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement

#18 - Support integer/real encoding

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement, good first issue

#17 - Implement array API

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement

#16 - Implement tuple API

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement

#15 - Implement Logger

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement

#14 - Prototype integration with ESBMC, Klee, and LLVM

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: help wanted

#13 - Finish documentation for v0.1

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: documentation, help wanted

#12 - Improve the README

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: documentation, enhancement, help wanted

#11 - Try again to bundle all permissive static libraries into a single static camada library

Issue - State: open - Opened by mikhailramalho over 3 years ago - 4 comments
Labels: documentation, help wanted

#10 - Handle arrays of booleans when using MathSAT

Issue - State: open - Opened by mikhailramalho over 3 years ago - 1 comment
Labels: bug

#9 - Configuration option

Issue - State: open - Opened by mikhailramalho over 3 years ago
Labels: enhancement

#8 - C API for Camada

Issue - State: open - Opened by pmatos over 3 years ago - 1 comment
Labels: enhancement, help wanted

#7 - New scripts to download and configure the dependencies

Pull Request - State: closed - Opened by mikhailramalho over 3 years ago

#6 - Improvements to cmake

Pull Request - State: closed - Opened by mikhailramalho over 3 years ago

#5 - Actions improvements

Pull Request - State: closed - Opened by mikhailramalho over 3 years ago

#4 - Solver fixes

Pull Request - State: closed - Opened by mikhailramalho over 3 years ago

#3 - Cmake solvers

Pull Request - State: closed - Opened by mikhailramalho almost 4 years ago

#2 - Add several asserts

Pull Request - State: closed - Opened by mikhailramalho almost 4 years ago

#1 - Add a Codacy badge to README.md

Pull Request - State: closed - Opened by codacy-badger over 4 years ago