Ecosyste.ms: Issues

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

GitHub / smackers/smack issues and pull requests

#801 - Translation error of uses of the copysign family of functions

Issue - State: open - Opened by keram88 3 months ago
Labels: bug

#800 - Reproduce the paper, but I can't accomplish

Issue - State: closed - Opened by zoush99 8 months ago - 10 comments

#799 - Upgrade CVC4 to CVC5

Pull Request - State: open - Opened by keram88 over 1 year ago

#798 - Advanced SMACK guide

Issue - State: open - Opened by keram88 over 1 year ago
Labels: enhancement

#797 - Updated build script to support fedora/centos

Pull Request - State: closed - Opened by rakamaric over 1 year ago

#796 - All programs verify when SMT solver (Z3) is not present

Issue - State: open - Opened by rakamaric over 1 year ago - 1 comment

#795 - Unhandled experimental intrinsics crash SMACK

Issue - State: open - Opened by keram88 over 1 year ago

#794 - Unhandled LLVM intrinsic generated from math.c

Issue - State: open - Opened by keram88 almost 2 years ago - 1 comment

#793 - Build issue on Ubuntu 18.04

Issue - State: open - Opened by keram88 almost 2 years ago

#792 - llvm2bpl report error when use smack generate boogie code

Issue - State: open - Opened by Luweicai almost 2 years ago

#791 - How it can support ensures, requires, invariant API in Rust

Issue - State: open - Opened by 1vs9 about 2 years ago

#790 - Debug information when using LLVM IR as an input

Issue - State: closed - Opened by hernanponcedeleon about 2 years ago - 2 comments

#789 - Fixes to run SMACK on modern macOS

Pull Request - State: closed - Opened by keram88 over 2 years ago - 1 comment

#788 - Verifying D programs

Issue - State: open - Opened by roxanaRA over 2 years ago

#787 - Brought in a sea-dsa bug fix

Pull Request - State: closed - Opened by shaobo-he over 2 years ago

#785 - Added `treadLocal` attribute for LLVM thread-local globals

Pull Request - State: closed - Opened by shaobo-he over 2 years ago

#784 - Upgrade SMACK to support LLVM 13

Pull Request - State: open - Opened by shaobo-he over 2 years ago - 2 comments

#783 - Upgrade Rust version to support edition 2021

Issue - State: open - Opened by shaobo-he over 2 years ago
Labels: enhancement

#782 - Set Rust's panic behavior as aborting instead of unwinding

Pull Request - State: closed - Opened by shaobo-he over 2 years ago

#781 - Generalize `clang-options` into `compiler-options`

Issue - State: open - Opened by shaobo-he over 2 years ago - 1 comment

#780 - Leverage `instcombine` pass

Issue - State: open - Opened by shaobo-he over 2 years ago

#779 - Fix svcomp assert

Pull Request - State: closed - Opened by zvonimir over 2 years ago - 1 comment

#778 - Removed unnecessary compiler selection in `build.rs`

Pull Request - State: closed - Opened by shaobo-he almost 3 years ago

#777 - Some Rust `Box` operation is internally supported by rustc

Issue - State: open - Opened by shaobo-he almost 3 years ago - 1 comment

#776 - Handling thread_local variables

Issue - State: closed - Opened by hernanponcedeleon almost 3 years ago - 9 comments

#775 - Verifying Fortran Intrinsic Function ABS

Issue - State: open - Opened by udwuwenhao almost 3 years ago

#772 - Blocklist for Rust Functions

Pull Request - State: closed - Opened by keram88 almost 3 years ago

#770 - update file reading to yaml.safe_load

Pull Request - State: closed - Opened by jmcmillan1 almost 3 years ago

#769 - Running example with SMACK

Issue - State: open - Opened by m-carrasco almost 3 years ago

#768 - Implement a per-allocation-site memory-safety checking

Issue - State: open - Opened by shaobo-he about 3 years ago

#767 - Fixed a trivial flake8 formatting error

Pull Request - State: closed - Opened by shaobo-he about 3 years ago

#766 - Added a pass that warns about loops

Pull Request - State: open - Opened by shaobo-he about 3 years ago - 2 comments

#765 - Heads up: renaming master branch into main

Issue - State: closed - Opened by zvonimir about 3 years ago - 1 comment

#764 - Added unroll folder to regressions

Pull Request - State: closed - Opened by zvonimir about 3 years ago

#763 - Remove calls to Rust's panic functions

Pull Request - State: closed - Opened by keram88 about 3 years ago - 3 comments

#762 - Portfolio solving draft

Pull Request - State: closed - Opened by jmcmillan1 about 3 years ago - 4 comments

#761 - Cleans up JSON output generation

Pull Request - State: closed - Opened by zvonimir about 3 years ago

#759 - Cleaning up smackd stuff

Issue - State: closed - Opened by zvonimir about 3 years ago - 6 comments

#758 - Initial draft of Corral threading

Pull Request - State: closed - Opened by jmcmillan1 about 3 years ago - 1 comment

#757 - smack support cpp？

Issue - State: open - Opened by bodycoder101 about 3 years ago - 1 comment

#756 - `vsmack` link in `installation.md` is dead

Issue - State: closed - Opened by avanhatt about 3 years ago - 1 comment

#755 - Implement context-sensitive memory model

Issue - State: open - Opened by shaobo-he about 3 years ago - 1 comment
Labels: enhancement

#754 - Merge json error traces and pretty printing

Issue - State: closed - Opened by zvonimir about 3 years ago - 2 comments

#753 - Externalize entry points that are marked internal

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

#752 - Rewrite memcpy of structures/arrays into load-then-store sequences

Pull Request - State: closed - Opened by shaobo-he over 3 years ago - 1 comment

#751 - Prune Away Trivially-Proven Assertions

Issue - State: open - Opened by shaobo-he over 3 years ago

#750 - Run Checks in Parallel

Issue - State: open - Opened by shaobo-he over 3 years ago

#749 - `memcpy` Merges Regions Unnecessarily

Issue - State: open - Opened by shaobo-he over 3 years ago - 1 comment

#748 - Docker do not work

Issue - State: closed - Opened by TheKingShun over 3 years ago - 5 comments

#747 - Document SMACK command line options

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

#745 - Keep track of whether memory is allocated by Rust's allocator

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

#744 - PhantomData in the Rust model is not needed

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

#743 - Make llvm-dis use LLVM short version in top.py

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

#742 - Better error traces

Pull Request - State: closed - Opened by shaobo-he over 3 years ago - 5 comments

#741 - Generate precise error type when Boogie is used

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

#740 - Added cassert C++ header

Pull Request - State: closed - Opened by zvonimir over 3 years ago - 1 comment

#738 - Incorrect region generation for ptrtoint/inttoptr arguments

Issue - State: open - Opened by shaobo-he over 3 years ago - 2 comments

#737 - Vagrant installation guide too restrictive

Issue - State: closed - Opened by shaobo-he over 3 years ago - 4 comments
Labels: wontfix

#736 - Incorrect Translation for Vector Comparison Operations

Issue - State: open - Opened by shaobo-he over 3 years ago - 1 comment

#735 - Crash when there are bitwise operations on vectors

Issue - State: open - Opened by shaobo-he over 3 years ago - 1 comment

#734 - Dummy main functions may be needed

Issue - State: open - Opened by shaobo-he over 3 years ago - 5 comments

#733 - Add allocation size attribute for global variables

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

#731 - Idea: Use smack as a Clang drop-in replacement

Issue - State: closed - Opened by teaalltr over 3 years ago

#730 - Segmentation fault when running smack (MacOS)

Issue - State: closed - Opened by hernanponcedeleon over 3 years ago - 5 comments

#729 - Update (or maybe remove) vsmack

Issue - State: closed - Opened by zvonimir over 3 years ago - 2 comments

#728 - Enable control of build.sh installation instructions via the environment

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

#727 - Error building SMACK from source on older versions of Ubuntu >18.04

Issue - State: closed - Opened by feliperodri over 3 years ago - 10 comments

#726 - Upgrade SMACK to support LLVM 12

Pull Request - State: closed - Opened by shaobo-he over 3 years ago - 6 comments

#725 - Fix a undefined behavior in `ExtractContracts.cpp`

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

#724 - Undefined behavior in `ExtractContracts.cpp`

Issue - State: closed - Opened by shaobo-he over 3 years ago - 1 comment

#723 - Clean up warnings

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

#722 - Cleaning up SmackWarnings naming convention

Issue - State: closed - Opened by zvonimir over 3 years ago - 3 comments

#721 - Implicit type conversion

Issue - State: closed - Opened by sanjit-bhat over 3 years ago - 6 comments

#720 - Simplify Yices2 installation

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

#719 - Invoke instructions to vararg functions are not handled properly

Issue - State: open - Opened by shaobo-he over 3 years ago
Labels: bug

#717 - Modeling LLVM's poison values

Issue - State: open - Opened by keram88 over 3 years ago
Labels: question

#716 - Unnecessary calls to `$galloc` procedures for certain globals

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

#715 - Add an option to enable targeted checking of specific functions

Pull Request - State: closed - Opened by keram88 over 3 years ago - 6 comments

#714 - Run smack with solver cvc4 get `Unexpected prover response` error

Issue - State: closed - Opened by Sword-of-Damox over 3 years ago - 2 comments

#713 - Allow targetted memory-safety checking

Issue - State: closed - Opened by keram88 over 3 years ago - 4 comments
Labels: enhancement, question

#712 - Fix name matching for Rust functions

Pull Request - State: closed - Opened by keram88 over 3 years ago - 1 comment

#711 - Fixed a compilation error in RustFixes.cpp

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

#708 - Redundant steps in CI

Issue - State: closed - Opened by shaobo-he over 3 years ago - 2 comments

#706 - errno's definition only works on Linux

Issue - State: open - Opened by shaobo-he over 3 years ago - 1 comment

#691 - Upgrading SMACK to LLVM 11

Issue - State: closed - Opened by shaobo-he almost 4 years ago - 4 comments

#687 - Enable multiple assertion checking when Corral is used

Pull Request - State: closed - Opened by shaobo-he almost 4 years ago - 7 comments

#646 - Problematic handling of LLVM arithmetic with overflow intrinsics

Issue - State: open - Opened by shaobo-he about 4 years ago - 1 comment

#628 - Global structures

Issue - State: closed - Opened by hernanponcedeleon about 4 years ago - 12 comments

#627 - Moved assert macro into its assert header

Pull Request - State: closed - Opened by zvonimir about 4 years ago - 6 comments

#617 - Imprecise error trace for memory safety violation

Issue - State: closed - Opened by shaobo-he about 4 years ago - 1 comment

#616 - Entry point annotation ill-defined for vararg functions

Issue - State: open - Opened by shaobo-he about 4 years ago - 2 comments

#601 - Assert false on loop exit

Pull Request - State: closed - Opened by jjgarzella over 4 years ago - 7 comments

#562 - sea-dsa can add allocated flags to globals

Issue - State: open - Opened by shaobo-he over 4 years ago - 2 comments

#539 - smack cannot find this type of memory error

Issue - State: open - Opened by ya0guang almost 5 years ago - 3 comments
Labels: bug, enhancement

#158 - Boogie declarations missing when source is LLVM bitcode

Issue - State: closed - Opened by michael-emmi over 8 years ago - 16 comments