Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / nasa/pvslib issues and pull requests
#17 - Algebra theory updates with quaternions and others
Pull Request -
State: closed - Opened by mayalarincon 12 months ago
- 3 comments
#16 - added nominal theory to nasalib
Pull Request -
State: closed - Opened by gabriel951 about 1 year ago
- 1 comment
#15 - fix: comment typo
Pull Request -
State: closed - Opened by 0o001 over 1 year ago
- 1 comment
#14 - loop in install-scripts fails
Issue -
State: closed - Opened by kai-e over 1 year ago
- 2 comments
#13 - Fixes for PVS 8.0
Pull Request -
State: closed - Opened by samowre over 1 year ago
- 6 comments
#12 - Added new libraries
Pull Request -
State: closed - Opened by BenHocking about 2 years ago
#11 - added nominal library
Pull Request -
State: closed - Opened by gabriel951 over 2 years ago
#10 - Change to 54 Packages
Pull Request -
State: closed - Opened by Hazelfire about 3 years ago
- 1 comment
#9 - Adding the uncountability of the set of reals
Pull Request -
State: closed - Opened by clementblaudeau over 3 years ago
#8 - Di topological sort
Pull Request -
State: closed - Opened by clementblaudeau almost 4 years ago
- 6 comments
#7 - Digraph Tree Changes
Pull Request -
State: closed - Opened by TCNorris over 4 years ago
- 1 comment
#6 - Add LICENSE
Issue -
State: closed - Opened by phoe about 5 years ago
- 5 comments
#5 - Changed Title - First Git Attempt
Pull Request -
State: closed - Opened by SantosAFWERX over 5 years ago
#4 - Minor formatting proposal on string #83
Pull Request -
State: closed - Opened by kant over 6 years ago
#3 - License file
Issue -
State: closed - Opened by jasonduley over 7 years ago
#2 - Change PGP key URL in decimals/README.md
Pull Request -
State: closed - Opened by tlikonen over 7 years ago
#1 - fix theorem proving link
Pull Request -
State: closed - Opened by nlaunceford over 9 years ago