GitXplorerGitXplorer
s

pyre-notes-and-tools

public
1 stars
0 forks
0 issues

Commits

List of commits on branch main.
Unverified
7f1f51dddb0d61449ae7d772dd9d547fb73f770d

Add script that can type check one file

sstroxler committed 2 months ago
Unverified
c42b68b567668f89c72bf4d8cf9d6a7ed3160954

New scratch project, with .watchmanconfig

sstroxler committed 2 months ago
Unverified
5fb7d359255964b97d04bc7e01c7bef4f1cafe72

Add a pyre_sar symlink with no .py suffix for convenience

sstroxler committed 2 months ago
Unverified
19fd1fa6ef1081dc728bc79c6ac83d22b0aac9e9

Add a pyre search-and-replace tool to chain rg and sed

sstroxler committed 3 months ago
Unverified
d2f506630f8c5dab05e7ba718312e4c6f7783d71

Tweak the line filtering for 'make test' wrapper

sstroxler committed 3 months ago
Unverified
5699b0cdb9a0075d412fd226d53f4a0e7c9b418f

Add a dout symlink for dout.py

sstroxler committed 3 months ago

README

The README file for this repository.

Pyre notes and tools

This is a dumping ground for my (Steven Troxler's) personal Pyre-related bits of code and such. For instance:

  • development tools that are either specific to my personal preferences or are experiments and I'm not ready to commit to the main repo (which is an implicit suggestion that other people should use them)
  • scratch projects demonstrating typing issues that I felt at the time were worth preserving but didn't make sense to add to Pyre's test cases