Subversion Repositories RISCAL

Compare Revisions

Ignore whitespace Rev 1369 → Rev 1370

/tags/3.6.0/CHANGES
File deleted
/tags/3.6.0/COPYING
File deleted
/tags/3.6.0/spec/systems.txt
File deleted
/tags/3.6.0/spec/recursive.txt
File deleted
/tags/3.6.0/spec/sat2.txt
File deleted
/tags/3.6.0/spec/partition.txt
File deleted
/tags/3.6.0/spec/sort2.txt
File deleted
/tags/3.6.0/spec/sat3.txt
File deleted
/tags/3.6.0/spec/test.txt
File deleted
\ No newline at end of file
/tags/3.6.0/spec/poly.txt
File deleted
/tags/3.6.0/spec/catlogic.txt
File deleted
/tags/3.6.0/spec/debug.txt
File deleted
/tags/3.6.0/spec/sat.txt
File deleted
/tags/3.6.0/spec/nondet.txt
File deleted
/tags/3.6.0/spec/sort.txt
File deleted
/tags/3.6.0/spec/seq.txt
File deleted
/tags/3.6.0/spec/server2.txt
File deleted
/tags/3.6.0/spec/bubble.txt
File deleted
/tags/3.6.0/spec/texput.log
File deleted
/tags/3.6.0/spec/gcd.txt
File deleted
/tags/3.6.0/spec/gsort.txt
File deleted
/tags/3.6.0/spec/mpoly.txt
File deleted
/tags/3.6.0/spec/types.txt
File deleted
/tags/3.6.0/spec/search.txt
File deleted
/tags/3.6.0/spec/server.txt
File deleted
/tags/3.6.0/etc/makejar
File deleted
/tags/3.6.0/etc/z3
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/tags/3.6.0/etc/RISCAL
File deleted
/tags/3.6.0/etc/cvc4
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/tags/3.6.0/etc/runsh
File deleted
/tags/3.6.0/etc/yices-smt2
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/tags/3.6.0/etc/runssh
File deleted
/tags/3.6.0/etc/boolector
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/tags/3.6.0/README
File deleted
/tags/3.6.0/doc/main.pdf
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/tags/3.6.0/lib/org.eclipse.core.commands.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.gef.common.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.gef.fx.swt.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/com.ibm.icu.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/com.google.inject.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/antlr4.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.gef.geometry.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.jface.text.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.gef.graph.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.gef.mvc.fx.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.gef.zest.fx.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.osgi.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/com.google.inject.multibindings.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/icons.jar
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/tags/3.6.0/lib/swt64/swt.jar
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/tags/3.6.0/lib/riscal.jar
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/tags/3.6.0/lib/org.eclipse.jface.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.core.runtime.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/javax.inject.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/Screenshot.png
Cannot display: file marked as a binary type.
svn:mime-type = application/octet-stream
/tags/3.6.0/lib/org.eclipse.gef.fx.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.gef.layout.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.osgi.util.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.equinox.common.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/com.google.guava.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.text.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.core.jobs.jar
File deleted
\ No newline at end of file
/tags/3.6.0/lib/org.eclipse.gef.geometry.convert.fx.jar
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/smt/DeclarationPreprocessor.java
File deleted
/tags/3.6.0/src/riscal/smt/DeclarationTranslator.java
File deleted
/tags/3.6.0/src/riscal/smt/TupleTranslator.java
File deleted
/tags/3.6.0/src/riscal/smt/SMT.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/smt/IntTranslator.java
File deleted
/tags/3.6.0/src/riscal/smt/SetTranslator.java
File deleted
/tags/3.6.0/src/riscal/smt/BoolTranslator.java
File deleted
/tags/3.6.0/src/riscal/smt/ExpressionPreprocessor.java
File deleted
/tags/3.6.0/src/riscal/smt/DependingSymbols.java
File deleted
/tags/3.6.0/src/riscal/smt/RCS/BoolTranslator.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/SetTranslator.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/DependingSymbols.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/ExpressionPreprocessor.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/MapTranslator.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/ExpressionTranslator.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/CollectIdentifiers.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/Utilities.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/DeclarationPreprocessor.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/DeclarationTranslator.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/TypedFreeVariables.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/SMT.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/TupleTranslator.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/IntTranslator.java,v
File deleted
/tags/3.6.0/src/riscal/smt/RCS/SMTSettings.java,v
File deleted
/tags/3.6.0/src/riscal/smt/ExpressionTranslator.java
File deleted
/tags/3.6.0/src/riscal/smt/Utilities.java
File deleted
/tags/3.6.0/src/riscal/smt/CollectIdentifiers.java
File deleted
/tags/3.6.0/src/riscal/smt/TypedFreeVariables.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/smt/SMTSettings.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/smt/MapTranslator.java
File deleted
/tags/3.6.0/src/riscal/Main.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/types/Environment.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/types/TypeChecker.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/types/RCS/Environment.java,v
File deleted
/tags/3.6.0/src/riscal/types/RCS/TypeChecker.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/Recursion.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/tasks/OpInfo.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/tasks/Validation.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/tasks/Choices.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/tasks/TaskBase.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/tasks/UseContracts.java
File deleted
/tags/3.6.0/src/riscal/tasks/TaskFolder.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/tasks/NoTask.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/tasks/CheckTask.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/tasks/Preconditions.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/tasks/Commands.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/tasks/Task.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/tasks/RCS/Recursion.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/RCS/OpInfo.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/RCS/Validation.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/RCS/Choices.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/RCS/TaskBase.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/RCS/UseContracts.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/RCS/TaskFolder.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/RCS/NoTask.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/RCS/CheckTask.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/RCS/Preconditions.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/RCS/Commands.java,v
File deleted
/tags/3.6.0/src/riscal/tasks/RCS/Task.java,v
File deleted
/tags/3.6.0/src/riscal/zest/TraceWindow.java
File deleted
/tags/3.6.0/src/riscal/zest/RCS/TraceWindow.java,v
File deleted
/tags/3.6.0/src/riscal/zest/RCS/TreeWindow.java,v
File deleted
/tags/3.6.0/src/riscal/zest/TreeWindow.java
File deleted
/tags/3.6.0/src/riscal/semantics/Trace.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/semantics/Values.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/semantics/Commands.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/semantics/Expressions.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/semantics/Types.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/semantics/FormulaTree.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/semantics/RCS/Commands.java,v
File deleted
/tags/3.6.0/src/riscal/semantics/RCS/Expressions.java,v
File deleted
/tags/3.6.0/src/riscal/semantics/RCS/Types.java,v
File deleted
/tags/3.6.0/src/riscal/semantics/RCS/FormulaTree.java,v
File deleted
/tags/3.6.0/src/riscal/semantics/RCS/Systems.java,v
File deleted
/tags/3.6.0/src/riscal/semantics/RCS/Declarations.java,v
File deleted
/tags/3.6.0/src/riscal/semantics/RCS/Translator.java,v
File deleted
/tags/3.6.0/src/riscal/semantics/RCS/Trace.java,v
File deleted
/tags/3.6.0/src/riscal/semantics/RCS/Expression.java,v
File deleted
/tags/3.6.0/src/riscal/semantics/RCS/Values.java,v
File deleted
/tags/3.6.0/src/riscal/semantics/Systems.java
File deleted
/tags/3.6.0/src/riscal/semantics/Declarations.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/semantics/Translator.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/syntax/ASTCloner.java
File deleted
/tags/3.6.0/src/riscal/syntax/FreeVariables.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/syntax/Quantifiers.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/syntax/AST.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/syntax/ASTVisitor.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/syntax/RCS/RenameVariable.java,v
File deleted
/tags/3.6.0/src/riscal/syntax/RCS/AST.java,v
File deleted
/tags/3.6.0/src/riscal/syntax/RCS/ASTVisitor.java,v
File deleted
/tags/3.6.0/src/riscal/syntax/RCS/ASTCloner.java,v
File deleted
/tags/3.6.0/src/riscal/syntax/RCS/FreeVariables.java,v
File deleted
/tags/3.6.0/src/riscal/syntax/RCS/Quantifiers.java,v
File deleted
/tags/3.6.0/src/riscal/RCS/Main.java,v
File deleted
/tags/3.6.0/src/riscal/RCS/Parallel.java,v
File deleted
/tags/3.6.0/src/riscal/Parallel.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/RISCALBaseListener.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/ValueListener.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/RISCALListener.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/ValueTranslator.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/ValueBaseVisitor.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/RISCALBaseVisitor.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/ValueParser.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/RISCALParser.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/Value.interp
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/ValueLexer.interp
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/ValueVisitor.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/RISCALVisitor.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/RISCALLexer.interp
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/RISCAL.interp
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/Value.tokens
File deleted
/tags/3.6.0/src/riscal/parser/ValueLexer.tokens
File deleted
/tags/3.6.0/src/riscal/parser/RISCAL.tokens
File deleted
/tags/3.6.0/src/riscal/parser/RISCALLexer.tokens
File deleted
/tags/3.6.0/src/riscal/parser/Value.g4
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/RISCAL.g4
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/RCS/RISCALBaseVisitor.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/ValueParser.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/RISCALParser.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/ValueVisitor.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/RISCALVisitor.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/Value.g4,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/RISCAL.g4,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/TreeTranslator.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/ValueLexer.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/ValueBaseListener.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/RISCALLexer.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/RISCALBaseListener.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/ValueListener.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/RISCALListener.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/ValueTranslator.java,v
File deleted
/tags/3.6.0/src/riscal/parser/RCS/ValueBaseVisitor.java,v
File deleted
/tags/3.6.0/src/riscal/parser/TreeTranslator.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/ValueLexer.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/RISCALLexer.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/parser/ValueBaseListener.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/swt/RCS/TopWindow.java,v
File deleted
/tags/3.6.0/src/riscal/swt/RCS/BrowserWindow.java,v
File deleted
/tags/3.6.0/src/riscal/swt/RCS/ValueDialog.java,v
File deleted
/tags/3.6.0/src/riscal/swt/RCS/SymbolList.java,v
File deleted
/tags/3.6.0/src/riscal/swt/RCS/MainSWT.java,v
File deleted
/tags/3.6.0/src/riscal/swt/RCS/TaskTree.java,v
File deleted
/tags/3.6.0/src/riscal/swt/RCS/ScriptDialog.java,v
File deleted
/tags/3.6.0/src/riscal/swt/TopWindow.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/swt/BrowserWindow.java
File deleted
/tags/3.6.0/src/riscal/swt/ValueDialog.java
File deleted
/tags/3.6.0/src/riscal/swt/SymbolList.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/swt/MainSWT.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/swt/TaskTree.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/swt/ScriptDialog.java
File deleted
/tags/3.6.0/src/riscal/util/Arith.java
File deleted
\ No newline at end of file
/tags/3.6.0/src/riscal/util/RCS/Arith.java,v
File deleted
/tags/3.6.0/src/riscal/util/RCS/Seq.java,v
File deleted
/tags/3.6.0/src/riscal/util/Seq.java
File deleted
\ No newline at end of file