Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ligurio/practical-fm issues and pull requests
#36 - Add Dafny to the list of Amazon tools
Pull Request -
State: closed - Opened by alvinary 3 months ago
- 1 comment
#36 - Add Dafny to the list of Amazon tools
Pull Request -
State: closed - Opened by alvinary 3 months ago
- 1 comment
#35 - Add tool to company (Amazon uses Dafny)
Issue -
State: closed - Opened by alvinary 3 months ago
- 2 comments
#35 - Add tool to company (Amazon uses Dafny)
Issue -
State: closed - Opened by alvinary 3 months ago
- 2 comments
#34 - Add Prover Technology
Pull Request -
State: closed - Opened by danabr 7 months ago
- 1 comment
#34 - Add Prover Technology
Pull Request -
State: closed - Opened by danabr 7 months ago
- 1 comment
#33 - Fix trustworthy systems's group link
Pull Request -
State: open - Opened by math2001 9 months ago
#33 - Fix trustworthy systems's group link
Pull Request -
State: open - Opened by math2001 9 months ago
#32 - Add Two Six Technologies
Pull Request -
State: closed - Opened by yakir-forman over 1 year ago
#31 - Update entry for Arm
Pull Request -
State: closed - Opened by mayankmanj over 1 year ago
- 1 comment
#30 - Add Kestrel Institute
Pull Request -
State: closed - Opened by acoglio over 1 year ago
- 3 comments
#29 - update Formal Vindications entry
Pull Request -
State: closed - Opened by clayrat over 1 year ago
- 1 comment
#28 - Add the Formal Land company
Pull Request -
State: closed - Opened by clarus almost 2 years ago
- 1 comment
#27 - Adding extra ressources
Issue -
State: open - Opened by InfiniteLearner over 2 years ago
#26 - Link send to page not found
Issue -
State: closed - Opened by InfiniteLearner over 2 years ago
#25 - Add proofcraft.systems
Issue -
State: open - Opened by ghost over 3 years ago
- 2 comments
#24 - Add “Formal reasoning about the security of Amazon Web Services”
Issue -
State: open - Opened by ghost over 3 years ago
- 3 comments
#23 - Ada/Spark mentions
Issue -
State: closed - Opened by mratsim over 3 years ago
- 1 comment
#22 - Add Informal Systems
Pull Request -
State: closed - Opened by ebuchman almost 4 years ago
- 1 comment
#21 - Update BR entry
Pull Request -
State: closed - Opened by nateboyd about 4 years ago
- 1 comment
#20 - BedRock
Pull Request -
State: closed - Opened by nateboyd about 4 years ago
- 1 comment
#19 - adding work seen at the 2020 Coq workshop
Pull Request -
State: closed - Opened by ybertot about 4 years ago
- 1 comment
#18 - Added Draper Labs
Pull Request -
State: closed - Opened by philzook58 over 4 years ago
- 1 comment
#17 - two companies created over the last 5 years (approximately)
Pull Request -
State: closed - Opened by ybertot over 4 years ago
- 1 comment
#16 - adds a reference to Q*Cert, with link to a page on the IBM web site
Pull Request -
State: closed - Opened by ybertot over 4 years ago
- 1 comment
#15 - Add Systerel
Pull Request -
State: closed - Opened by matclab over 4 years ago
- 1 comment
#14 - Add Microsoft Clousot & Facebook Zoncolan
Pull Request -
State: closed - Opened by hschne over 4 years ago
- 1 comment
#13 - Add more info about ISP RAS
Pull Request -
State: closed - Opened by 17451k over 5 years ago
#12 - Add link to Zilliqa's Coq project
Pull Request -
State: closed - Opened by anton-trunov over 5 years ago
- 1 comment
#11 - add Statebox
Pull Request -
State: closed - Opened by clayrat over 5 years ago
#10 - Update README.md
Pull Request -
State: closed - Opened by daveloyall almost 6 years ago
- 1 comment
#9 - Adding Green Hills, Centaur, SiFive, FireEye, NASA RSE. Some corrections
Pull Request -
State: closed - Opened by jkoppel almost 6 years ago
- 1 comment
#8 - Add more detail about the use of formal methods at Elastic
Pull Request -
State: closed - Opened by DaveCTurner almost 6 years ago
- 1 comment
#7 - What counts as a formal method?
Issue -
State: closed - Opened by Derek-Jones almost 6 years ago
- 1 comment
#6 - Info about Astraver project of ISPRAS was added.
Pull Request -
State: closed - Opened by buzden almost 6 years ago
- 1 comment
#5 - Columns count was corrected in some rows.
Pull Request -
State: closed - Opened by buzden almost 6 years ago
- 1 comment
#4 - Add PingCap
Issue -
State: closed - Opened by dgryski almost 6 years ago
- 1 comment
#3 - Add TLA+ proofs for Linux Kernel algorithms?
Issue -
State: closed - Opened by dgryski almost 6 years ago
- 1 comment
#2 - README: Kernkonzept is actually hiring.
Pull Request -
State: closed - Opened by stanislaw over 6 years ago
#1 - README: prettify by collapsing the widest column.
Pull Request -
State: closed - Opened by stanislaw over 6 years ago
- 1 comment