Commit 75ad1ede authored by Colin Eles's avatar Colin Eles
Browse files

added support for trig functions 

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6759 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent c87dc6bb

@PVS_checker/pvs_check.m

+1 −1
Original line number Diff line number Diff line
@@ -57,7 +57,7 @@ elseif (exists == 0 || strcmp(button,'Attempt to prove')) 
    %---------

    % call pvs in batch mode with script

    % ADD check that pvs actually exists in system

    [status, result] = system(['pvs -batch -v 3 -l ' function_name '.el']);

    [status, result] = system(['pvs -batch -v 3 -l ' function_name '.el'])

    %objectect.msgbox_scroll(result);

    waitbar(.70,box,'Parsing Results');

    [parsed error] = object.parse_pvs_result(result);

@PVS_checker/pvs_check_for_imports_g.m

+1 −1
Original line number Diff line number Diff line
@@ -15,7 +15,7 @@ 
function [string,found] = pvs_check_for_imports_g(object,grid,found)

string = [];



hashtable = {{'sqrt', 'reals@sqrt'} {'test', 'my_import'}};

hashtable = {{'sqrt', 'reals@sqrt'} {'sin', 'trig@trig_basic'} {'cos', 'trig@trig_basic'} {'tan', 'trig@trig_basic'}};



for i=1:size(grid.cells,2)

    % recurse through