New version with Z3 support among other changes#44

Merged

jagalindo merged 38 commits into

mainfrom

Jun 2, 2026

Commits on Jul 15, 2025

Feature: Add language level to FM information
jmhorcas
committed

Commits on Oct 16, 2025

Commits on Oct 17, 2025

Commits on Nov 4, 2025

fix: Update fixed z3 package
sebasruii
committed

Commits on Nov 24, 2025

Commits on Nov 30, 2025

Commits on Dec 1, 2025

feat: updating icon arrangement and viz improvements
jagalindo
committed

Commits on Mar 6, 2026

feat: merge views/analytics/horcas/collab into develop

jagalindo
and
claude
committed
feat: improve UI, fix FIP output, upgrade wheels to 2.5.0

jagalindo
and
claude
committed
fix: high-priority improvements across CI, tests, and UX

jagalindo
and
claude
committed
fix: set minimum Python version to 3.11

jagalindo
and
claude
committed
feat: implement all medium and low priority improvements

jagalindo
and
claude
committed
fix: dark mode toggle and ESLint vendor file exclusion

jagalindo
and
claude
committed
fix: add dark mode classes across all editor UI components

jagalindo
and
claude
committed

Commits on Mar 9, 2026

Commits on Apr 12, 2026

Feat: New feature flow map visualization for attributes
jmhorcas
committed

Commits on Apr 17, 2026

Feature: Pareto Front viz for Attr. Opt. with Z3
jmhorcas
committed

Commits on Apr 23, 2026

chore: Update deps
sebasruii
committed

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

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

Commits on Jun 2, 2026