Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Feb 16, 2026

• Updated installation script to not force Python 2 installation.

  andreaskatis

  committed
  ebb91b7

  Copy full SHA for ebb91b7

Commits on May 26, 2025

• Various improvements in exporting and importing model information for FRET. RBT option enabled.

  andreaskatis

  committed
  4d61d7c

  Copy full SHA for 4d61d7c

Commits on Oct 11, 2023

• Requirements import: Added safeguard in vector bundling process to prevent linking failures due to unlinked lines.

  andreaskatis

  committed
  7321cf9

  Copy full SHA for 7321cf9

• Updated behavior regarding the now deprecated BusSelectionMode parameter on Demux blocks.

  andreaskatis

  committed
  cb99b1c

  Copy full SHA for cb99b1c

Commits on Aug 8, 2023

• Fixed export model information script issue with masked subsystems.

  andreaskatis

  committed
  5c1597a

  Copy full SHA for 5c1597a

Commits on Aug 5, 2023

• Added support for vector signals as contract inputs.

  andreaskatis

  committed
  480f519

  Copy full SHA for 480f519

Commits on Aug 4, 2023

• Minor typo and code structure fixes.

  andreaskatis

  committed
  f254a7d

  Copy full SHA for f254a7d

• Minor improvements and typo fixes in installation script.

  andreaskatis

  committed
  afebc6b

  Copy full SHA for afebc6b

• Updated installation instructions.

  andreaskatis

  committed
  879354d

  Copy full SHA for 879354d

Commits on Jun 1, 2023

• Added option to export model information for FRET.

  andreaskatis

  committed
  078c707

  Copy full SHA for 078c707

• Contact info updates and typo fixes in README.

  andreaskatis

  committed
  afb46fe

  Copy full SHA for afb46fe

• Kind2 installation updates. Enabled MCDC test case generation option.

  andreaskatis

  committed
  3ab2976

  Copy full SHA for 3ab2976

Commits on Feb 21, 2023

• Updated contact info in README

  andreaskatis

  committed
  78e8e82

  Copy full SHA for 78e8e82

Commits on Feb 8, 2023

• Minor text format fixes.

  andreaskatis

  committed
  b05d17a

  Copy full SHA for b05d17a

• Added suggested fix for counterexamples not showing on R2017b

  andreaskatis

  committed
  898098c

  Copy full SHA for 898098c

• Added note for libmwdastudio.so issue for R2017+Ubuntu users

  andreaskatis

  committed
  16acb4c

  Copy full SHA for 16acb4c

• Updated installation note on Ubuntu users. Bumped kind2 version to 1.7.0. Updated parse check for generated Lustre code.

  andreaskatis

  committed
  39955d6

  Copy full SHA for 39955d6

Commits on Nov 22, 2022

• Updated LustreC installation scheme.

  andreaskatis

  committed
  9385634

  Copy full SHA for 9385634

Commits on May 5, 2022

• Add clarification regarding opam version in INSTALL.md

  andreaskatis

  committed
  decd963

  Copy full SHA for decd963

• Removed depext from opam install as it is no longer needed.

  andreaskatis

  committed
  e946c33

  Copy full SHA for e946c33

Commits on Mar 16, 2022

• Fixes to installation.

  andreaskatis

  committed
  79d7f81

  Copy full SHA for 79d7f81

Commits on May 26, 2021

• Updated installation note for Ubuntu 20.04

  andreaskatis

  committed
  ce1eb32

  Copy full SHA for ce1eb32

Commits on Oct 23, 2020

• merge develop branch

  hbourbouh

  committed
  5327a97

  Copy full SHA for 5327a97

• try catch random tests exception

  hbourbouh

  committed
  1ce8bef

  Copy full SHA for 1ce8bef

Commits on Oct 22, 2020

• modify kind2 installation in install_cocosim script

  hbourbouh

  committed
  6f6fd4e

  Copy full SHA for 6f6fd4e

Commits on Oct 19, 2020

• Minor INSTALL.md change

  andreaskatis

  committed
  2cda89c

  Copy full SHA for 2cda89c

• Small update on INSTALL.md Notes section

  andreaskatis

  committed
  3970920

  Copy full SHA for 3970920

• Updated INSTALL.md for Ubuntu 20.04/MATLAB R2020 "z3 not found" error

  andreaskatis

  committed
  c2c7885

  Copy full SHA for c2c7885

Commits on Oct 16, 2020

• Skip Lustre code optimization should be the default option

  hbourbouh

  committed
  e6e520a

  Copy full SHA for e6e520a

Commits on Oct 14, 2020

• Merge pull request #6 from NASA-SW-VnV/dependabot/maven/src/frontEnd/IR/Matlab_IR/EM/junit-junit-4.13.1

  Show description for d730e2c
  hbourbouh

  authored
  d730e2c

  Copy full SHA for d730e2c

Commits on Oct 13, 2020

• Bump junit from 3.8.1 to 4.13.1 in /src/frontEnd/IR/Matlab_IR/EM

  Show description for 6b142f0
  dependabot[bot]

  authored
  6b142f0

  Copy full SHA for 6b142f0

Commits on Oct 7, 2020

• disable warnings for SaveWithDisabledLinksMsg

  hbourbouh

  committed
  70b8d02

  Copy full SHA for 70b8d02

Commits on Oct 6, 2020

• fix CoCoSim specification library

  hbourbouh

  committed
  dc0a106

  Copy full SHA for dc0a106

• export model to 2016b

  hbourbouh

  committed
  2320380

  Copy full SHA for 2320380

• fix issue #4

  hbourbouh

  committed
  8fe09bf

  Copy full SHA for 8fe09bf