Ecosyste.ms: Issues

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

GitHub / dafny-lang/dafny-vmc issues and pull requests

#43 - Split Uniform into UniformPowerOfTwo and Uniform

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

#42 - Better naming of package

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

#42 - Better naming of package

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

#40 - Clean up the tests

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

#40 - Clean up the tests

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

#39 - C# code potentially insecure?

Issue - State: closed - Opened by fzaiser over 1 year ago - 1 comment

#39 - C# code potentially insecure?

Issue - State: closed - Opened by fzaiser over 1 year ago - 1 comment

#38 - Reorg

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

#38 - Reorg

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

#37 - New solution for interop of both CS and Java

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

#37 - New solution for interop of both CS and Java

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

#36 - Split workflows into verification & tests

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

#36 - Split workflows into verification & tests

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

#35 - (WIP) Java extern fix

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

#35 - (WIP) Java extern fix

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

#34 - Fix examples

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

#34 - Fix examples

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

#33 - Fix verification timeout

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

#33 - Fix verification timeout

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

#32 - WIP: reorganize

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

#32 - WIP: reorganize

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

#31 - Define countable unions properly

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

#31 - Define countable unions properly

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

#30 - WIP: Independence proof for Uniform

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

#30 - WIP: Independence proof for Uniform

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

#29 - Ci

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

#29 - Ci

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

#27 - Ci

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

#27 - Ci

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

#26 - Ci

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

#26 - Ci

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

#25 - Fixing workflow and turning on verification

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

#25 - Fixing workflow and turning on verification

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

#24 - Fix documentation

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

#24 - Fix documentation

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

#23 - A bit of directory shuffling and a testing script

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

#22 - WIP: Replace Countable Union with Greatest Predicate

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

#21 - Add statistical tests of implemented samplers

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

#21 - Add statistical tests of implemented samplers

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

#20 - Fix verification timeout in Geometric

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

#19 - Tweaks to measure theory formalization

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

#18 - Add Wolfram Alpha links for documentation

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

#18 - Add Wolfram Alpha links for documentation

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

#17 - Update LICENSE

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

#17 - Update LICENSE

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

#16 - Implement DiscreteGaussian(sigma)

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

#16 - Implement DiscreteGaussian(sigma)

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

#15 - Implement DiscreteLaplace(t/s)

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

#15 - Implement DiscreteLaplace(t/s)

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

#14 - Compute parameters in example file

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

#13 - Implement Uniform distribution for powers of two

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

#12 - Uniform Power Of Two draft

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

#10 - Imperative sampler for Geometric(0.5) that satisfies the right spec

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

#9 - Remove Work In Progress for Release

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

#8 - Details for Hurd Monad

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

#7 - Towards verified imperative Uniform sampler

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

#6 - Additional backend support

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

#5 - Temporary workaround for issue with traits

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

#4 - Further simplify Bernoulli while loop

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

#3 - Verified Imperative Bernoulli Distribution

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

#2 - clean up imperative version

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

#1 - Update README.md

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