Code

Core rewrite#21

Code

Open

KubEF wants to merge 54 commits intomainLamagraph/interaction-nets-in-fpga:mainfrom core-rewriteLamagraph/interaction-nets-in-fpga:core-rewriteCopy head branch name to clipboard

+1,661-115

Commits

Commits on Oct 28, 2024

• Add Node and Port types with related functions and data

  KubEF

  committed
  3a3bcf1

• Add Reducer

  Show description for 5ae3549
  KubEF

  committed
  5ae3549

• pin fourmolu version in CI

  Show description for 03490a2
  KubEF

  committed
  03490a2

• Delete Example.Project and add simpliest test for Core.Node

  KubEF

  committed
  f22318b

• Delete usless comments and complement useful ones

  KubEF

  committed
  142fb67

• Add loader

  KubEF

  committed
  076670f

• Fix fourmolu to process $ correctly

  KubEF

  committed
  e8c6d4e

• Add lenses and make some style changes

  KubEF

  committed
  396c345

• Add tests for isActive and isPortToLoad functions

  Show description for f20525b
  KubEF

  committed
  f20525b

• Replace elemIndex to elem in markAllInnerEdges

  KubEF

  committed
  47cdb69

• Add tests for selectAddresToLoad function

  KubEF

  committed
  c42efc4

• Replace repeat to def in handle function

  KubEF

  committed
  957dd8b

• Add tests for markAllInnerEdges function

  KubEF

  committed
  69b3439

• [WIP]Add layout of memory manager

  KubEF

  committed
  77a1365

• Redesign Address and add LocalNode

  KubEF

  committed
  beb03b7

• Add updateRam function

  KubEF

  committed
  cb4f812

• Add IdOfPort

  KubEF

  committed
  9204022

• Add more types and getter port function

  KubEF

  committed
  28948dc

• Add memory manager

  KubEF

  committed
  fcc12c1

• Fully redesign reducer

  KubEF

  committed
  ee84822

• Comment irrelevant (all) tests

  KubEF

  committed
  dfd0921

• Change default json formatter

  KubEF

  committed
  503c9a1

Commits on Nov 7, 2024

• Add simple vector-based key-value storage

  KubEF

  committed
  6c44b6a

• Replace Address to AddressNum in Loader and unify LoadedNode with LocalNode

  KubEF

  committed
  8c684c2

• Rework memory manager update to minimize usage of RAM

  KubEF

  committed
  f1d32ac

Commits on Nov 8, 2024

• Rename Map functions

  KubEF

  committed
  833d147

• Merge foldls

  Show description for 9e0c858
  KubEF

  committed
  9e0c858

Commits on Nov 15, 2024

• Delete updateRam

  KubEF

  committed
  98f2046

• Refactor and some doc changes

  Show description for d4f2574
  KubEF

  committed
  d4f2574

• Minor refactoring

  Show description for 6db019e
  KubEF

  committed
  6db019e

• Simplified reducer

  KubEF

  committed
  27f82a3

• Add handmade agents

  KubEF

  committed
  52030f6

• Write concrete handmade reduction rule

  KubEF

  committed
  1918777

Commits on Nov 18, 2024

• Add some doctests in memory manager

  KubEF

  committed
  fa9b564

• Weakened Index to Unsigned constraint

  KubEF

  committed
  4afd346

• Update simple lambda reduction rule

  Show description for fa5f3be
  KubEF

  committed
  fa5f3be

• Rewrite indexToUnsigned via resize and bitCoerce

  KubEF

  committed
  ed75dd2

Commits on Nov 19, 2024

• Add skipping svg files in pre-commit

  KubEF

  committed
  c8d17af

Commits on Nov 25, 2024

• Fix doctests

  Show description for 2564570
  KubEF

  committed
  2564570

Commits on Nov 28, 2024

• Rename agent constructors

  KubEF

  committed
  9fce015

Commits on Dec 8, 2024

• Rework Port and Node, add Connection type

  KubEF

  committed
  3547c90

• Split MemoryManager functionality

  Show description for 3893e18
  KubEF

  committed
  3893e18

• Replace Edge, ActivePair and Delta type

  KubEF

  committed
  3262a04

• Replace types in MemoryManager modules

  KubEF

  committed
  7ee225d

• Rewrite addresses allocated to Vec of Maybe

  KubEF

  committed
  be705c9

Commits on Dec 9, 2024

• Add giveActiveAddressNumber function

  KubEF

  committed
  164643d

• Fix the case when necessary amount of memory is zero

  KubEF

  committed
  43c3e6f

• Add necessary loading functions

  KubEF

  committed
  01db43e

• Rewrite Reducer

  KubEF

  committed
  9e46b32

• [WIP] Add core function

  Show description for b685955
  KubEF

  committed
  b685955

• Fix pedantic build

  KubEF

  committed
  2ca782d

• Add specific reduce rules for simple lambdas

  Show description for 1240556
  KubEF

  committed
  1240556

• Add example of initial net

  KubEF

  committed
  63aa4ef

• Add functions to export list for doctests

  KubEF

  committed
  462d8d5