Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add CSpell #682

Merged
merged 119 commits into from
Feb 3, 2023
Merged
Show file tree
Hide file tree
Changes from 8 commits
Commits
Show all changes
119 commits
Select commit Hold shift + click to select a range
a07d246
add cspell.json
kevaundray Jan 21, 2023
3939bfb
add cspell to CI
kevaundray Jan 21, 2023
cca01db
include rs, ts, js
kevaundray Jan 21, 2023
957bf5c
change root directory
kevaundray Jan 21, 2023
51418ca
remove contrain:
kevaundray Jan 22, 2023
4049806
ci : scan all files not just changed ones for this PR
kevaundray Jan 22, 2023
0da2a43
update cspell.json
kevaundray Jan 22, 2023
d0320ce
Push spelling mistakes to the top of the file
kevaundray Jan 22, 2023
2841ce4
Merge branch 'master' into kw/add-cspell
kevaundray Jan 30, 2023
081b204
Merge remote-tracking branch 'origin/master' into kw/add-cspell
kevaundray Feb 2, 2023
1173ed6
analyse(d) -> analyze(d)
kevaundray Feb 2, 2023
e45ab79
monomorphis -> monomorphiz
kevaundray Feb 2, 2023
55fd09f
optimis -> optimiz
kevaundray Feb 2, 2023
efcdbff
serialis -> serializ
kevaundray Feb 2, 2023
48cac36
usefull -> useful
kevaundray Feb 2, 2023
fd1e004
perfom -> perform
kevaundray Feb 2, 2023
9305425
occurences -> occurrences
kevaundray Feb 2, 2023
a2e6b13
puposes -> purposes
kevaundray Feb 2, 2023
9f629d0
flattenning -> flattening
kevaundray Feb 2, 2023
934434d
adress -> address
kevaundray Feb 2, 2023
fe66b0f
lenghts -> lengths
kevaundray Feb 2, 2023
e7dac2c
conresponding -> corresponding
kevaundray Feb 2, 2023
d6bc8dd
initialis -> initializ
kevaundray Feb 2, 2023
321cf7b
occured -> occurred
kevaundray Feb 2, 2023
2d0bf11
contrain -> constrain
kevaundray Feb 2, 2023
82d5fa0
Oshoud -> fix comment
kevaundray Feb 2, 2023
c1bd842
concatened -> concatenated
kevaundray Feb 2, 2023
d2d6961
assuption -> assumption
kevaundray Feb 2, 2023
0579178
circtuit -> circuit
kevaundray Feb 2, 2023
360edd2
synchronise -> synchronize
kevaundray Feb 2, 2023
2334469
conditionalise -> conditionalize
kevaundray Feb 2, 2023
69542f7
arbitraty -> arbitrary
kevaundray Feb 2, 2023
671b088
flatened -> flattened
kevaundray Feb 2, 2023
ef5a162
charac -> (fix comment)
kevaundray Feb 2, 2023
b46943a
insterted -> inserted
kevaundray Feb 2, 2023
03b7675
statment -> statement
kevaundray Feb 2, 2023
8ebf334
recursiverly -> recursively
kevaundray Feb 2, 2023
26e4c5f
recognise -> recognize
kevaundray Feb 2, 2023
9063373
normalisation -> normalization
kevaundray Feb 2, 2023
81662a6
dont -> don't
kevaundray Feb 2, 2023
90c6c92
secp -> secp256k1
kevaundray Feb 2, 2023
3ec7df8
dunmmy -> dummy
kevaundray Feb 2, 2023
75b8a69
erce -> (Fix comment)
kevaundray Feb 2, 2023
ca1d7a1
utilise -> utilize
kevaundray Feb 2, 2023
80e3cab
grammer -> grammar
kevaundray Feb 2, 2023
758826a
messsages -> messages
kevaundray Feb 2, 2023
2bd0df5
Chidren -> Children
kevaundray Feb 2, 2023
d565ffb
Opportunties -> Opportunities
kevaundray Feb 2, 2023
373554d
sanitisation -> sanitization
kevaundray Feb 2, 2023
62d46d6
ellide -> elide
kevaundray Feb 2, 2023
c042c10
interner -> Add brief comment
kevaundray Feb 2, 2023
784c13b
callsite -> "call site"
kevaundray Feb 2, 2023
815315f
cspell -- remove capitalisations (this does not matter for spelling)
kevaundray Feb 2, 2023
2c33963
bitsize -> "bit size"
kevaundray Feb 2, 2023
4537a19
optype -> op_type
kevaundray Feb 2, 2023
9dbfae0
lowlevel -> low level
kevaundray Feb 2, 2023
020b537
otype -> "object type"
kevaundray Feb 2, 2023
5c2f054
coef_ -> coeff_
kevaundray Feb 2, 2023
54d40d2
coef -> coeff
kevaundray Feb 2, 2023
197cd28
flatenning -> flattening
kevaundray Feb 2, 2023
5407b16
typevariable -> "type variable"
kevaundray Feb 2, 2023
76ae219
funcid -> "func id"
kevaundray Feb 2, 2023
874fbf3
ssafunc -> "ssa func"
kevaundray Feb 2, 2023
1fa5d15
add todo for optim
kevaundray Feb 2, 2023
4df325d
notequal -> "not equal"
kevaundray Feb 2, 2023
4c67698
constrain -> (remove)
kevaundray Feb 2, 2023
98e5c5b
bsize -> "bit size"
kevaundray Feb 2, 2023
fbf89fd
eucl -> euclidean
kevaundray Feb 2, 2023
4132c15
shortfield -> "short field"
kevaundray Feb 3, 2023
d42667b
longfield -> "long field"
kevaundray Feb 3, 2023
3eccf1e
"myfunc" -> "my_func"
kevaundray Feb 3, 2023
fe53f4b
arithematic -> arithmetic
kevaundray Feb 3, 2023
adeca4d
maxbits -> "max bits"
kevaundray Feb 3, 2023
b48003e
typenames -> "type names"
kevaundray Feb 3, 2023
873df26
typecheck -> "type check"
kevaundray Feb 3, 2023
ff95eeb
preprocess -> "pre-process"
kevaundray Feb 3, 2023
8633133
comptime -> "comp time"
kevaundray Feb 3, 2023
069ecaa
subexpr -> subexpression
kevaundray Feb 3, 2023
cf32f97
virtualise -> virtualize
kevaundray Feb 3, 2023
40d1b8d
binded -> bound
kevaundray Feb 3, 2023
88d6c21
nodeobj -> "node object"
kevaundray Feb 3, 2023
02b3cd6
add note about foldl
kevaundray Feb 3, 2023
a4f6472
nodeobj -> node object
kevaundray Feb 3, 2023
dc833e3
comptime : use snake case and camel case
kevaundray Feb 3, 2023
17d4e83
ltype -> "lhs type"
kevaundray Feb 3, 2023
e257852
curr -> current
kevaundray Feb 3, 2023
1f2b9f7
failable -> fallible
kevaundray Feb 3, 2023
cd812ed
lowlevel -> "low-level"
kevaundray Feb 3, 2023
e4086e7
"forscope" -> "for-scope"
kevaundray Feb 3, 2023
e6e519b
nondeterministically -> non-deterministically
kevaundray Feb 3, 2023
1774597
subtyping -> "sub-typing"
kevaundray Feb 3, 2023
f64c579
pvalue -> "parent value"
kevaundray Feb 3, 2023
1ee7d1d
svec -> "slave vec"
kevaundray Feb 3, 2023
a96044c
binop -> "binary op"
kevaundray Feb 3, 2023
29eb200
bitcount -> "bit count"
kevaundray Feb 3, 2023
4a49b99
vmap -> "value map"
kevaundray Feb 3, 2023
39b7d30
tokenkind -> "token kind"
kevaundray Feb 3, 2023
0c30f6f
rtype -> (rhs_type/result_type)
kevaundray Feb 3, 2023
47abf0b
arraylen -> "array len"
kevaundray Feb 3, 2023
2c6c72e
ncrate -> crate
kevaundray Feb 3, 2023
6763278
cdir -> current_dir
kevaundray Feb 3, 2023
d073e6b
nvar -> "new var"
kevaundray Feb 3, 2023
244244c
igen -> ir_gen
kevaundray Feb 3, 2023
ca49b3d
cleanup dictionary
kevaundray Feb 3, 2023
d4c9e6b
Merge remote-tracking branch 'origin/master' into kw/add-cspell
kevaundray Feb 3, 2023
c815cb9
reformat dict list
kevaundray Feb 3, 2023
720ccf9
clarify comment on comptime
kevaundray Feb 3, 2023
87cc8ec
elems -> elements
kevaundray Feb 3, 2023
5dbda58
change authors
kevaundray Feb 3, 2023
b1ae6b6
Merge remote-tracking branch 'origin/master' into kw/add-cspell
kevaundray Feb 3, 2023
01735f4
change author in Cargo.toml
kevaundray Feb 3, 2023
b23794e
conditionalize -> "apply condition"
kevaundray Feb 3, 2023
e3f7857
optim -> optimizations
kevaundray Feb 3, 2023
c9b3af5
add "higher-kinded"
kevaundray Feb 3, 2023
c49bcec
separate words from dependencies and in code
kevaundray Feb 3, 2023
7f43202
re-order alphabetically
kevaundray Feb 3, 2023
9b9e897
remove comments in Cspell
kevaundray Feb 3, 2023
fc2b5e9
- Do not fail CI if spelling mistake is found
kevaundray Feb 3, 2023
57e77cc
fix typo: conf_data -> config_data
kevaundray Feb 3, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -95,3 +95,13 @@ jobs:
with:
command: fmt
args: --all -- --check

spellcheck:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: streetsidesoftware/cspell-action@v2
with:
files: |
**/*.{md,rs}
incremental_files_only : false
173 changes: 173 additions & 0 deletions cspell.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,173 @@
{
"version": "0.2",
"words": [
// Spelling mistakes -- This includes using the english spelling
// of words over the american spelling.
"analyse",
"monomorphise",
"monomorphisation",
"optimisations",
"serialise",
"usefull",
"perfom",
"optimise",
"optimisation",
"occurences",
"puposes",
"flattenning",
"adress",
"lenghts",
"conresponding",
"initialised",
"occured",
"optimised",
"initialise",
"contrain",
jfecher marked this conversation as resolved.
Show resolved Hide resolved
"Oshoud",
"concatened",
"assuption",
"circtuit",
"synchronise",
"conditionalise",
"arbitraty",
"flatened",
"charac",
"insterted",
"statment",
"recursiverly",
"recognise",
"normalisation",
"dont",
"Secp",
"conditionalize",
"conditionalised",
"dunmmy",
"erce",
"analysed",
"utilise",
"grammer",
"messsages",
"Chidren",
"monomorphised",
"Monomorphiser",
"monomorphiser",
"aeiou",
"Opportunties",
"sanitisation",
"ellide",
//
"acvm",
"acir",
"nargo",
"tempdir",
"noirc",
"interner",
"callsite",
"blackbox",
"canonicalize",
"codegen",
"lvalue",
"vecmap",
"funcid",
"ssafunc",
"Forall",
"Signedness",
"rtype",
"optim",
"optype",
"bitsize",
"curr",
"coef",
"lowlevel",
"ltype",
"otype",
"notequal",
"udiv",
"sdiv",
"urem",
"srem",
"nvar",
"constrain",
"bsize",
"eucl",
"igen",
"nodeobj",
"Barretenberg",
"cdir",
"uninstantiated",
"libomp",
"clippy",
"rustfmt",
"pkgs",
"openmp",
"nixpkgs",
"rustup",
"chumsky",
"tokenkind",
"idents",
"foldl",
"comptime",
"shortfield",
"longfield",
"failable",
"subexpr",
"myfunc",
"desugared",
"elems",
"bindgen",
"gloo",
"deserialises",
"plonkc",
"virtualise",
"tempfile",
"rustc",
"ARKWORKS",
"arkworks",
"Kevaundray",
"Wedderburn",
"termcolor",
"arity",
"ncrate",
"Hasher",
"injective",
"thiserror",
"Deque",
"svec",
"Pedersen",
"Schnorr",
"Merkle",
"pvalue",
"binop",
"vmap",
"trunc",
"memorymaps",
"maxbits",
"arithmetization",
"bitand",
"bitcount",
"subexpression",
"binded",
"typenames",
"smol",
"krate",
"Comptimes",
"typevars",
"subtyping",
"Foralls",
"impls",
"nondeterministically",
"typevar",
"forscope",
"Arity",
"typecheck",
"Hindley",
"Milner",
"peekable",
"hexdigit",
"arraylen",
"struct",
"stdlib",
"preprocess",
"noirup"
]
}