Skip to content
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.

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

Core rewrite #21

Open
wants to merge 54 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from 53 commits
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
3a3bcf1
Add Node and Port types with related functions and data
KubEF Sep 13, 2024
5ae3549
Add Reducer
KubEF Sep 13, 2024
03490a2
pin fourmolu version in CI
KubEF Sep 13, 2024
f22318b
Delete Example.Project and add simpliest test for Core.Node
KubEF Sep 14, 2024
142fb67
Delete usless comments and complement useful ones
KubEF Sep 15, 2024
076670f
Add loader
KubEF Sep 15, 2024
e8c6d4e
Fix fourmolu to process $ correctly
KubEF Sep 15, 2024
396c345
Add lenses and make some style changes
KubEF Sep 15, 2024
f20525b
Add tests for isActive and isPortToLoad functions
KubEF Sep 16, 2024
47cdb69
Replace elemIndex to elem in markAllInnerEdges
KubEF Sep 17, 2024
c42efc4
Add tests for selectAddresToLoad function
KubEF Sep 17, 2024
957dd8b
Replace repeat to def in handle function
KubEF Sep 17, 2024
69b3439
Add tests for markAllInnerEdges function
KubEF Sep 17, 2024
77a1365
[WIP]Add layout of memory manager
KubEF Sep 18, 2024
beb03b7
Redesign Address and add LocalNode
KubEF Oct 1, 2024
cb4f812
Add updateRam function
KubEF Oct 1, 2024
9204022
Add IdOfPort
KubEF Oct 21, 2024
28948dc
Add more types and getter port function
KubEF Oct 28, 2024
fcc12c1
Add memory manager
KubEF Oct 28, 2024
ee84822
Fully redesign reducer
KubEF Oct 28, 2024
dfd0921
Comment irrelevant (all) tests
KubEF Oct 28, 2024
503c9a1
Change default json formatter
KubEF Oct 28, 2024
6c44b6a
Add simple vector-based key-value storage
KubEF Nov 7, 2024
8c684c2
Replace Address to AddressNum in Loader and unify LoadedNode with Loc…
KubEF Nov 7, 2024
f1d32ac
Rework memory manager update to minimize usage of RAM
KubEF Nov 7, 2024
833d147
Rename Map functions
KubEF Nov 8, 2024
9e0c858
Merge foldls
KubEF Nov 8, 2024
98f2046
Delete updateRam
KubEF Nov 15, 2024
d4f2574
Refactor and some doc changes
KubEF Nov 15, 2024
6db019e
Minor refactoring
KubEF Nov 15, 2024
27f82a3
Simplified reducer
KubEF Nov 15, 2024
52030f6
Add handmade agents
KubEF Nov 15, 2024
1918777
Write concrete handmade reduction rule
KubEF Nov 15, 2024
fa9b564
Add some doctests in memory manager
KubEF Nov 18, 2024
4afd346
Weakened Index to Unsigned constraint
KubEF Nov 18, 2024
fa5f3be
Update simple lambda reduction rule
KubEF Nov 18, 2024
ed75dd2
Rewrite indexToUnsigned via resize and bitCoerce
KubEF Nov 18, 2024
c8d17af
Add skipping svg files in pre-commit
KubEF Nov 19, 2024
2564570
Fix doctests
KubEF Nov 25, 2024
9fce015
Rename agent constructors
KubEF Nov 28, 2024
3547c90
Rework Port and Node, add Connection type
KubEF Dec 8, 2024
3893e18
Split MemoryManager functionality
KubEF Dec 8, 2024
3262a04
Replace Edge, ActivePair and Delta type
KubEF Dec 8, 2024
7ee225d
Replace types in MemoryManager modules
KubEF Dec 8, 2024
be705c9
Rewrite addresses allocated to Vec of Maybe
KubEF Dec 8, 2024
164643d
Add giveActiveAddressNumber function
KubEF Dec 9, 2024
43c3e6f
Fix the case when necessary amount of memory is zero
KubEF Dec 9, 2024
01db43e
Add necessary loading functions
KubEF Dec 9, 2024
9e46b32
Rewrite Reducer
KubEF Dec 9, 2024
b685955
[WIP] Add core function
KubEF Dec 9, 2024
2ca782d
Fix pedantic build
KubEF Dec 9, 2024
1240556
Add specific reduce rules for simple lambdas
KubEF Dec 9, 2024
63aa4ef
Add example of initial net
KubEF Dec 9, 2024
462d8d5
Add functions to export list for doctests
KubEF Dec 9, 2024
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
2 changes: 1 addition & 1 deletion .pre-commit-config.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ repos:
hooks:
- id: trailing-whitespace
- id: end-of-file-fixer
exclude: "ast/.*|ppr/.*"
exclude: "ast/.*|ppr/.*|.*.svg"
- id: check-yaml
- id: fix-byte-order-marker
- id: mixed-line-ending
3 changes: 3 additions & 0 deletions .vscode/settings.json
Original file line number Diff line number Diff line change
Expand Up @@ -49,5 +49,8 @@
"editor.rulers": [
120
]
},
"[jsonc]": {
"editor.defaultFormatter": "vscode.json-language-features"
}
}
1 change: 1 addition & 0 deletions fourmolu.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -75,3 +75,4 @@ reexports:
- "module Relude exports Relude.Print"
- "module Relude exports Relude.String"
- "module Relude.String exports Relude.String.Reexport"
- "module Clash.Prelude exports Clash.HaskellPrelude"
126 changes: 126 additions & 0 deletions lamagraph-core/docs/apply.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
174 changes: 174 additions & 0 deletions lamagraph-core/docs/apply_to_lambda_rule.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Loading