Ecosyste.ms: Issues

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

GitHub / microsoft/verismo issues and pull requests

#15 - Improve verus-rustc for crate whose name contains -

Pull Request - State: closed - Opened by ziqiaozhou about 1 month ago

#14 - Improve verus rustc

Pull Request - State: closed - Opened by ziqiaozhou about 2 months ago

#13 - cleanup vmath

Pull Request - State: closed - Opened by ziqiaozhou about 2 months ago

#12 - Update tools

Pull Request - State: closed - Opened by ziqiaozhou about 2 months ago

#11 - Remove verus submodule + Add cargo v

Pull Request - State: closed - Opened by ziqiaozhou about 2 months ago

#10 - remove unnecessary flags

Pull Request - State: closed - Opened by ziqiaozhou about 2 months ago

#9 - Remove submodules

Pull Request - State: closed - Opened by ziqiaozhou 2 months ago

#8 - use https instead of ssh in submodules

Pull Request - State: closed - Opened by ziqiaozhou 2 months ago

#6 - Remove some external_body markers in `security` mod

Pull Request - State: closed - Opened by ziqiaozhou 6 months ago

#5 - Repair broken build from a new dev machine

Pull Request - State: closed - Opened by ziqiaozhou 7 months ago

#4 - Update submodules && Use public repo

Pull Request - State: closed - Opened by ziqiaozhou 7 months ago

#3 - Fix autobuild

Pull Request - State: closed - Opened by ziqiaozhou 7 months ago

#2 - Merge all code into microsoft repo

Pull Request - State: closed - Opened by ziqiaozhou 7 months ago