issues
search
microsoft
/
knossos-ksc
Compiler with automatic differentiation
Other
45
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Formalize ks types
#934
awf
closed
3 years ago
0
Revert "Formalise ks types"
#933
awf
closed
3 years ago
1
Awf/float32 stage2
#932
awf
closed
3 years ago
1
Use torch::tensor instead of ks::tensor in entry points
#931
dcrc2
closed
3 years ago
1
Formalise ks types
#930
awf
closed
3 years ago
1
Add conftest.py
#929
awf
closed
3 years ago
6
float64->float32
#928
awf
closed
3 years ago
9
Make Expr.__repr__ obey contract
#927
awf
opened
3 years ago
0
Remove Expr.__str__ dependency on prettyprint
#926
awf
opened
3 years ago
1
Generate C++ entry points
#925
dcrc2
closed
3 years ago
6
double -> ks::Float
#924
awf
closed
3 years ago
1
Doctests of path.py, run from test_pytest.sh
#923
acl33
closed
2 years ago
0
Pointer values can be less than 0xFFFFFF
#922
dcrc2
closed
3 years ago
0
Refactor how rewrite.py passes delayed match application (for typing & clarity)
#921
cgravill
closed
3 years ago
4
Type check filter_term.py (and parts of rewrite.py)
#920
cgravill
closed
3 years ago
0
New C++ header for common code used for ks entry points
#919
dcrc2
closed
3 years ago
0
Expr.__eq__ tests type
#918
acl33
closed
3 years ago
1
Make str(ASTNode) return an s-exp
#917
acl33
closed
3 years ago
5
python: apply rewrite sequences loaded from JSON
#916
acl33
closed
3 years ago
4
Add ExprHashedWithAlpha wrapper class for python dict/set
#915
acl33
closed
3 years ago
0
Added 1D broadcasting add, div, and erf
#914
ryotatomioka
closed
3 years ago
8
Loosen benchmark time check
#913
cgravill
closed
3 years ago
6
Couldn't find [aten::div (Tuple (Tensor 1 Float) Float)] applied to ((Tensor 1 Float),Float)
#912
ryotatomioka
closed
3 years ago
4
python parser silently ignores malformed 'lam (arg : Type) body extra extra'
#911
acl33
opened
3 years ago
2
Use "inference_mode" for PyTorch inference?
#910
awf
opened
3 years ago
0
Simpler way to type type.py
#909
cgravill
closed
3 years ago
0
Improve error handling around creation of temporary files
#908
dcrc2
closed
3 years ago
1
Don't raise exception if we can't achieve min_rounds within duration
#907
toelli-msft
closed
3 years ago
5
Rename compilation functions
#906
dcrc2
closed
3 years ago
4
Piloting Dependency Detection Action
#905
grvillic
closed
3 years ago
5
Remove deprecated function __make_cpp_str
#904
dcrc2
closed
3 years ago
0
Split up utils.py, moving compilation to a new file
#903
dcrc2
closed
3 years ago
0
RFC: Typecheck expr.py
#902
cgravill
closed
3 years ago
2
Add a function to convert Defs to one-arg
#901
acl33
closed
3 years ago
0
Remove "decl" field of Var, check arg type for Lam+Def
#900
acl33
closed
3 years ago
2
Update numpy to current (for Windows)
#899
cgravill
closed
3 years ago
0
Refactor handwritten vrelu3 to pull out reusable code
#898
dcrc2
closed
3 years ago
2
relu3 upper bounds - proposed compiler flags/tweaks
#897
awf
closed
2 years ago
1
Benchmark hardening
#896
cgravill
closed
3 years ago
3
Benchmark: use no_grad() in PyTorch for inference
#895
cgravill
closed
3 years ago
0
RFC: Make benchmarks run for longer
#894
cgravill
closed
3 years ago
0
Update README.md
#893
awf
closed
3 years ago
0
Fix docstring typo
#892
toelli-msft
closed
3 years ago
0
Convert "if" to masking in some instances
#891
awf
opened
3 years ago
0
Allow benchmark with automatic rounds + setup function
#890
cgravill
closed
3 years ago
3
Allow embedded CPP to compile for benchmarks
#889
toelli-msft
closed
3 years ago
0
Python: refactor type.Type.* -> type.*?
#888
awf
opened
3 years ago
12
Is it possible to get the "Mean" column on the left of pytest table?
#887
toelli-msft
closed
3 years ago
3
Benchmark, reduce display columns and compact name
#883
cgravill
closed
3 years ago
0
RFC: Class property to enable type checking Python "Type"
#882
cgravill
closed
3 years ago
6
Previous
Next