Search results

ThreadSanitizer: heap-use-after-free /home/FlexFringe/source/input/inputdata.cpp:382 in inputdata::process_symbol_attributes(symbol_info&, tail*)

Status: Open.

#44 In tudelft-cda-lab/FlexFringe;

· JohnSmithBH84 opened on Dec 10, 2024

Fatal error: fmt/core.h: No such file or directory

bugSomething isn't workingSomething isn't working

Status: Open.

#31 In tudelft-cda-lab/FlexFringe;

· azqanadeem opened on May 28, 2024

Handle SIGINT/SIGTERM and write a partial automaton

Status: Open.

#29 In tudelft-cda-lab/FlexFringe;

· hwalinga opened on Mar 25, 2024

Access traces are not finalized

Status: Open.

#28 In tudelft-cda-lab/FlexFringe;

· hwalinga opened on Feb 15, 2024

Using pmr inside mem_store

Status: Open.

#27 In tudelft-cda-lab/FlexFringe;

· hwalinga opened on Feb 15, 2024

The makefile is unmaintained...

Status: Open.

#25 In tudelft-cda-lab/FlexFringe;

· TCatshoek opened on Jan 23, 2024

Moving sequence number generation for traces and tails to mem_store

Status: Open.

#23 In tudelft-cda-lab/FlexFringe;

· hwalinga opened on Dec 14, 2023

Apta file being read in wrongly

Status: Open.

#20 In tudelft-cda-lab/FlexFringe;

· RobBa opened on Jun 26, 2023

Symbol attributes for L*

Status: Open.

#18 In tudelft-cda-lab/FlexFringe;

· RobBa opened on Mar 2, 2023

Think about how to get the active learning into the main-loop (mode selection in run() method)

Status: Open.

#16 In tudelft-cda-lab/FlexFringe;

· RobBa opened on Feb 26, 2023

Add flags for specifying output file locations

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In tudelft-cda-lab/FlexFringe;

· TCatshoek opened on Sep 15, 2022

mode=predict predictalign=1 endless loop if wrong heuristic is used

bugSomething isn't workingSomething isn't working

Status: Open.

#3 In tudelft-cda-lab/FlexFringe;

· laxris opened on Jun 14, 2022