Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/saw-demos issues and pull requests
#11 - Added new specifications/proofs for the signal protocol
Pull Request -
State: open - Opened by phsmenon almost 3 years ago
#10 - Makefile LLVM tooling options
Pull Request -
State: closed - Opened by pnwamk about 3 years ago
- 11 comments
#9 - signal-protocol: Add link to accompanying blog post
Pull Request -
State: closed - Opened by RyanGlScott over 3 years ago
#8 - Add signal-protocol demo
Pull Request -
State: closed - Opened by RyanGlScott over 3 years ago
#7 - Migrate to GitHub Actions
Pull Request -
State: closed - Opened by RyanGlScott over 3 years ago
- 2 comments
#6 - Make dotprod verifiable with modern versions of SAW
Pull Request -
State: closed - Opened by RyanGlScott over 3 years ago
#5 - Travis CI passing icon
Issue -
State: closed - Opened by weaversa over 4 years ago
- 1 comment
#4 - Added Travis CI support for all current demos
Pull Request -
State: closed - Opened by weaversa over 4 years ago
#3 - Add xxHash demo
Pull Request -
State: closed - Opened by weaversa over 4 years ago
- 1 comment
#2 - Provide a simpler, more consistent interface using records
Issue -
State: closed - Opened by weaversa over 4 years ago
- 2 comments
#1 - Added new LLVM specific helper functions
Pull Request -
State: closed - Opened by weaversa over 4 years ago
- 2 comments