Commits · 3a77da83a3ee1b4f98a6fed61eef7861ae6ef4c1 · tables / jtet · GitLab

Sep 26, 2014
- Add javadoc to Variable. · 3a77da83
  Matthew Dawson authored Sep 26, 2014
  3a77da83
Sep 24, 2014
- Add javadoc to VariableCollection. · d6783ad2
  Matthew Dawson authored Sep 24, 2014
  d6783ad2
- Make the maps returned from VariableCollection immutable. · 56e94b60
  Matthew Dawson authored Sep 24, 2014
  56e94b60
Sep 12, 2014
- Convert ouput value properly. · 0c7f72a3
  Yanjun Jiang authored Sep 11, 2014
  0c7f72a3
- Support Complex Expression. · 661dbfb5
  Yanjun Jiang authored Sep 11, 2014
  661dbfb5
Sep 10, 2014
- Add predicate subtypes to the SAL generator. · ebcd28b3
  Matthew Dawson authored Jun 28, 2014
  ebcd28b3
- SAL requires all IF expressions to have an else clause. · a8c51028
  Matthew Dawson authored Jun 13, 2014
  a8c51028
- Add a SAL Grid generator. · 8c3baa54
  Matthew Dawson authored Aug 16, 2014
  8c3baa54
- Generalize the EventB walker into a general depth first walker. · d1053738
  Matthew Dawson authored Aug 16, 2014
  d1053738
- Initial variable declaration support, · e8a0203f
  Matthew Dawson authored Jun 03, 2014
  e8a0203f
- Start work on a SAL Code Generator. · 3be53b3a
  Matthew Dawson authored Jun 02, 2014
  3be53b3a
- Properly support Enumeration values in MATLAB expressions. · 64a0cbcd
  Matthew Dawson authored Sep 05, 2014
  64a0cbcd
- Make variable types follow variable name rules. · a7fb1754
  Matthew Dawson authored Sep 10, 2014
  a7fb1754
Sep 05, 2014
- Put the correct file name in the refinement relation XML tag. · adf83114
  Yanjun Jiang authored Sep 04, 2014 and Matthew Dawson committed Sep 05, 2014
  adf83114
Aug 29, 2014
- Support table refinement. · 6eb468b6
  Yanjun Jiang authored Jul 06, 2014 and Matthew Dawson committed Aug 29, 2014
  6eb468b6
- Create eventB project. · 260c9ded
  Yanjun Jiang authored Aug 21, 2014 and Matthew Dawson committed Aug 29, 2014
  260c9ded
Aug 22, 2014
- EventB Uses Table class. · 674f46c1
  Yanjun Jiang authored Aug 20, 2014
  674f46c1
- Make EventBFileWriter safe from exceptions. · 83da113b
  Yanjun Jiang authored Aug 20, 2014
  83da113b
Aug 20, 2014
- Add a new table name property for Table class. · 51d4fec4
  Yanjun Jiang authored Aug 07, 2014
  51d4fec4
Jul 07, 2014
- Allow variables with _ in their names. · cf6260ad
  Matthew Dawson authored Jun 24, 2014
  cf6260ad
- Add the ability for a variable to have a different output name. · 0941ddf5
  Matthew Dawson authored Jun 06, 2014
  0941ddf5
- Add a static Type or TypeMarker element to all VariableTypes. · 5745a2e8
  Matthew Dawson authored Jun 13, 2014
  5745a2e8
Jul 01, 2014
- Support obtaining output information from the cell. · 0be5eefd
  Yanjun Jiang authored May 11, 2014 and Matthew Dawson committed Jul 01, 2014
  0be5eefd
- Add three more test cases to cover more scenarios. · 0fc934da
  Yanjun Jiang authored May 02, 2014 and Matthew Dawson committed Jul 01, 2014
  0fc934da
- Started working on generating EventB projects from tabular expressions. · ae92736c
  Yanjun Jiang authored Apr 28, 2014 and Matthew Dawson committed Jul 01, 2014
  ae92736c
May 22, 2014
- Make sure we throw an exception with duplicated names. · 7300fcf8
  Matthew Dawson authored May 22, 2014
  7300fcf8
- Make the variables list have more useful names. · 2a2ecb08
  Matthew Dawson authored May 21, 2014
  2a2ecb08
- Add an initial table description. · 5b619c9f
  Matthew Dawson authored May 21, 2014
  5b619c9f
- Add support for counting the number of cases in a hierarchical grid. · d158fbc4
  Matthew Dawson authored May 21, 2014
  d158fbc4
May 20, 2014
- Rename the jTET package to ca.mcscert.jtet. · 406f226e
  Matthew Dawson authored May 20, 2014
  406f226e
- Remove the useless App class. · 1fded5f6
  Matthew Dawson authored May 20, 2014
  1fded5f6
May 16, 2014
- Change licence over Matlab2SMT project to 3 clause BSD. · f756c9cb
  Matthew Dawson authored May 16, 2014
  f756c9cb
Apr 30, 2014
- Add a 2d grid to the java side of the code. · 507774c0
  Matthew Dawson authored Apr 30, 2014
  507774c0
Apr 29, 2014
- Fix the matlab parser breaking horribly on case sensitive systems. · 6aa825b0
  Matthew Dawson authored Apr 28, 2014
  6aa825b0
Apr 25, 2014
- Whitespace fix. · aa3a62d4
  Matthew Dawson authored Apr 25, 2014
  
  aa3a62d4
- Make sure enumerated types are only emitted once. · 9f6821a8
  Matthew Dawson authored Apr 25, 2014
  9f6821a8
- Variables really should be emitted in declared order. · fbc8affb
  Matthew Dawson authored Apr 25, 2014
  fbc8affb
- Add support for generating enumeration types. · 3e8fa798
  Matthew Dawson authored Apr 25, 2014
  3e8fa798
- Make the enumeration variable type take a name parameter to name the custom type. · 048ac8cf
  Matthew Dawson authored Apr 25, 2014
  048ac8cf
Feb 25, 2014
- Add support for the enumeration into the generators with tests. · b1ba3ccd
  Matthew Dawson authored Feb 25, 2014
  b1ba3ccd