#grin_compiler Suchergebnisse
Just compiled the first running program with this pipeline: GHC 8.11.0 -> ExternalSTG -> Lambda -> GHC 8.8.2 #grin_compiler
Finished the first version of the Haskell Cost Centre Stack viewer. (similar to call stack) It uses GHC-WPC to show the source code of the functions. Web UI is powerful and easily accessible! github.com/grin-compiler/… #grin_compiler #Haskell
#grin_compiler In the Datalog model of a GRIN program, each program point must be uniquely identified. Right now, I'm working on extending the syntax of the GRIN IR so that it can be processed by Datalog analyses.
I finally know how to build GHC/STG programs manually! github.com/grin-compiler/… #grin_compiler
#grin_compiler Currently measuring execution times and memory usage of small Idris programs compiled with GRIN. Both seem to improve compared to the binaries generated by the Idris compiler. This is to refine the measurements in our previous paper. nbviewer.jupyter.org/github/Anabra/…
I added part of Idris-Dev tests to idris-grin. I am fixing the the bugs they found. #grin_compiler
Finally I've fixed the Control Flow Analysis Datalog implementation. I wrote a unit test for each Datalog rule. The implementation is still unoptimized but it gets the correct result. It takes 14 seconds to complete the CFA for this program: raw.githubusercontent.com/grin-compiler/… #grin_compiler
The next task I'll do is to feed back the whole program Lambda2/STG IR to GHC/STG and generate working executable with GHC's regular codegen backend and RTS. #grin_compiler
It seems that the simplest type system for GHC/STG is the following: newtype StgType = UnboxedTuple [PrimRep] data PrimRep = IntRep | WordRep | AddrRep | FloatRep | DoubleRep | LiftedRep | UnliftedRep In short everything is an unboxed tuple. #grin_compiler
I implemented something similar in the mini-grin repository. I am really glad that you made it as a reusable library... I see possible applications in the #grin_compiler. :)
For now I'm planning to use it for analyses in a compiler I'm writing, maybe later I will find other usecases. Also hoping the #grin_compiler team will use it at some point. And it was simply a lot of fun to glue it all together. 😁
I am working on a Heap Points-To implementation using Souffle datalog as part of a code experiment in github.com/andorp/mini-gr… . When done it will be the model how to integrate abstract interpretations written in datalog in the github.com/grin-compiler/… #grin_compiler
#grin_compiler I still need to fix GHC-GRIN CFA Datalog implementation. So I work on unit tests. github.com/grin-compiler/…
Finished the first version of the Haskell Cost Centre Stack viewer. (similar to call stack) It uses GHC-WPC to show the source code of the functions. Web UI is powerful and easily accessible! github.com/grin-compiler/… #grin_compiler #Haskell
Just compiled the first running program with this pipeline: GHC 8.11.0 -> ExternalSTG -> Lambda -> GHC 8.8.2 #grin_compiler
It seems that the simplest type system for GHC/STG is the following: newtype StgType = UnboxedTuple [PrimRep] data PrimRep = IntRep | WordRep | AddrRep | FloatRep | DoubleRep | LiftedRep | UnliftedRep In short everything is an unboxed tuple. #grin_compiler
I finally know how to build GHC/STG programs manually! github.com/grin-compiler/… #grin_compiler
I implemented something similar in the mini-grin repository. I am really glad that you made it as a reusable library... I see possible applications in the #grin_compiler. :)
For now I'm planning to use it for analyses in a compiler I'm writing, maybe later I will find other usecases. Also hoping the #grin_compiler team will use it at some point. And it was simply a lot of fun to glue it all together. 😁
I added part of Idris-Dev tests to idris-grin. I am fixing the the bugs they found. #grin_compiler
Finally I've fixed the Control Flow Analysis Datalog implementation. I wrote a unit test for each Datalog rule. The implementation is still unoptimized but it gets the correct result. It takes 14 seconds to complete the CFA for this program: raw.githubusercontent.com/grin-compiler/… #grin_compiler
The next task I'll do is to feed back the whole program Lambda2/STG IR to GHC/STG and generate working executable with GHC's regular codegen backend and RTS. #grin_compiler
#grin_compiler In the Datalog model of a GRIN program, each program point must be uniquely identified. Right now, I'm working on extending the syntax of the GRIN IR so that it can be processed by Datalog analyses.
#grin_compiler Currently measuring execution times and memory usage of small Idris programs compiled with GRIN. Both seem to improve compared to the binaries generated by the Idris compiler. This is to refine the measurements in our previous paper. nbviewer.jupyter.org/github/Anabra/…
#grin_compiler I still need to fix GHC-GRIN CFA Datalog implementation. So I work on unit tests. github.com/grin-compiler/…
I am working on a Heap Points-To implementation using Souffle datalog as part of a code experiment in github.com/andorp/mini-gr… . When done it will be the model how to integrate abstract interpretations written in datalog in the github.com/grin-compiler/… #grin_compiler
Just compiled the first running program with this pipeline: GHC 8.11.0 -> ExternalSTG -> Lambda -> GHC 8.8.2 #grin_compiler
Something went wrong.
Something went wrong.
United States Trends
- 1. New York 935K posts
- 2. Virginia 486K posts
- 3. #DWTS 38.9K posts
- 4. Mamdani 1.19M posts
- 5. $TAPIR N/A
- 6. Texas 202K posts
- 7. Prop 50 159K posts
- 8. Sixers 12.6K posts
- 9. Bulls 34K posts
- 10. Cuomo 385K posts
- 11. TURN THE VOLUME UP 6,901 posts
- 12. #Election2025 15K posts
- 13. Jay Jones 92.4K posts
- 14. Maxey 7,727 posts
- 15. Embiid 5,971 posts
- 16. Eugene Debs 1,565 posts
- 17. WOKE IS BACK 27.2K posts
- 18. Andy 63.8K posts
- 19. Harden N/A
- 20. Josh Giddey 5,316 posts