Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mit-plv/rupicola issues and pull requests
#49 - Buf append
Pull Request -
State: closed - Opened by andres-erbsen over 2 years ago
#48 - build(deps): bump bedrock2 from `b81359b` to `9130ee9`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#48 - build(deps): bump bedrock2 from `b81359b` to `9130ee9`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#47 - build(deps): bump bedrock2 from `b81359b` to `0e2d337`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#47 - build(deps): bump bedrock2 from `b81359b` to `0e2d337`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#46 - build(deps): bump bedrock2 from `b81359b` to `482051f`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 6 comments
Labels: submodules
#46 - build(deps): bump bedrock2 from `b81359b` to `482051f`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 6 comments
Labels: submodules
#45 - build(deps): bump bedrock2 from `b81359b` to `d1b6976`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#45 - build(deps): bump bedrock2 from `b81359b` to `d1b6976`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#44 - build(deps): bump bedrock2 from `b81359b` to `91cb3fb`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#44 - build(deps): bump bedrock2 from `b81359b` to `91cb3fb`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#43 - build(deps): bump bedrock2 from `b81359b` to `2db78a3`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#43 - build(deps): bump bedrock2 from `b81359b` to `2db78a3`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#42 - build(deps): bump bedrock2 from `b81359b` to `f9a2866`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#41 - build(deps): bump bedrock2 from `b81359b` to `113a3a9`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#40 - build(deps): bump bedrock2 from `b81359b` to `edce9b7`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#39 - build(deps): bump bedrock2 from `b81359b` to `7da0aa0`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#38 - build(deps): bump bedrock2 from `b81359b` to `1e5a81e`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 4 comments
Labels: submodules
#37 - build(deps): bump bedrock2 from `b81359b` to `661cbee`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#36 - build(deps): bump bedrock2 from `b81359b` to `f46ac18`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#35 - build(deps): bump bedrock2 from `b81359b` to `a300351`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#34 - build(deps): bump bedrock2 from `b81359b` to `7f5fde3`
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 2 comments
Labels: submodules
#33 - build(deps): bump bedrock2 from `b81359b` to `950c255`
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: submodules
#32 - replace LittleEndian with LittleEndianList
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
- 1 comment
#31 - build(deps): bump bedrock2 from `8d8b9a6` to `36322f9`
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: submodules
#30 - bump bedrock2 and ToCString.v
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
- 1 comment
#29 - build(deps): bump bedrock2 from `bbefe43` to `8d8b9a6`
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: submodules
#28 - use general ident_of_string, reduce boilerplate
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
#27 - NotationsCustomEntry: ident to string
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
- 2 comments
#26 - Notations custom entry cleanup
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
#25 - bump bedrock2: coqutil 8.11 compat
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
- 1 comment
#24 - adapt to bedrock2 notation changes
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
#23 - use kernel names to refer to definitions in defn!
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
- 1 comment
#22 - Bump bedrock2 for fiat-crypto
Pull Request -
State: closed - Opened by JasonGross almost 3 years ago
- 1 comment
#21 - more benchmarks
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
- 5 comments
#20 - `make clean` removes version-controlled files
Issue -
State: closed - Opened by JasonGross almost 3 years ago
- 2 comments
#19 - First two benchmarks: utf8 decoding and string uppercasing
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
- 1 comment
#18 - bump bedrock2: RISC-V calling conventions
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
Labels: awaiting-continuous-integration-check
#17 - Adapt to coq/coq#13837 ("apply with" does not rename arguments)
Pull Request -
State: closed - Opened by SkySkimmer almost 3 years ago
- 2 comments
#16 - Param free stack alloc
Pull Request -
State: closed - Opened by DIJamner almost 3 years ago
- 1 comment
#15 - Port to parameter-record-free bedrock2
Pull Request -
State: closed - Opened by andres-erbsen almost 3 years ago
- 5 comments
#14 - Bump bedrock2 for coqutil compat with Coq 8.1{1,2}
Pull Request -
State: closed - Opened by JasonGross about 3 years ago
- 2 comments
#13 - bump bedrock2
Pull Request -
State: closed - Opened by andres-erbsen over 3 years ago
- 4 comments
#12 - CRC32 Definition and first compilation lemma statement
Pull Request -
State: closed - Opened by DIJamner over 3 years ago
#11 - A few questions about Rupicola
Issue -
State: open - Opened by RasmusHoldsbjergCSAU almost 4 years ago
- 4 comments
#10 - Using rupicola for elliptic curves
Issue -
State: open - Opened by RasmusHoldsbjergCSAU almost 4 years ago
- 7 comments
#9 - Generating C/rust?
Issue -
State: open - Opened by spitters almost 4 years ago
- 3 comments
#8 - Minor tweaks for fiat-crypto compatibility
Pull Request -
State: closed - Opened by jadephilipoom about 4 years ago
#7 - Add a `lib` makefile target to build only core library
Pull Request -
State: closed - Opened by jadephilipoom about 4 years ago
- 2 comments
#6 - Add .gitattributes
Pull Request -
State: closed - Opened by jadephilipoom about 4 years ago
#5 - Updates for compatibility with fiat-crypto
Pull Request -
State: closed - Opened by jadephilipoom about 4 years ago
- 1 comment
#4 - Linked-list find and handling functions with return values
Pull Request -
State: closed - Opened by jadephilipoom about 4 years ago
#3 - Montgomery ladder
Pull Request -
State: closed - Opened by jadephilipoom over 4 years ago
#2 - Revert "Key-value store example"
Pull Request -
State: closed - Opened by jadephilipoom over 4 years ago
- 2 comments
#1 - Key-value store example
Pull Request -
State: closed - Opened by jadephilipoom over 4 years ago