Search results

CodeQL fails

bug

Status: Open.

#78 In eventB-Soton/XEventB;

· tshoang opened on Nov 18, 2023

Rodin keyboard converter bug

bug

Status: Open.

#77 In eventB-Soton/XEventB;

· cfsnook opened on Mar 30, 2023

Event group only supports 1 event

bug

Status: Open.

#76 In eventB-Soton/XEventB;

· tshoang opened on Mar 17, 2023

 ·  

CamilleX 3.0.0

Versioning of models

enhancement

Status: Open.

#70 In eventB-Soton/XEventB;

· tshoang opened on Jun 25, 2021

ctrl-Z (or cmd-Z) doesn't work for undo

Status: Open.

#49 In eventB-Soton/XEventB;

· cfsnook opened on May 21, 2020