Code

Feature Algebra and FSTs#26

Code

Merged

pmbittner merged 45 commits intodevelopVariantSync/Vatras:developfrom feature-algebraVariantSync/Vatras:feature-algebraCopy head branch name to clipboardApr 5, 2024

+902-3

Commits

Commits on Nov 3, 2023

• first steps for feature algebra

  pmbittner

  committed
  14b3318

  Copy full SHA for 14b3318

• direct-idempotence follows from distant-idemp

  pmbittner

  committed
  1334119

  Copy full SHA for 1334119

• sym refinements

  pmbittner

  committed
  1ca124d

  Copy full SHA for 1ca124d

• finished FeatureAlgebra basic definition

  pmbittner

  committed
  1f427d4

  Copy full SHA for 1f427d4

• refactor: Extract FSTs

  pmbittner

  committed
  c93e690

  Copy full SHA for c93e690

• refinements in FeatureAlgebra

  pmbittner

  committed
  0607103

  Copy full SHA for 0607103

• first definition of FSTs

  pmbittner

  committed
  ab2bd1c

  Copy full SHA for ab2bd1c

• FST refinements

  pmbittner

  committed
  578ce4c

  Copy full SHA for 578ce4c

• map-named

  pmbittner

  committed
  1e302e8

  Copy full SHA for 1e302e8

• for-loop in pretty printing

  pmbittner

  committed
  6d46808

  Copy full SHA for 6d46808

• experiment for FSTs

  pmbittner

  committed
  4f84cb6

  Copy full SHA for 4f84cb6

• progress and observation

  pmbittner

  committed
  0b7383a

  Copy full SHA for 0b7383a

• --allow-unsolved-metas

  pmbittner

  committed
  73a30b0

  Copy full SHA for 73a30b0

Commits on Nov 6, 2023

• FST node children are disjunct artifacts

  pmbittner

  committed
  a64b933

  Copy full SHA for a64b933

• fst renamings

  pmbittner

  committed
  26ab25d

  Copy full SHA for 26ab25d

• remove deprecated code

  pmbittner

  committed
  fbdd8fb

  Copy full SHA for fbdd8fb

• intermediate

  pmbittner

  committed
  654346f

  Copy full SHA for 654346f

Commits on Nov 8, 2023

• totality and preservation of uniqueness proven

  pmbittner

  committed
  fafee36

  Copy full SHA for fafee36

• uniqueness done recursively woohooo

  pmbittner

  committed
  c7f256c

  Copy full SHA for c7f256c

• cleanup module structure and mutual blocks

  pmbittner

  committed
  6e1dbb4

  Copy full SHA for 6e1dbb4

• replace old FST version with new one

  pmbittner

  committed
  e1c2b23

  Copy full SHA for e1c2b23

Commits on Nov 10, 2023

• some progress on right identity proof

  pmbittner

  committed
  b96d10a

  Copy full SHA for b96d10a

Commits on Dec 6, 2023

• Proof termination for FST tree functions

  ibbem

  committed
  e835cc7

  Copy full SHA for e835cc7

Commits on Mar 13, 2024

• dropme

  pmbittner

  committed
  2383d4b

  Copy full SHA for 2383d4b

• merge

  pmbittner

  committed
  c188bda

  Copy full SHA for c188bda

• fix: compilation after merge

  pmbittner

  committed
  f08302e

  Copy full SHA for f08302e

Commits on Mar 14, 2024

• many refactorings and refinements in FST file

  pmbittner

  committed
  9a8d26a

  Copy full SHA for 9a8d26a

Commits on Mar 19, 2024

• much cleaner relations

  pmbittner

  committed
  73cd3db

  Copy full SHA for 73cd3db

• proof of right identity of FSTs

  pmbittner

  committed
  5eee174

  Copy full SHA for 5eee174

Commits on Mar 20, 2024

• some renamings according to the paper

  pmbittner

  committed
  01f190f

  Copy full SHA for 01f190f

• FSTs are rose variants by definition

  pmbittner

  committed
  ecae705

  Copy full SHA for ecae705

• use common artifact syntax for FSTs

  pmbittner

  committed
  25d67c5

  Copy full SHA for 25d67c5

• simplify FST 'select' for hopefully simpler proofs

  pmbittner

  committed
  f677e5e

  Copy full SHA for f677e5e

• better names for Unique predicates

  pmbittner

  committed
  ceb01aa

  Copy full SHA for ceb01aa

Commits on Mar 29, 2024

• FST variability lang

  pmbittner

  committed
  3993876

  Copy full SHA for 3993876

• ¬Σ-syntax

  pmbittner

  committed
  d681f63

  Copy full SHA for d681f63

• refactor: eta-reduce opt

  pmbittner

  committed
  a685179

  Copy full SHA for a685179

• fixme: fst-to-oc

  pmbittner

  committed
  8b46443

  Copy full SHA for 8b46443

Commits on Apr 1, 2024

• simplified fsts to paper formulas

  pmbittner

  committed
  de74a51

  Copy full SHA for de74a51

Commits on Apr 5, 2024

• documented todo for index equivalence

  pmbittner

  committed
  f835d24

  Copy full SHA for f835d24

• progress on FSTs

  pmbittner

  committed
  503d3a4

  Copy full SHA for 503d3a4

• Merge branch 'develop' into feature-algebra

  pmbittner

  committed
  94a3513

  Copy full SHA for 94a3513

• integrate FSTs to new framework

  pmbittner

  committed
  bc7de9d

  Copy full SHA for bc7de9d

• repair FST experiment

  pmbittner

  committed
  8a03b95

  Copy full SHA for 8a03b95

• repair FST-to-OC

  pmbittner

  committed
  12167af

  Copy full SHA for 12167af