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

#100 - Make samplers and `While` loops `opaque`

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

#98 - DRAFT: Theorem 38

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

#98 - DRAFT: Theorem 38

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

#96 - Remove clutter from PR template

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

#96 - Remove clutter from PR template

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

#95 - Define loops like Hurd and prove some of their properties

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

#95 - Define loops like Hurd and prove some of their properties

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

#94 - Rename all the things

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

#94 - Rename all the things

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

#93 - Axiomatize the reals and prove fundamental facts

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

#93 - Axiomatize the reals and prove fundamental facts

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

#92 - Non-static RNG

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

#92 - Non-static RNG

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

#91 - Model probabilistic partial functions explicitly

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

#91 - Model probabilistic partial functions explicitly

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

#90 - Commenting on assume statements

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

#89 - Prove remaining {:axiom}s in Uniform

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

#89 - Prove remaining {:axiom}s in Uniform

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

#88 - Reduce and limit resource usage

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

#88 - Reduce and limit resource usage

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

#87 - Add model and state correctness property of BernoulliExpNeg

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

#87 - Add model and state correctness property of BernoulliExpNeg

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

#86 - Update readme

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

#86 - Update readme

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

#85 - Clean up UniformCorrectness and WhileAndUntil

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

#85 - Clean up UniformCorrectness and WhileAndUntil

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

#84 - Upgrade to 4.3

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

#84 - Upgrade to 4.3

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

#83 - Remove all include statements

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

#83 - Remove all include statements

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

#82 - Simplification of API

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

#82 - Simplification of API

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

#81 - Simpler naming

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

#81 - Simpler naming

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

#80 - Simplify UniformPowerOfTwo

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

#80 - Simplify UniformPowerOfTwo

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

#79 - Simplify the definition of UniformPowerOfTwo model

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

#79 - Simplify the definition of UniformPowerOfTwo model

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

#78 - Add project file

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

#78 - Add project file

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

#77 - Prove equivalence of implementation and model of UniformPowerOfTwo

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

#77 - Prove equivalence of implementation and model of UniformPowerOfTwo

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

#76 - Minor bug in command line example in README.md

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

#76 - Minor bug in command line example in README.md

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

#75 - (WIP) Add geometric back

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

#75 - (WIP) Add geometric back

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

#74 - Prove measurability in correctness of UniformPowerOfTwo

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

#73 - Cleanup UniformPowerOfTwoModel

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

#73 - Cleanup UniformPowerOfTwoModel

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

#72 - Independence proof for UniformPowerOfTwo

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

#72 - Independence proof for UniformPowerOfTwo

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

#71 - Module structure reorg

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

#71 - Module structure reorg

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

#70 - Clean up code

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

#70 - Clean up code

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

#69 - Start formalizing limits

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

#69 - Start formalizing limits

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

#68 - Dafny doc

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

#67 - Improve auditor output

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

#67 - Improve auditor output

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

#66 - Check code formatting

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

#65 - Removing Geometric from main

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

#65 - Removing Geometric from main

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

#63 - Uniform Correctness fix

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

#63 - Uniform Correctness fix

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

#62 - Refined guidelines

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

#61 - Break up the UniformCorrectness proof

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

#61 - Break up the UniformCorrectness proof

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

#60 - Auditor

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

#60 - Auditor

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

#59 - Remove ghost where possible and run formatter

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

#59 - Remove ghost where possible and run formatter

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

#58 - audit script

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

#58 - audit script

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

#57 - Revert addition to guidelines

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

#56 - Add C# to Readme

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

#56 - Add C# to Readme

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

#55 - Naming + cleanup

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

#54 - Documentation

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

#53 - Remove import opened

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

#52 - Reduce Resource Usage for UniformPowerOfTwo correctness

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

#52 - Reduce Resource Usage for UniformPowerOfTwo correctness

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

#51 - Guidelines

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

#50 - Give better names to Gitub Actions jobs

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

#49 - Fix readme

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

#49 - Fix readme

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

#48 - John

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

#48 - John

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

#47 - More interop

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

#47 - More interop

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

#46 - Fix definition of countable union

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

#45 - Rename LANG environment variable

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

#44 - Reduce spurious test failures by increasing threshold to 4 sigma

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

#44 - Reduce spurious test failures by increasing threshold to 4 sigma

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