Comments (3)
csabahruska
commented on September 4, 2024
I'll take a look.
from grin.
csabahruska
commented on September 4, 2024
It seems that the current dataflow machinery in the current grin implementation is inefficient. That's why we switched to Souffle Datalog to fix this issue. I use Souffle Datalog in external stg and its corresponding analyses, however we have not integrated it to the grin implementation yet. Until that happens grin can only analyse tiny programs.
Souffle could handle this input in few milliseconds.
from grin.
Tiltedprogrammer
commented on September 4, 2024
Is there any relatively painless and seamless way to make these programs proceed grin pipeline? Maybe I can switch back and forth to stg to use souffle?
from grin.
Related Issues (20)
- Clang dependency for tests HOT 2
- How to cite paper HOT 3
- Lambda/GrinCodeGenBoxed.hs does not exist
- SimpleDeadParameterElimination causes "undefined variable" errors
- Question: does GRIN requires a runtime? HOT 1
- What LLVM versions are supported by the codegen? HOT 1
- InlineApply causes non-defined function when self recursive HOT 1
- Foreign pointer primitive type HOT 5
- Binary download?
- Windows support?
- Fix E2E tests for OSX HOT 1
- Clean FFI and primitive operations. This should be modular and specific to frontends.
- Modular PrimOps HOT 4
- Specification of the undefined value semantics
- SparseCaseOptimisation removes useful alternatives HOT 8
- Stop pipeline on errors and add --continue-on-lint option for the current behavior. HOT 3
- Counting Immutable Beans HOT 6
- Improve case hoisting
- Fix data dependencies in pipeline
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from grin.