Search results

Implement new language

Status: Open.

#66 In ftsrg/semantifyr;

· arminzavada opened on Apr 8, 2025

Create tutorials

Status: Open.

#65 In ftsrg/semantifyr;

· arminzavada opened on Apr 8, 2025

Support LSP semantic hoghlighting

Status: Open.

#64 In ftsrg/semantifyr;

· arminzavada opened on Apr 8, 2025

Integrate Refinery

Status: Open.

#63 In ftsrg/semantifyr;

· arminzavada opened on Mar 26, 2025

Extend metamodel definition capabilities

Status: Open.

#62 In ftsrg/semantifyr;

· arminzavada opened on Mar 9, 2025

Add Tracing to produce domain-specific execution traces

Status: Open.

#61 In ftsrg/semantifyr;

· arminzavada opened on Mar 9, 2025

Fix feature-typed variable domain

Status: Open.

#60 In ftsrg/semantifyr;

· arminzavada opened on Mar 9, 2025

Add Expression calculation ability

Status: Open.

#56 In ftsrg/semantifyr;

· arminzavada opened on Jan 29, 2025

Eclipse IDE support

Status: Open.

Feature

#49 In ftsrg/semantifyr;

· arminzavada opened on Nov 21, 2024

Support Timed XSTS dialect

Status: Open.

Feature

#45 In ftsrg/semantifyr;

· arminzavada opened on Nov 15, 2024

(O)XSTS statement-based witness trace

Status: Open.

Feature

#44 In ftsrg/semantifyr;

· arminzavada opened on Nov 15, 2024

Fix XSTS ide scope provider

Status: Open.

Bug

#43 In ftsrg/semantifyr;

· arminzavada opened on Nov 15, 2024