Repository navigation

New version with Z3 support among other changes - #44

Merged

jagalindo merged 38 commits into

mainfrom

develop

Jun 2, 2026

Merged

New version with Z3 support among other changes#44
jagalindo merged 38 commits into
mainfrom
develop

Commits on Jul 15, 2025
- Feature: Add language level to FM information
  jmhorcas
  committed
  c43708b
Commits on Oct 16, 2025
- Update flamapy to pre-release
  jmhorcas
  committed
  fa897ec
- Merge branch 'main' into horcas
  jmhorcas
  committed
  2993fbb
Commits on Oct 17, 2025
- Feature: Add Attribute Optimization operation
  jmhorcas
  committed
  461dd7a
- Fix: attribute optimization
  jmhorcas
  committed
  2f884b2
- Update plugins
  jmhorcas
  committed
  2fe521c
Commits on Nov 4, 2025
- fix: Update fixed z3 package
  sebasruii
  committed
  85a6b83
Commits on Nov 24, 2025
- feat: Add new z3 plugin version
  sebasruii
  committed
  91fed60
- fix: Serialize attributes
  sebasruii
  committed
  876aa72
Commits on Nov 30, 2025
- updating to enable collaboration between multiple users
  jagalindo
  committed
  2589548
- enabled collaboration
  jagalindo
  committed
  54341b1
Commits on Dec 1, 2025
- feat: updating icon arrangement and viz improvements
  jagalindo
  committed
  6a665ab
Commits on Mar 6, 2026
- feat: merge views/analytics/horcas/collab into develop
  
  jagalindo
  and
  claude
  committed
  3609a59
- feat: improve UI, fix FIP output, upgrade wheels to 2.5.0
  
  jagalindo
  and
  claude
  committed
  1b095f9
- fix: high-priority improvements across CI, tests, and UX
  
  jagalindo
  and
  claude
  committed
  165f4a1
- fix: set minimum Python version to 3.11
  
  jagalindo
  and
  claude
  committed
  f1be87f
- feat: implement all medium and low priority improvements
  
  jagalindo
  and
  claude
  committed
  cc617fa
- fix: dark mode toggle and ESLint vendor file exclusion
  
  jagalindo
  and
  claude
  committed
  a659d49
- fix: add dark mode classes across all editor UI components
  
  jagalindo
  and
  claude
  committed
  f9a65ce
Commits on Mar 9, 2026
- chore: update dependencies, fix wheel install indentation, and ignore start_coding.sh
  
  jagalindo
  and
  claude
  committed
  10473c4
- chore: commit remaining working tree changes for develop sync
  
  jagalindo
  and
  claude
  committed
  a647812
- chore: merge origin/main dependabot rollup bump into develop
  
  jagalindo
  and
  claude
  committed
  23324e2
- fix: prevent flamapy-configurator wheel from downgrading flamapy-fm/fw
  
  claude
  authored and
  jagalindo
  committed
  5d3ca0f
- fix: resolve all ESLint errors and warnings blocking lint CI
  
  claude
  authored and
  jagalindo
  committed
  6effedf
- fix: Update menu button size
  sebasruii
  committed
  c7b95af
Commits on Apr 12, 2026
- Feat: New feature flow map visualization for attributes
  jmhorcas
  committed
  a5a88a5
Commits on Apr 17, 2026
- Feature: Pareto Front viz for Attr. Opt. with Z3
  jmhorcas
  committed
  5b9330e
Commits on Apr 23, 2026
- chore: Update deps
  sebasruii
  committed
  6baf910
Commits on Apr 24, 2026
- chore: Update deps
  sebasruii
  committed
  4db4cc9
- feat: Import model to UVLHub
  sebasruii
  committed
  3f43744
- fix: Add model.uvl so that UVLHub can understand the endpoint
  sebasruii
  committed
  08b52f0
- fix: Correct dark mode styling on some components
  sebasruii
  committed
  6b749c1
- fix: Correct collab button style
  sebasruii
  committed
  78843f3
Commits on May 29, 2026
- feat: modification to host the ide in github pages automatically. Only client side features will be available by now.
  jagalindo
  committed
  afd76b7
Commits on Jun 1, 2026
- feat: updating the mechanism to get the wheels. It now self checks fro new flamapy versions and retrieves the wheels
  jagalindo
  committed
  56a4068
Commits on Jun 2, 2026
- fix: retrieving flamapy wheels from its releases
  jagalindo
  committed
  f14a5b4
- fix: solving linting errors
  jagalindo
  committed
  df98057
- fix: regenerate flamapy wheels in the test workflow
  jagalindo
  committed
  d482b3e

Commits

Commits on Jul 15, 2025

Commits on Oct 16, 2025

Commits on Oct 17, 2025

Commits on Nov 4, 2025

Commits on Nov 24, 2025

Commits on Nov 30, 2025

Commits on Dec 1, 2025

Commits on Mar 6, 2026

Commits on Mar 9, 2026

Commits on Apr 12, 2026

Commits on Apr 17, 2026

Commits on Apr 23, 2026

Commits on Apr 24, 2026

Commits on May 29, 2026

Commits on Jun 1, 2026

Commits on Jun 2, 2026