Searched refs:main (Results 1 - 25 of 40) sorted by relevance

12

/hets/GMP/
H A DMakefile11 rm main
/hets/GMP/tests/scripts/
H A DcheckC.sh7 ./gnutime -f "Running Time (real): %e" ./timeout 600 ../../main 3 -p $i
H A DcheckG.sh7 ./gnutime -f "Running Time (real): %e" ./timeout 600 ../../main 4 -p $i
H A DcheckHM.sh7 ./gnutime -f "Running Time (real): %e" timeout 600 ../../main 6 -p $i
H A DcheckKD.sh7 ./gnutime -f "Running Time (real): %e" ./timeout 600 ../../main 2 -p $i
H A DcheckMon.sh7 ./gnutime -f "Running Time (real): %e" ./timeout 600 ../../main 7 -p $i
H A DcheckP.sh7 ./gnutime -f "Running Time (real): %e" ./timeout 600 ../../main 5 -p $i
H A DcheckK.sh7 ./gnutime -f "Running Time (real): %e" ./timeout 600 ../../main 1 -nv -p $i
/hets/GMP/GMP-CoLoSS/
H A DMakefile11 rm main
/hets/GMP/CoLoSS/
H A Dcoloss.cgi4 /home/cofi/www/CoLoSS/data/timeout 120 /home/cofi/www/CoLoSS/data/main "$@"
/hets/FreeCAD/Plugins/
H A Dfcxml-reader.py17 def main(argv): function
44 main(sys.argv[1:])
/hets/GMP/tests/
H A DMakefile2 main:
/hets/FreeCAD/BrepConversion/
H A DMakefile17 $(TARGET): $(OBJS)/brep_to_xml.o $(OBJS)/main.o
24 $(OBJS)/main.o: $(SRCS)/main.cxx
/hets/FreeCAD/BrepConversion/src/
H A Dmain.cxx7 int main (int argc, char* argv[]) function
/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DProve.java7 public static void main(String[] args) { method in class:Prove
/hets/utils/
H A Djava_version.java18 public static void main(String[] args) { method in class:java_version
H A Dquickcheck23 main :: IO ()
24 main = do as<-getArgs
H A Dquickcheck.lhs25 main :: IO ()
26 main = do as<-getArgs
/hets/OWL2/java/de/unibremen/informatik/Fact/
H A DFact.java13 public static void main(String[] args) { method in class:Fact
/hets/RDF/java/de/unibremen/informatik/
H A DRDFReasoner.java11 public static void main (String args[]) throws Exception { method in class:RDFReasoner
/hets/OWL2/tests/
H A DSimpleOWLRenderer.java21 public static void main(String[] args) { method in class:OWL2Parser
/hets/DMU/
H A DOntoDMU.jar ... createInferenceProblemsInferenceProblemID (java.lang.String) String value } de/biba/Main/Main.class Main.java package de.biba ...
/hets/OWL2/java/de/unibremen/informatik/locality/
H A DLocalityChecker.java23 public static void main(String[] args) { method in class:LocalityChecker
/hets/MMT/
H A Dhets-mmt-standalone.jarmain/main.jar .version OneJar.class OneJar.java ... ...
/hets/doc/
H A DLibraries.tex36 % - prints and marks TEXT for the main index
40 % - marks TEXT,SUBTEXT and SUBTEXT,TEXT for the main index
48 % - prints \emph{TEXT} and marks TEXT for the main index
215 the main argument being all the versions and development graphs, proof
240 ordering only if main version numbers are not greater than 9.} , one for each version

Completed in 159 milliseconds

12