Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • TableTool_refactor protected
  • jtet_int
  • master default protected
  • port_to_uifigure
  • winpvs protected
  • v0.7.4
  • v0.7.3
  • v0.4
  • v0.3.1
  • v0.3
  • v0.2
  • v0.1
12 results
Created with Raphaël 2.2.029Jul16Jul121Aug15Jun26Apr20Jan22Nov21426Oct25242310Sep14Aug1123May20161530Apr282525Feb29Nov1530Sep2719430Aug21612Jul54219Jun17May130Apr27212019128328Mar2124Aug2220171613225Jul2319181716920Jun1915148611Jan8Sep23Aug13Jun26Apr181414Mar1198715Feb141224Jan212013516Dec149230Nov292625191817121115Oct13127623Sep212016151413231Aug3027261716131211429Jul282623221615141312865230Jun2928221816151410Merge branch 'fix_port_assignments' into 'master'mastermasterWIPport_to_uifigureport_to_uifigurefixed bug that would cause the textbox cursor to jump to the end of the lineFixed bug that would cause the delete buttons to be unfunctionalFixed bug that would mis-align the outports port numbersAdding stuff about CVC3 and PVS in README.txt.winpvswinpvsChanges to make PVS run under Windows Services for Linux (WSL)Update version numbers to 0.7.4v0.7.4v0.7.4Stop trying to clip text boxes.Update to match latest breaking change in jTET.jtet_intjtet_intStarted working on generating EventB projects from tabular expressions.Documentation fixups.Fix the enumeration type name error in TET file.Fix TET to work against latest jTET VariableType->Type rename.Move CVC3 to use the table name for its generated file.Fix up CVC3 generator to work against the latest jTET.Add tests for output grid, and update its code.Add necessary tests to verify left grid conversions.Add a test for the top grid.Properly test and parse single output table variables.Move the jTET loading logic to its own function.Bring back testData as TestData.Update the testEMLGenerator to work with the new MATLAB unit tests.Update .gitignore.Remove some old test files that have nothing useful in them.Mute extraneous output from EMLGenerator.generate_preamble.Fix EMLGenerator.generate_preamble to work with PartialVariableCollection.Start work on proper TET -> jTET converter.Fix CVC3 generator errors on TET launch.Add support for registering a Simulink Enumeration with jTET.Merge branch 'master' into jtet_intUpdate version to 0.7.3v0.7.3v0.7.3Fix critical bug that would mis-align port numbers.Merge branch 'purge_and_sanitize' into 'master'Remove jTET from this repository, since it exists elsewhere now.Merge branch 'rename_to_jtet' into 'TableTool_javization'Rename the jTET package to ca.mcscert.jtet.Rename Matlab2SMT to jTET.Remove the useless App class.Change licence over Matlab2SMT project to 3 clause BSD.