Code

Symbol Table and Memory Instance#10

Code

Merged

christopherpriebe merged 29 commits intodevactlab-fhy/FhY-core:devfrom dev-0-0-2actlab-fhy/FhY-core:dev-0-0-2Copy head branch name to clipboardNov 11, 2024

+1,469-119

Commits

Commits on Nov 8, 2024

• feat: Added copy methods to constraint and param.

  christopherpriebe

  committed
  8bc6964

  Copy full SHA for 8bc6964

Commits on Nov 9, 2024

• fix(identifier): Removed args from the docstring.

  christopherpriebe

  committed
  d632e60

  Copy full SHA for d632e60

• fix(identifier): Changed identifier module docstring.

  christopherpriebe

  committed
  05e1c08

  Copy full SHA for 05e1c08

• feat(utils.enum): Added string and integer enum fix for Python 3.10.

  christopherpriebe

  committed
  ba987f9

  Copy full SHA for ba987f9

• feat(error): Added an error registration system and a custom type error.

  christopherpriebe

  committed
  8c2224d

  Copy full SHA for 8c2224d

• fix: Added type annotations to pytest fixtures in test_stack.

  christopherpriebe

  committed
  80d39e4

  Copy full SHA for 80d39e4

• feat(types): Added core type system.

  christopherpriebe

  committed
  27bcab8

  Copy full SHA for 27bcab8

• feat(error): Added symbol table error.

  christopherpriebe

  committed
  908bd3b

  Copy full SHA for 908bd3b

• feat(symbol_table): Added core symbol table.

  christopherpriebe

  committed
  f34d347

  Copy full SHA for f34d347

• fix(enum): Typing fixes.

  christopherpriebe

  committed
  5978658

  Copy full SHA for 5978658

• fix(types): Typing fix.

  christopherpriebe

  committed
  b834645

  Copy full SHA for b834645

• fix: Updated internal type variables to be private.

  christopherpriebe

  committed
  ec4feca

  Copy full SHA for ec4feca

• fix(symbol_table): Fixed typing issues.

  christopherpriebe

  committed
  343b191

  Copy full SHA for 343b191

• fix(__init__): Added missing imports for new features.

  christopherpriebe

  committed
  b7583c0

  Copy full SHA for b7583c0

• feat(expression): Added Z3 integration for satisfiability check.

  christopherpriebe

  committed
  dd2f806

  Copy full SHA for dd2f806

• feat(expression.passes.basic): Added identifier substitution pass.

  christopherpriebe

  committed
  651585d

  Copy full SHA for 651585d

Commits on Nov 10, 2024

• feat: Updated constraint to only constrain one variable, enabling easy conversion to expression + conversion to expression methods for all constraint types.

  christopherpriebe

  committed
  06b28e1

  Copy full SHA for 06b28e1

• feat(expression): Added logical and and logical or static method.

  christopherpriebe

  committed
  a52b84c

  Copy full SHA for a52b84c

• fix(expression): Fixed logical and/or functions to convert literals into literal expressions.

  christopherpriebe

  committed
  3b5543c

  Copy full SHA for 3b5543c

• fix(constraint): Updated constraint to expression functions to use new logical and/or functions.

  christopherpriebe

  committed
  f196dfa

  Copy full SHA for f196dfa

• fix(expression): Removed inversion dunder method in favor of custom logical not method.

  christopherpriebe

  committed
  332dd46

  Copy full SHA for 332dd46

• feat(expression): Added replace identifiers function.

  christopherpriebe

  committed
  7594b67

  Copy full SHA for 7594b67

• feat(memory_instance): Added memory instance implementation for row and column major order.

  christopherpriebe

  committed
  4aabafe

  Copy full SHA for 4aabafe

• feat(symbol_table): Added memory tracker to symbol table.

  christopherpriebe

  committed
  7e42e05

  Copy full SHA for 7e42e05

• Merge from dev.

  christopherpriebe

  committed
  847eea0

  Copy full SHA for 847eea0

• fix(constraint): Removed redundant copy method.

  christopherpriebe

  committed
  3eede91

  Copy full SHA for 3eede91

• fix: Added new features to __init__.

  christopherpriebe

  committed
  6e6b938

  Copy full SHA for 6e6b938

Commits on Nov 11, 2024

• fix: Typing fixes.

  christopherpriebe

  committed
  142ef96

  Copy full SHA for 142ef96

• feat(README): Added new features.

  christopherpriebe

  committed
  33121da

  Copy full SHA for 33121da