Issues

• Sporadic tags should not be sorted in quantities (instead of clocks)

  bug
  heron-solver/heron#86 · Filter by author hai-nguyen-van opened on Feb 1, 2023

• Potential bad reprensentation of rational

  bug
  heron-solver/heron#84 · Filter by author hai-nguyen-van opened on Jan 17, 2023

• Seperate the past context for performance

  enhancementurgent
  heron-solver/heron#83 · Filter by author hai-nguyen-van opened on Jan 17, 2023

• Kalman filters

  case study
  heron-solver/heron#82 · Filter by author hai-nguyen-van opened on Feb 28, 2021

• Implicit association trees

  heron-solver/heron#81 · Filter by author hai-nguyen-van opened on Apr 29, 2020

• Too rough abstraction in model-checker

  about theoryfuture direction
  heron-solver/heron#80 · Filter by author hai-nguyen-van opened on Apr 29, 2020

• Model-checking with Dwyer patterns ?

  about theoryfuture direction
  heron-solver/heron#79 · Filter by author hai-nguyen-van opened on Apr 29, 2020

• Transforming UML/MARTE models into TESL ?

  about theoryfuture direction
  heron-solver/heron#78 · Filter by author hai-nguyen-van opened on Apr 29, 2020

• TESL regarded as a deterministic language ?

  about theoryfuture direction
  heron-solver/heron#77 · Filter by author hai-nguyen-van opened on Apr 29, 2020

• Complete cases for contexts in model-checker

  bug
  heron-solver/heron#76 · Filter by author hai-nguyen-van opened on Apr 27, 2020

• Rename quantities as flows

  enhancementurgent
  heron-solver/heron#75 · Filter by author hai-nguyen-van opened on Apr 10, 2020

• Change syntax of configurations to match with FORMATS'17

  about theoryenhancement
  heron-solver/heron#73 · Filter by author hai-nguyen-van opened on Feb 24, 2020

• Precedence conflict with d operator

  heron-solver/heron#72 · Filter by author hai-nguyen-van opened on Feb 15, 2020

• Multiprocessor support

  enhancementurgent
  heron-solver/heron#71 · Filter by author hai-nguyen-van opened on Feb 11, 2020

• Seperate command to running fast execution traces

  enhancementurgent
  heron-solver/heron#70 · Filter by author hai-nguyen-van opened on Jan 27, 2020

• Decidability of inclusion

  about theory
  heron-solver/heron#69 · Filter by author hai-nguyen-van opened on Dec 30, 2018

• Display rational tags with significant numbers

  enhancement
  heron-solver/heron#68 · Filter by author hai-nguyen-van opened on Dec 12, 2018

• Slowdown due to unecessary full Γ-context resolution

  about theoryenhancement
  heron-solver/heron#67 · Filter by author hai-nguyen-van opened on Dec 11, 2018
  1

• Integrate constants zero and one

  urgent
  heron-solver/heron#66 · Filter by author hai-nguyen-van opened on Dec 10, 2018

• Missing type-checking in general arithmetic tag relations

  bugurgent
  heron-solver/heron#65 · Filter by author hai-nguyen-van opened on Dec 10, 2018

• Incomplete ASAP policy when dealing with runs containing NotTicks primitive mainly

  bug
  heron-solver/heron#63 · Filter by author hai-nguyen-van opened on Dec 4, 2018

• Control & acquisition interface

  enhancement
  heron-solver/heron#57 · Filter by author hai-nguyen-van opened on Nov 25, 2018

• Investigate zero-crossing

  about theory
  heron-solver/heron#54 · Filter by author hai-nguyen-van opened on Nov 20, 2018
  1

• Print date/time/machine for compiled code

  enhancement
  heron-solver/heron#52 · Filter by author hai-nguyen-van opened on Nov 19, 2018

• Constant false in clocks

  enhancement
  heron-solver/heron#51 · Filter by author hai-nguyen-van opened on Nov 17, 2018