Ecosyste.ms: Issues

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

GitHub / math2001/ubc issues and pull requests

#16 - Changes for open source release of ubc

Pull Request - State: closed - Opened by isubasinghe over 1 year ago - 3 comments

#15 - Error reporting wip

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

#14 - added Dockerfile and pinned nix version

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

#13 - Core verification fixes

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

#12 - Core vf conditions

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

#11 - Core verification small

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

#10 - Make mypy pass and remove File/Func Ghost

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

#9 - [DO NOT MERGE] Added support for DSL for writing post conditions.

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

#8 - Fn calls

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

#8 - Fn calls

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

#7 - feat: added handling of more types

Pull Request - State: closed - Opened by isubasinghe almost 2 years ago

#7 - feat: added handling of more types

Pull Request - State: closed - Opened by isubasinghe almost 2 years ago

#6 - fix: add autopep8 to dependencies list

Pull Request - State: closed - Opened by isubasinghe almost 2 years ago - 1 comment

#5 - Feat add smt parsing

Pull Request - State: closed - Opened by isubasinghe almost 2 years ago - 2 comments

#4 - fix: addressed autopep8 fix

Pull Request - State: closed - Opened by isubasinghe almost 2 years ago

#3 - Support for github CI

Pull Request - State: closed - Opened by isubasinghe almost 2 years ago - 1 comment

#2 - added support for macOS and windows via cross platform open (cxopen)

Pull Request - State: closed - Opened by isubasinghe almost 2 years ago - 3 comments

#1 - added support for nix

Pull Request - State: closed - Opened by isubasinghe almost 2 years ago - 1 comment