-
Galois, Inc.
- Arlington, VA
- http://ryanglscott.github.io
Block or Report
Block or report RyanGlScott
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
ghc-software-foundations
ghc-software-foundations PublicThe Software Foundations book, in GHC
-
2,141 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
GaloisInc/crucible,
GaloisInc/saw-script,
GaloisInc/cryptol
and 163 other
repositories
Contribution activity
March 2024
Created 44 commits in 24 repositories
Created a pull request in matterhorn-chat/matterhorn that received 1 comment
Allow building with vty-windows-0.2.0.2
vty-windows-0.2.0.2
contains an important bugfix for recent versions of Microsoft Terminal (see chhackett/vty-windows#17), without which it is impo…
+2
−2
lines changed
•
1
comment
Opened 10 other pull requests in 7 repositories
Copilot-Language/copilot-bluespec
2
merged
-
README.md
: State how to installcopilot-bluespec
individually. Refs #7.This contribution was made on Mar 14 -
Release 3.19. Refs #5.
This contribution was made on Mar 8
GaloisInc/crucible
1
merged
1
open
-
Revert #1169
This contribution was made on Mar 12
-
SyGuS, match concrete size array
This contribution was made on Mar 1
GaloisInc/saw-script
2
open
-
Add
mir_mux_values
commandThis contribution was made on Mar 6 -
SyGuS, find SMT array write of a fixed size
This contribution was made on Mar 1
haskell-CI/haskell-ci
1
merged
-
Use
ghcup-prereleases-0.0.8.yaml
This contribution was made on Mar 17
goldfirere/th-desugar
1
merged
-
Make
extractBoundNamesDPat
no longer extract type variablesThis contribution was made on Mar 15
Copilot-Language/copilot-verifier
1
merged
-
Release 3.19. Refs #53.
This contribution was made on Mar 8
GaloisInc/what4
1
open
-
Guard mux-pushing simplifications behind option
This contribution was made on Mar 1
Reviewed 9 pull requests in 6 repositories
ekmett/lens
2 pull requests
-
Magnify instance for CPS RWST
This contribution was made on Mar 14
-
feat(Setter): add: prepends setter
This contribution was made on Mar 7
ekmett/ad
2 pull requests
-
Add Instance Definitions for
log1p
,expm1
,log1pexp
, andlog1mexp
This contribution was made on Mar 12 -
Regression Tests Cleanup
This contribution was made on Mar 11
ekmett/ersatz
2 pull requests
-
Issue 91
This contribution was made on Mar 2
-
add function to call depqbf with extra arguments
This contribution was made on Mar 2
ekmett/tagged
1 pull request
-
Allow template-haskell-2.22; extend CI to GHC 9.10
This contribution was made on Mar 16
GaloisInc/macaw
1 pull request
-
add ShowF instance for FloatInfoRepr
This contribution was made on Mar 13
GaloisInc/reopt
1 pull request
-
make reopt compatible with recent GHCs and dependencies
This contribution was made on Mar 13
Created an issue in GaloisInc/crucible that received 2 comments
popFrameUnchecked
changes cause regression in SAW AWS-LC proof
While working on GaloisInc/saw-script#2037, I discovered that the changes in commit c1f3800 (part of #1169) caused a regression in the llvm_verify_…
2
comments
Opened 11 other issues in 7 repositories
Copilot-Language/copilot-verifier
1
closed
2
open
-
Release 3.19 to Hackage
This contribution was made on Mar 8
-
Make it clearer which equality-related proof goals happen before and after calling
step()
This contribution was made on Mar 2 -
Log when Crucible simplifies trivial proof goals
This contribution was made on Mar 2
Copilot-Language/copilot-bluespec
1
open
1
closed
-
Update installation instructions to state how to install
copilot-bluespec
on its ownThis contribution was made on Mar 14 -
Release 3.19 to Hackage
This contribution was made on Mar 8
GaloisInc/crucible
1
open
1
closed
-
crucible-mir
: Re-implement overrides forget_unchecked
slice indexingThis contribution was made on Mar 6 -
crucible_mir
: Add overrides foris_null
This contribution was made on Mar 6
haskell-CI/haskell-ci
1
closed
-
Use
ghcup-prereleases-0.0.8.yaml
(rather than0.0.7
)This contribution was made on Mar 17
goldfirere/th-desugar
1
closed
-
extractBoundNamesDPat
should not extract type variablesThis contribution was made on Mar 15
GaloisInc/mir-json
1
open
-
Require defining
{CRUX,SAW}_RUST_LIBRARY_PATH
by defaultThis contribution was made on Mar 13
GaloisInc/macaw-loader
1
open
-
Use HTTPS-based (not SSH-based) submodules
This contribution was made on Mar 6