Skip to content

chore: remove NEFF details #123

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.

Sign up for GitHub

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

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

chore: remove NEFF details #123

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
1 change: 0 additions & 1 deletion KLR.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,6 @@ Authors: Paul Govereau, Sean McLaughlin
import KLR.BIR
import KLR.Core
import KLR.Eval
import KLR.NEFF
import KLR.NKI
import KLR.Python
import KLR.Serde
Expand Down
6 changes: 0 additions & 6 deletions KLR/NEFF.lean
View file
Open in desktop

This file was deleted.

203 changes: 0 additions & 203 deletions KLR/NEFF/Basic.lean
View file
Open in desktop

This file was deleted.

16 changes: 0 additions & 16 deletions Main.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,6 @@ import KLR
import KLR.BIR.Compile
import Cli
import KLR.Eval
import KLR.NEFF
import KLR.Util
import KLR.Util.Gzip
import TensorLib.Npy
Expand Down Expand Up @@ -237,12 +236,6 @@ def parseBIR (p : Parsed) : IO UInt32 := do
IO.println $ asString p bir
return 0

def neffInfo (p : Parsed) : IO UInt32 := do
let file := p.positionalArg! "file" |>.as! String
let neff <- NEFF.File.read file
IO.println (repr neff)
return 0

def nkiToKLR (p : Parsed) : IO UInt32 := do
let debug := p.hasFlag "debug"
let file := p.positionalArg! "moduleFileName" |>.as! String
Expand Down Expand Up @@ -361,14 +354,6 @@ def parseBIRCmd := `[Cli|
file : String; "File of BIR JSON"
]

def neffInfoCmd := `[Cli|
"neff-info" VIA neffInfo;
"Parse a NEFF file"

ARGS:
file : String; "NEFF file"
]

def nkiToKLRCmd := `[Cli|
"nki-to-klr" VIA nkiToKLR;
"Compile NKI kernel to KLR"
Expand Down Expand Up @@ -409,7 +394,6 @@ def klrCmd : Cmd := `[Cli|
compileCmd;
evalKLRCmd;
gatherCmd;
neffInfoCmd;
nkiToKLRCmd;
parseASTCmd;
parseKLRCmd;
Expand Down