├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── Setup.hs ├── app └── Main.hs ├── examples ├── sieve │ ├── Makefile │ ├── blockram.v │ ├── sieve.finlog │ ├── sieve.v │ └── sieve_tb.v └── uart │ ├── lcd.finlog │ ├── lcd.v │ ├── uart_tb.v │ ├── uartrx.finlog │ ├── uartrx.v │ ├── uarttx.finlog │ └── uarttx.v ├── finlog.cabal ├── package.yaml ├── src └── Finlog │ ├── Backend │ └── Verilog │ │ ├── AST.hs │ │ ├── Codegen.hs │ │ └── Translate.hs │ ├── Framework │ ├── DAG.hs │ ├── Graph.hs │ └── Topo.hs │ ├── Frontend │ ├── AST.hs │ ├── Parser.hs │ └── Type.hs │ ├── IR │ ├── Analysis │ │ └── Symbolic.hs │ ├── Build.hs │ └── Node.hs │ └── Utils │ ├── Mark.hs │ ├── MiniState.hs │ ├── Pretty.hs │ ├── Queue.hs │ └── Unique.hs ├── stack.yaml ├── stack.yaml.lock └── test └── Spec.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/app/Main.hs -------------------------------------------------------------------------------- /examples/sieve/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/sieve/Makefile -------------------------------------------------------------------------------- /examples/sieve/blockram.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/sieve/blockram.v -------------------------------------------------------------------------------- /examples/sieve/sieve.finlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/sieve/sieve.finlog -------------------------------------------------------------------------------- /examples/sieve/sieve.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/sieve/sieve.v -------------------------------------------------------------------------------- /examples/sieve/sieve_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/sieve/sieve_tb.v -------------------------------------------------------------------------------- /examples/uart/lcd.finlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/uart/lcd.finlog -------------------------------------------------------------------------------- /examples/uart/lcd.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/uart/lcd.v -------------------------------------------------------------------------------- /examples/uart/uart_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/uart/uart_tb.v -------------------------------------------------------------------------------- /examples/uart/uartrx.finlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/uart/uartrx.finlog -------------------------------------------------------------------------------- /examples/uart/uartrx.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/uart/uartrx.v -------------------------------------------------------------------------------- /examples/uart/uarttx.finlog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/uart/uarttx.finlog -------------------------------------------------------------------------------- /examples/uart/uarttx.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/examples/uart/uarttx.v -------------------------------------------------------------------------------- /finlog.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/finlog.cabal -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/package.yaml -------------------------------------------------------------------------------- /src/Finlog/Backend/Verilog/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Backend/Verilog/AST.hs -------------------------------------------------------------------------------- /src/Finlog/Backend/Verilog/Codegen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Backend/Verilog/Codegen.hs -------------------------------------------------------------------------------- /src/Finlog/Backend/Verilog/Translate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Backend/Verilog/Translate.hs -------------------------------------------------------------------------------- /src/Finlog/Framework/DAG.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Framework/DAG.hs -------------------------------------------------------------------------------- /src/Finlog/Framework/Graph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Framework/Graph.hs -------------------------------------------------------------------------------- /src/Finlog/Framework/Topo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Framework/Topo.hs -------------------------------------------------------------------------------- /src/Finlog/Frontend/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Frontend/AST.hs -------------------------------------------------------------------------------- /src/Finlog/Frontend/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Frontend/Parser.hs -------------------------------------------------------------------------------- /src/Finlog/Frontend/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Frontend/Type.hs -------------------------------------------------------------------------------- /src/Finlog/IR/Analysis/Symbolic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/IR/Analysis/Symbolic.hs -------------------------------------------------------------------------------- /src/Finlog/IR/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/IR/Build.hs -------------------------------------------------------------------------------- /src/Finlog/IR/Node.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/IR/Node.hs -------------------------------------------------------------------------------- /src/Finlog/Utils/Mark.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Utils/Mark.hs -------------------------------------------------------------------------------- /src/Finlog/Utils/MiniState.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Utils/MiniState.hs -------------------------------------------------------------------------------- /src/Finlog/Utils/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Utils/Pretty.hs -------------------------------------------------------------------------------- /src/Finlog/Utils/Queue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Utils/Queue.hs -------------------------------------------------------------------------------- /src/Finlog/Utils/Unique.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/src/Finlog/Utils/Unique.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/stack.yaml -------------------------------------------------------------------------------- /stack.yaml.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/stack.yaml.lock -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dramforever/finlog/HEAD/test/Spec.hs --------------------------------------------------------------------------------