-
Colin Eles authored
added some primitive typing to the tool, user can enter a type for an input variable using : notation, the typing currently is only used in the pvs theory not in the simulink model git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5769 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
67fdad79Colin Eles authoredadded some primitive typing to the tool, user can enter a type for an input variable using : notation, the typing currently is only used in the pvs theory not in the simulink model git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@5769 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
Loading