├── .gitignore ├── .gitmodules ├── AA_README.TXT ├── LICENSES ├── Alloy.txt ├── CryptoMiniSat.txt ├── Electrod.txt ├── Glucose.txt ├── JavaCup.txt ├── Kodkod.txt ├── MiniSat.txt ├── Pardinus.txt ├── SAT4J.txt ├── Yices.txt └── ZChaff.txt ├── README.md ├── electrum ├── .gitignore ├── pom.xml └── src │ └── main │ ├── java │ ├── edu │ │ └── mit │ │ │ └── csail │ │ │ └── sdg │ │ │ ├── alloy4 │ │ │ ├── A4Preferences.java │ │ │ ├── A4Reporter.java │ │ │ ├── ByteBuffer.java │ │ │ ├── Computer.java │ │ │ ├── ConstList.java │ │ │ ├── ConstMap.java │ │ │ ├── ConstSet.java │ │ │ ├── DirectedGraph.java │ │ │ ├── Env.java │ │ │ ├── Err.java │ │ │ ├── ErrorAPI.java │ │ │ ├── ErrorFatal.java │ │ │ ├── ErrorSyntax.java │ │ │ ├── ErrorType.java │ │ │ ├── ErrorWarning.java │ │ │ ├── JoinableList.java │ │ │ ├── Listener.java │ │ │ ├── Listeners.java │ │ │ ├── MacUtil.java │ │ │ ├── MailBug.java │ │ │ ├── OurAntiAlias.java │ │ │ ├── OurBorder.java │ │ │ ├── OurCheckbox.java │ │ │ ├── OurCombobox.java │ │ │ ├── OurConsole.java │ │ │ ├── OurDialog.java │ │ │ ├── OurHighlighter.java │ │ │ ├── OurPDFWriter.java │ │ │ ├── OurPNGWriter.java │ │ │ ├── OurSyntaxDocument.java │ │ │ ├── OurSyntaxUndoableDocument.java │ │ │ ├── OurSyntaxWidget.java │ │ │ ├── OurTabbedSyntaxWidget.java │ │ │ ├── OurTree.java │ │ │ ├── OurUtil.java │ │ │ ├── Pair.java │ │ │ ├── Pos.java │ │ │ ├── Runner.java │ │ │ ├── SafeList.java │ │ │ ├── Subprocess.java │ │ │ ├── UniqueNameGenerator.java │ │ │ ├── Util.java │ │ │ ├── Version.java │ │ │ ├── WorkerEngine.java │ │ │ ├── XMLNode.java │ │ │ └── package.html │ │ │ ├── alloy4compiler │ │ │ ├── ast │ │ │ │ ├── Attr.java │ │ │ │ ├── Browsable.java │ │ │ │ ├── Command.java │ │ │ │ ├── CommandScope.java │ │ │ │ ├── Decl.java │ │ │ │ ├── Expr.java │ │ │ │ ├── ExprBad.java │ │ │ │ ├── ExprBadCall.java │ │ │ │ ├── ExprBadJoin.java │ │ │ │ ├── ExprBinary.java │ │ │ │ ├── ExprCall.java │ │ │ │ ├── ExprChoice.java │ │ │ │ ├── ExprConstant.java │ │ │ │ ├── ExprCustom.java │ │ │ │ ├── ExprHasName.java │ │ │ │ ├── ExprITE.java │ │ │ │ ├── ExprLet.java │ │ │ │ ├── ExprList.java │ │ │ │ ├── ExprQt.java │ │ │ │ ├── ExprUnary.java │ │ │ │ ├── ExprVar.java │ │ │ │ ├── Func.java │ │ │ │ ├── Module.java │ │ │ │ ├── Sig.java │ │ │ │ ├── Type.java │ │ │ │ ├── VisitQuery.java │ │ │ │ ├── VisitReturn.java │ │ │ │ └── package.html │ │ │ ├── parser │ │ │ │ ├── Alloy.cup │ │ │ │ ├── Alloy.lex │ │ │ │ ├── CompFilter.java │ │ │ │ ├── CompLexer.java │ │ │ │ ├── CompModule.java │ │ │ │ ├── CompParser.java │ │ │ │ ├── CompSym.java │ │ │ │ ├── CompUtil.java │ │ │ │ ├── Macro.java │ │ │ │ ├── generate-lexer.sh │ │ │ │ ├── generate-parser.sh │ │ │ │ ├── generate-parsing-trace-from-log.sh │ │ │ │ └── package.html │ │ │ ├── sim │ │ │ │ ├── SimAtom.java │ │ │ │ ├── SimCallback.java │ │ │ │ ├── SimInstance.java │ │ │ │ ├── SimTuple.java │ │ │ │ ├── SimTupleset.java │ │ │ │ └── package.html │ │ │ └── translator │ │ │ │ ├── A4Options.java │ │ │ │ ├── A4Solution.java │ │ │ │ ├── A4SolutionReader.java │ │ │ │ ├── A4SolutionWriter.java │ │ │ │ ├── A4Tuple.java │ │ │ │ ├── A4TupleSet.java │ │ │ │ ├── BookExamples.java │ │ │ │ ├── BoundsComputer.java │ │ │ │ ├── ConvToConjunction.java │ │ │ │ ├── ScopeComputer.java │ │ │ │ ├── Simplifier.java │ │ │ │ ├── TranslateAlloyToKodkod.java │ │ │ │ ├── TranslateKodkodToJava.java │ │ │ │ ├── TranslateTAlloyToAlloy.java │ │ │ │ ├── TranslateTAlloyToInit.java │ │ │ │ ├── WriteCNF.java │ │ │ │ ├── instance.txt │ │ │ │ └── package.html │ │ │ ├── alloy4graph │ │ │ ├── Artist.java │ │ │ ├── AvailableSpace.java │ │ │ ├── Curve.java │ │ │ ├── DotColor.java │ │ │ ├── DotDirection.java │ │ │ ├── DotPalette.java │ │ │ ├── DotShape.java │ │ │ ├── DotStyle.java │ │ │ ├── Graph.java │ │ │ ├── GraphEdge.java │ │ │ ├── GraphNode.java │ │ │ ├── GraphViewer.java │ │ │ └── package.html │ │ │ ├── alloy4viz │ │ │ ├── AlloyAtom.java │ │ │ ├── AlloyElement.java │ │ │ ├── AlloyInstance.java │ │ │ ├── AlloyModel.java │ │ │ ├── AlloyNodeElement.java │ │ │ ├── AlloyProjection.java │ │ │ ├── AlloyRelation.java │ │ │ ├── AlloySet.java │ │ │ ├── AlloyTuple.java │ │ │ ├── AlloyType.java │ │ │ ├── MagicColor.java │ │ │ ├── MagicLayout.java │ │ │ ├── MagicUtil.java │ │ │ ├── StaticGraphMaker.java │ │ │ ├── StaticInstanceReader.java │ │ │ ├── StaticProjector.java │ │ │ ├── StaticThemeReaderWriter.java │ │ │ ├── VizCustomizationPanel.java │ │ │ ├── VizGUI.java │ │ │ ├── VizGraphPanel.java │ │ │ ├── VizState.java │ │ │ ├── VizTree.java │ │ │ └── package.html │ │ │ └── alloy4whole │ │ │ ├── DemoFileSystem.java │ │ │ ├── ExampleUsingTheAPI.java │ │ │ ├── ExampleUsingTheCompiler.java │ │ │ ├── Helper.java │ │ │ ├── InternalTest.java │ │ │ ├── PreferencesDialog.java │ │ │ ├── SimpleCLI.java │ │ │ ├── SimpleGUI.java │ │ │ ├── SimpleReporter.java │ │ │ ├── SwingLogPanel.java │ │ │ └── package.html │ └── java_cup │ │ └── runtime │ │ ├── DefaultSymbolFactory.java │ │ ├── Scanner.java │ │ ├── Symbol.java │ │ ├── SymbolFactory.java │ │ ├── lr_parser.java │ │ └── virtual_parse_stack.java │ └── resources │ ├── amd64-linux │ ├── cryptominisat │ ├── libcryptominisat.so │ ├── libglucose.so │ ├── liblingeling.so │ ├── libminisat.so │ ├── libminisat1.14.so │ ├── libminisatprover.so │ ├── libzchaffmincost.so │ └── plingeling │ ├── icons │ ├── ColorIcons │ │ ├── black.gif │ │ ├── blue.gif │ │ ├── cadetblue.gif │ │ ├── chartreuse2.gif │ │ ├── cornflowerblue.gif │ │ ├── cyan.gif │ │ ├── darkolivegreen2.gif │ │ ├── gold.gif │ │ ├── green2.gif │ │ ├── lightgoldenrod.gif │ │ ├── lightgray.gif │ │ ├── limegreen.gif │ │ ├── magenta.gif │ │ ├── magic.gif │ │ ├── palevioletred.gif │ │ ├── red.gif │ │ ├── salmon.gif │ │ ├── white.gif │ │ └── yellow.gif │ ├── ShapeIcons │ │ ├── Mcircle.gif │ │ ├── Mdiamond.gif │ │ ├── Msquare.gif │ │ ├── box.gif │ │ ├── circle.gif │ │ ├── diamond.gif │ │ ├── doublecircle.gif │ │ ├── doubleoctagon.gif │ │ ├── egg.gif │ │ ├── ellipse.gif │ │ ├── hexagon.gif │ │ ├── house.gif │ │ ├── invhouse.gif │ │ ├── invtrapezium.gif │ │ ├── invtriangle.gif │ │ ├── octagon.gif │ │ ├── parallelogram.gif │ │ ├── trapezium.gif │ │ ├── triangle.gif │ │ └── tripleoctagon.gif │ └── StyleIcons │ │ ├── bold.gif │ │ ├── dashed.gif │ │ ├── dotted.gif │ │ └── solid.gif │ ├── images │ ├── 24_execute.gif │ ├── 24_execute_abort2.gif │ ├── 24_graph.gif │ ├── 24_history.gif │ ├── 24_new.gif │ ├── 24_open.gif │ ├── 24_plaintext.gif │ ├── 24_reload.gif │ ├── 24_save.gif │ ├── 24_settings.gif │ ├── 24_settings_apply.gif │ ├── 24_settings_apply2.gif │ ├── 24_settings_apply3.gif │ ├── 24_settings_close.gif │ ├── 24_settings_close2.gif │ ├── 24_settings_close3.gif │ ├── 24_settings_close4.gif │ ├── 24_settings_close5.gif │ ├── 24_texttree.gif │ ├── cb0.gif │ ├── cb1.gif │ ├── logo.gif │ ├── menu0.gif │ ├── menu1.gif │ ├── tcb01.gif │ ├── tcb02.gif │ ├── tcb03.gif │ └── tcb04.gif │ ├── logback.xml │ ├── models │ ├── book │ │ ├── appendixA │ │ │ ├── addressBook1.als │ │ │ ├── addressBook2.als │ │ │ ├── barbers.als │ │ │ ├── closure.als │ │ │ ├── distribution.als │ │ │ ├── phones.als │ │ │ ├── prison.als │ │ │ ├── properties.als │ │ │ ├── ring.als │ │ │ ├── spanning.als │ │ │ ├── tree.als │ │ │ ├── tube.als │ │ │ └── undirected.als │ │ ├── appendixE │ │ │ ├── hotel.thm │ │ │ ├── p300-hotel.als │ │ │ ├── p303-hotel.als │ │ │ └── p306-hotel.als │ │ ├── chapter2 │ │ │ ├── addressBook1a.als │ │ │ ├── addressBook1b.als │ │ │ ├── addressBook1c.als │ │ │ ├── addressBook1d.als │ │ │ ├── addressBook1e.als │ │ │ ├── addressBook1f.als │ │ │ ├── addressBook1g.als │ │ │ ├── addressBook1h.als │ │ │ ├── addressBook2a.als │ │ │ ├── addressBook2b.als │ │ │ ├── addressBook2c.als │ │ │ ├── addressBook2d.als │ │ │ ├── addressBook2e.als │ │ │ ├── addressBook3a.als │ │ │ ├── addressBook3b.als │ │ │ ├── addressBook3c.als │ │ │ ├── addressBook3d.als │ │ │ └── theme.thm │ │ ├── chapter4 │ │ │ ├── filesystem.als │ │ │ ├── grandpa1.als │ │ │ ├── grandpa2.als │ │ │ ├── grandpa3.als │ │ │ └── lights.als │ │ ├── chapter5 │ │ │ ├── addressBook.als │ │ │ ├── lists.als │ │ │ ├── sets1.als │ │ │ └── sets2.als │ │ └── chapter6 │ │ │ ├── hotel.thm │ │ │ ├── hotel1.als │ │ │ ├── hotel2.als │ │ │ ├── hotel3.als │ │ │ ├── hotel4.als │ │ │ ├── mediaAssets.als │ │ │ ├── memory │ │ │ ├── abstractMemory.als │ │ │ ├── cacheMemory.als │ │ │ ├── checkCache.als │ │ │ ├── checkFixedSize.als │ │ │ ├── fixedSizeMemory.als │ │ │ └── fixedSizeMemory_H.als │ │ │ ├── ringElection.thm │ │ │ ├── ringElection1.als │ │ │ └── ringElection2.als │ ├── examples │ │ ├── algorithms │ │ │ ├── dijkstra.als │ │ │ ├── dijkstra.thm │ │ │ ├── messaging.als │ │ │ ├── messaging.thm │ │ │ ├── opt_spantree.als │ │ │ ├── opt_spantree.thm │ │ │ ├── peterson.als │ │ │ ├── ringlead.als │ │ │ ├── ringlead.thm │ │ │ ├── s_ringlead.als │ │ │ ├── stable_mutex_ring.als │ │ │ ├── stable_mutex_ring.thm │ │ │ ├── stable_orient_ring.als │ │ │ ├── stable_orient_ring.thm │ │ │ ├── stable_ringlead.als │ │ │ └── stable_ringlead.thm │ │ ├── case_studies │ │ │ ├── INSLabel.als │ │ │ ├── chord.als │ │ │ ├── chord2.als │ │ │ ├── chordbugmodel.als │ │ │ ├── com.als │ │ │ ├── firewire.als │ │ │ ├── firewire.thm │ │ │ ├── ins.als │ │ │ ├── iolus.als │ │ │ ├── sync.als │ │ │ └── syncimpl.als │ │ ├── electrum │ │ │ ├── algorithms │ │ │ │ ├── dijkstra.ele │ │ │ │ ├── messaging.ele │ │ │ │ ├── peterson.ele │ │ │ │ ├── ring.ele │ │ │ │ ├── span_tree.ele │ │ │ │ ├── stable_mutex_ring.ele │ │ │ │ └── stable_orient_ring.ele │ │ │ ├── case_studies │ │ │ │ ├── firewire.ele │ │ │ │ ├── train.ele │ │ │ │ └── train.thm │ │ │ ├── puzzles │ │ │ │ ├── farmer.ele │ │ │ │ ├── farmer.thm │ │ │ │ ├── hanoi.ele │ │ │ │ └── hanoi.thm │ │ │ ├── systems │ │ │ │ ├── hotel.ele │ │ │ │ ├── javatypes_soundness.ele │ │ │ │ ├── lift_spl.ele │ │ │ │ └── views.ele │ │ │ └── toys │ │ │ │ ├── birthday.ele │ │ │ │ ├── ex1.ele │ │ │ │ ├── life.ele │ │ │ │ └── railway.ele │ │ ├── puzzles │ │ │ ├── farmer.als │ │ │ ├── farmer.thm │ │ │ ├── handshake.als │ │ │ ├── handshake.thm │ │ │ ├── hanoi.als │ │ │ └── hanoi.thm │ │ ├── systems │ │ │ ├── file_system.als │ │ │ ├── file_system.thm │ │ │ ├── javatypes_soundness.als │ │ │ ├── lists.als │ │ │ ├── lists.thm │ │ │ ├── marksweepgc.als │ │ │ └── views.als │ │ ├── toys │ │ │ ├── birthday.als │ │ │ ├── birthday.thm │ │ │ ├── ceilingsAndFloors.als │ │ │ ├── ceilingsAndFloors.thm │ │ │ ├── genealogy.als │ │ │ ├── genealogy.thm │ │ │ ├── grandpa.als │ │ │ ├── grandpa.thm │ │ │ ├── javatypes.als │ │ │ ├── life.als │ │ │ ├── life.thm │ │ │ ├── numbering.als │ │ │ ├── railway.als │ │ │ ├── railway.thm │ │ │ └── trivial.als │ │ └── tutorial │ │ │ └── farmer.als │ └── util │ │ ├── boolean.als │ │ ├── graph.als │ │ ├── integer.als │ │ ├── natural.als │ │ ├── ordering.als │ │ ├── relation.als │ │ ├── seqrel.als │ │ ├── sequence.als │ │ ├── sequniv.als │ │ ├── ternary.als │ │ └── time.als │ ├── x86-freebsd │ └── berkmin │ ├── x86-linux │ ├── cryptominisat │ ├── libcryptominisat.so │ ├── libglucose.so │ ├── liblingeling.so │ ├── libminisat.so │ └── libminisatprover.so │ ├── x86-mac │ ├── cryptominisat │ ├── electrod │ ├── glucose-syrup │ ├── libcryptominisat.la │ ├── libglucose.dylib │ ├── liblingeling.dylib │ ├── libminisat.dylib │ ├── libminisat.jnilib │ ├── libminisatprover.dylib │ ├── libminisatprover.jnilib │ ├── libzchaff.jnilib │ └── plingeling │ └── x86-windows │ ├── berkmin.exe │ ├── cygglucose.dll │ ├── cygminisat.dll │ ├── cygminisatprover.dll │ ├── libglucose.dll.a │ ├── libminisat.dll.a │ ├── libminisatprover.dll.a │ ├── minisat.dll │ ├── minisatprover.dll │ └── zchaff.dll └── pom.xml /.gitignore: -------------------------------------------------------------------------------- 1 | /bin/ 2 | /target/ 3 | *.class 4 | 5 | .DS_Store 6 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/.gitmodules -------------------------------------------------------------------------------- /AA_README.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/AA_README.TXT -------------------------------------------------------------------------------- /LICENSES/Alloy.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/LICENSES/Alloy.txt -------------------------------------------------------------------------------- /LICENSES/CryptoMiniSat.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/LICENSES/CryptoMiniSat.txt -------------------------------------------------------------------------------- /LICENSES/Electrod.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/LICENSES/Electrod.txt -------------------------------------------------------------------------------- /LICENSES/Glucose.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/LICENSES/Glucose.txt -------------------------------------------------------------------------------- /LICENSES/JavaCup.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/LICENSES/JavaCup.txt -------------------------------------------------------------------------------- /LICENSES/Kodkod.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/LICENSES/Kodkod.txt -------------------------------------------------------------------------------- /LICENSES/MiniSat.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/LICENSES/MiniSat.txt -------------------------------------------------------------------------------- /LICENSES/Pardinus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/LICENSES/Pardinus.txt -------------------------------------------------------------------------------- /LICENSES/SAT4J.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/LICENSES/SAT4J.txt -------------------------------------------------------------------------------- /LICENSES/Yices.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/LICENSES/Yices.txt -------------------------------------------------------------------------------- /LICENSES/ZChaff.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/LICENSES/ZChaff.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/README.md -------------------------------------------------------------------------------- /electrum/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | -------------------------------------------------------------------------------- /electrum/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/pom.xml -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/A4Preferences.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/A4Preferences.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/A4Reporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/A4Reporter.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/ByteBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/ByteBuffer.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/Computer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Computer.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/ConstList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/ConstList.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/ConstMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/ConstMap.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/ConstSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/ConstSet.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/DirectedGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/DirectedGraph.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/Env.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Env.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/Err.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Err.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/ErrorAPI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/ErrorAPI.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/ErrorFatal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/ErrorFatal.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/ErrorSyntax.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/ErrorSyntax.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/ErrorType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/ErrorType.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/ErrorWarning.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/ErrorWarning.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/JoinableList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/JoinableList.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/Listener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Listener.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/Listeners.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Listeners.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/MacUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/MacUtil.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/MailBug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/MailBug.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurAntiAlias.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurAntiAlias.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurBorder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurBorder.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurCheckbox.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurCheckbox.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurCombobox.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurCombobox.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurConsole.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurConsole.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurDialog.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurHighlighter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurHighlighter.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurPDFWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurPDFWriter.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurPNGWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurPNGWriter.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurSyntaxDocument.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurSyntaxDocument.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurSyntaxUndoableDocument.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurSyntaxUndoableDocument.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurSyntaxWidget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurSyntaxWidget.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurTabbedSyntaxWidget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurTabbedSyntaxWidget.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurTree.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/OurUtil.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Pair.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/Pos.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Pos.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/Runner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Runner.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/SafeList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/SafeList.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/Subprocess.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Subprocess.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/UniqueNameGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/UniqueNameGenerator.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Util.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/Version.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/Version.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/WorkerEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/WorkerEngine.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/XMLNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/XMLNode.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4/package.html -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Attr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Attr.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Browsable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Browsable.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Command.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Command.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/CommandScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/CommandScope.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Decl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Decl.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Expr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Expr.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprBad.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprBad.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprBadCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprBadCall.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprBadJoin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprBadJoin.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprCall.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprChoice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprChoice.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprConstant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprConstant.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprCustom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprCustom.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprHasName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprHasName.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprITE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprITE.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprLet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprLet.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprList.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprQt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprQt.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/ExprVar.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Func.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Func.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Module.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Module.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Sig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Sig.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/Type.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/VisitQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/VisitQuery.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/VisitReturn.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/VisitReturn.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/ast/package.html -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/Alloy.cup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/Alloy.cup -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/Alloy.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/Alloy.lex -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompFilter.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompLexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompLexer.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompModule.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompParser.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompSym.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompSym.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/CompUtil.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/Macro.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/Macro.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/generate-lexer.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/generate-lexer.sh -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/generate-parser.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/generate-parser.sh -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/generate-parsing-trace-from-log.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/generate-parsing-trace-from-log.sh -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/parser/package.html -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/SimAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/SimAtom.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/SimCallback.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/SimCallback.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/SimInstance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/SimInstance.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/SimTuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/SimTuple.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/SimTupleset.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/SimTupleset.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/sim/package.html -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4Options.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4Options.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4Solution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4Solution.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4SolutionReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4SolutionReader.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4SolutionWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4SolutionWriter.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4Tuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4Tuple.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4TupleSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/A4TupleSet.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/BookExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/BookExamples.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/BoundsComputer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/BoundsComputer.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/ConvToConjunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/ConvToConjunction.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/ScopeComputer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/ScopeComputer.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/Simplifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/Simplifier.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/TranslateAlloyToKodkod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/TranslateAlloyToKodkod.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/TranslateKodkodToJava.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/TranslateKodkodToJava.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/TranslateTAlloyToAlloy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/TranslateTAlloyToAlloy.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/TranslateTAlloyToInit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/TranslateTAlloyToInit.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/WriteCNF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/WriteCNF.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/instance.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/instance.txt -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4compiler/translator/package.html -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/Artist.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/Artist.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/AvailableSpace.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/AvailableSpace.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/Curve.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/Curve.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/DotColor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/DotColor.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/DotDirection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/DotDirection.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/DotPalette.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/DotPalette.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/DotShape.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/DotShape.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/DotStyle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/DotStyle.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/Graph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/Graph.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/GraphEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/GraphEdge.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/GraphNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/GraphNode.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/GraphViewer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/GraphViewer.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4graph/package.html -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyAtom.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyElement.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyInstance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyInstance.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyModel.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyNodeElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyNodeElement.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyProjection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyProjection.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyRelation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyRelation.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloySet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloySet.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyTuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyTuple.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/AlloyType.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/MagicColor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/MagicColor.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/MagicLayout.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/MagicLayout.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/MagicUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/MagicUtil.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/StaticGraphMaker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/StaticGraphMaker.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/StaticInstanceReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/StaticInstanceReader.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/StaticProjector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/StaticProjector.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/StaticThemeReaderWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/StaticThemeReaderWriter.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizCustomizationPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizCustomizationPanel.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizGUI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizGUI.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizGraphPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizGraphPanel.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizState.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizTree.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/package.html -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/DemoFileSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/DemoFileSystem.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/ExampleUsingTheAPI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/ExampleUsingTheAPI.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/ExampleUsingTheCompiler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/ExampleUsingTheCompiler.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/Helper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/Helper.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/InternalTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/InternalTest.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/PreferencesDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/PreferencesDialog.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleCLI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleCLI.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleReporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleReporter.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SwingLogPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SwingLogPanel.java -------------------------------------------------------------------------------- /electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/package.html -------------------------------------------------------------------------------- /electrum/src/main/java/java_cup/runtime/DefaultSymbolFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/java_cup/runtime/DefaultSymbolFactory.java -------------------------------------------------------------------------------- /electrum/src/main/java/java_cup/runtime/Scanner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/java_cup/runtime/Scanner.java -------------------------------------------------------------------------------- /electrum/src/main/java/java_cup/runtime/Symbol.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/java_cup/runtime/Symbol.java -------------------------------------------------------------------------------- /electrum/src/main/java/java_cup/runtime/SymbolFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/java_cup/runtime/SymbolFactory.java -------------------------------------------------------------------------------- /electrum/src/main/java/java_cup/runtime/lr_parser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/java_cup/runtime/lr_parser.java -------------------------------------------------------------------------------- /electrum/src/main/java/java_cup/runtime/virtual_parse_stack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/java/java_cup/runtime/virtual_parse_stack.java -------------------------------------------------------------------------------- /electrum/src/main/resources/amd64-linux/cryptominisat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/amd64-linux/cryptominisat -------------------------------------------------------------------------------- /electrum/src/main/resources/amd64-linux/libcryptominisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/amd64-linux/libcryptominisat.so -------------------------------------------------------------------------------- /electrum/src/main/resources/amd64-linux/libglucose.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/amd64-linux/libglucose.so -------------------------------------------------------------------------------- /electrum/src/main/resources/amd64-linux/liblingeling.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/amd64-linux/liblingeling.so -------------------------------------------------------------------------------- /electrum/src/main/resources/amd64-linux/libminisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/amd64-linux/libminisat.so -------------------------------------------------------------------------------- /electrum/src/main/resources/amd64-linux/libminisat1.14.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/amd64-linux/libminisat1.14.so -------------------------------------------------------------------------------- /electrum/src/main/resources/amd64-linux/libminisatprover.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/amd64-linux/libminisatprover.so -------------------------------------------------------------------------------- /electrum/src/main/resources/amd64-linux/libzchaffmincost.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/amd64-linux/libzchaffmincost.so -------------------------------------------------------------------------------- /electrum/src/main/resources/amd64-linux/plingeling: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/amd64-linux/plingeling -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/black.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/black.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/blue.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/blue.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/cadetblue.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/cadetblue.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/chartreuse2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/chartreuse2.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/cornflowerblue.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/cornflowerblue.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/cyan.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/cyan.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/darkolivegreen2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/darkolivegreen2.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/gold.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/gold.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/green2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/green2.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/lightgoldenrod.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/lightgoldenrod.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/lightgray.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/lightgray.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/limegreen.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/limegreen.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/magenta.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/magenta.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/magic.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/magic.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/palevioletred.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/palevioletred.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/red.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/red.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/salmon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/salmon.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/white.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/white.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ColorIcons/yellow.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ColorIcons/yellow.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/Mcircle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/Mcircle.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/Mdiamond.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/Mdiamond.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/Msquare.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/Msquare.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/box.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/box.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/circle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/circle.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/diamond.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/diamond.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/doublecircle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/doublecircle.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/doubleoctagon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/doubleoctagon.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/egg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/egg.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/ellipse.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/ellipse.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/hexagon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/hexagon.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/house.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/house.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/invhouse.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/invhouse.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/invtrapezium.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/invtrapezium.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/invtriangle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/invtriangle.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/octagon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/octagon.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/parallelogram.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/parallelogram.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/trapezium.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/trapezium.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/triangle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/triangle.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/ShapeIcons/tripleoctagon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/ShapeIcons/tripleoctagon.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/StyleIcons/bold.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/StyleIcons/bold.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/StyleIcons/dashed.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/StyleIcons/dashed.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/StyleIcons/dotted.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/StyleIcons/dotted.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/icons/StyleIcons/solid.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/icons/StyleIcons/solid.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_execute.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_execute.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_execute_abort2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_execute_abort2.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_graph.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_graph.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_history.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_history.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_new.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_new.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_open.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_open.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_plaintext.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_plaintext.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_reload.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_reload.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_save.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_save.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_settings.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_settings.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_settings_apply.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_settings_apply.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_settings_apply2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_settings_apply2.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_settings_apply3.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_settings_apply3.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_settings_close.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_settings_close.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_settings_close2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_settings_close2.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_settings_close3.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_settings_close3.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_settings_close4.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_settings_close4.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_settings_close5.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_settings_close5.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/24_texttree.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/24_texttree.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/cb0.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/cb0.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/cb1.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/cb1.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/logo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/logo.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/menu0.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/menu0.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/menu1.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/menu1.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/tcb01.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/tcb01.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/tcb02.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/tcb02.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/tcb03.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/tcb03.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/images/tcb04.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/images/tcb04.gif -------------------------------------------------------------------------------- /electrum/src/main/resources/logback.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/logback.xml -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/addressBook1.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/addressBook1.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/addressBook2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/addressBook2.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/barbers.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/barbers.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/closure.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/closure.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/distribution.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/distribution.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/phones.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/phones.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/prison.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/prison.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/properties.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/properties.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/ring.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/ring.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/spanning.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/spanning.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/tree.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/tree.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/tube.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/tube.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixA/undirected.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixA/undirected.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixE/hotel.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixE/hotel.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixE/p300-hotel.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixE/p300-hotel.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixE/p303-hotel.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixE/p303-hotel.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/appendixE/p306-hotel.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/appendixE/p306-hotel.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook1a.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook1a.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook1b.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook1b.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook1c.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook1c.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook1d.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook1d.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook1e.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook1e.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook1f.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook1f.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook1g.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook1g.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook1h.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook1h.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook2a.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook2a.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook2b.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook2b.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook2c.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook2c.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook2d.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook2d.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook2e.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook2e.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook3a.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook3a.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook3b.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook3b.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook3c.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook3c.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/addressBook3d.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/addressBook3d.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter2/theme.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter2/theme.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter4/filesystem.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter4/filesystem.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter4/grandpa1.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter4/grandpa1.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter4/grandpa2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter4/grandpa2.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter4/grandpa3.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter4/grandpa3.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter4/lights.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter4/lights.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter5/addressBook.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter5/addressBook.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter5/lists.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter5/lists.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter5/sets1.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter5/sets1.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter5/sets2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter5/sets2.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/hotel.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/hotel.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/hotel1.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/hotel1.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/hotel2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/hotel2.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/hotel3.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/hotel3.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/hotel4.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/hotel4.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/mediaAssets.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/mediaAssets.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/memory/abstractMemory.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/memory/abstractMemory.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/memory/cacheMemory.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/memory/cacheMemory.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/memory/checkCache.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/memory/checkCache.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/memory/checkFixedSize.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/memory/checkFixedSize.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/memory/fixedSizeMemory.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/memory/fixedSizeMemory.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/memory/fixedSizeMemory_H.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/memory/fixedSizeMemory_H.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/ringElection.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/ringElection.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/ringElection1.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/ringElection1.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/book/chapter6/ringElection2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/book/chapter6/ringElection2.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/dijkstra.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/dijkstra.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/dijkstra.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/dijkstra.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/messaging.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/messaging.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/messaging.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/messaging.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/opt_spantree.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/opt_spantree.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/opt_spantree.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/opt_spantree.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/peterson.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/peterson.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/ringlead.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/ringlead.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/ringlead.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/ringlead.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/s_ringlead.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/s_ringlead.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/stable_mutex_ring.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/stable_mutex_ring.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/stable_mutex_ring.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/stable_mutex_ring.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/stable_orient_ring.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/stable_orient_ring.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/stable_orient_ring.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/stable_orient_ring.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/stable_ringlead.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/stable_ringlead.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/algorithms/stable_ringlead.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/algorithms/stable_ringlead.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/case_studies/INSLabel.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/case_studies/INSLabel.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/case_studies/chord.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/case_studies/chord.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/case_studies/chord2.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/case_studies/chord2.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/case_studies/chordbugmodel.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/case_studies/chordbugmodel.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/case_studies/com.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/case_studies/com.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/case_studies/firewire.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/case_studies/firewire.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/case_studies/firewire.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/case_studies/firewire.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/case_studies/ins.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/case_studies/ins.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/case_studies/iolus.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/case_studies/iolus.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/case_studies/sync.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/case_studies/sync.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/case_studies/syncimpl.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/case_studies/syncimpl.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/algorithms/dijkstra.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/algorithms/dijkstra.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/algorithms/messaging.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/algorithms/messaging.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/algorithms/peterson.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/algorithms/peterson.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/algorithms/ring.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/algorithms/ring.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/algorithms/span_tree.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/algorithms/span_tree.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/algorithms/stable_mutex_ring.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/algorithms/stable_mutex_ring.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/algorithms/stable_orient_ring.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/algorithms/stable_orient_ring.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/case_studies/firewire.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/case_studies/firewire.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/case_studies/train.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/case_studies/train.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/case_studies/train.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/case_studies/train.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/puzzles/farmer.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/puzzles/farmer.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/puzzles/farmer.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/puzzles/farmer.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/puzzles/hanoi.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/puzzles/hanoi.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/puzzles/hanoi.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/puzzles/hanoi.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/systems/hotel.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/systems/hotel.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/systems/javatypes_soundness.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/systems/javatypes_soundness.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/systems/lift_spl.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/systems/lift_spl.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/systems/views.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/systems/views.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/toys/birthday.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/toys/birthday.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/toys/ex1.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/toys/ex1.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/toys/life.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/toys/life.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/electrum/toys/railway.ele: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/electrum/toys/railway.ele -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/puzzles/farmer.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/puzzles/farmer.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/puzzles/farmer.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/puzzles/farmer.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/puzzles/handshake.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/puzzles/handshake.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/puzzles/handshake.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/puzzles/handshake.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/puzzles/hanoi.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/puzzles/hanoi.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/puzzles/hanoi.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/puzzles/hanoi.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/systems/file_system.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/systems/file_system.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/systems/file_system.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/systems/file_system.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/systems/javatypes_soundness.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/systems/javatypes_soundness.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/systems/lists.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/systems/lists.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/systems/lists.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/systems/lists.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/systems/marksweepgc.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/systems/marksweepgc.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/systems/views.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/systems/views.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/birthday.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/birthday.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/birthday.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/birthday.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/ceilingsAndFloors.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/ceilingsAndFloors.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/ceilingsAndFloors.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/ceilingsAndFloors.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/genealogy.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/genealogy.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/genealogy.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/genealogy.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/grandpa.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/grandpa.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/grandpa.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/grandpa.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/javatypes.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/javatypes.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/life.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/life.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/life.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/life.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/numbering.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/numbering.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/railway.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/railway.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/railway.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/railway.thm -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/toys/trivial.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/toys/trivial.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/examples/tutorial/farmer.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/examples/tutorial/farmer.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/util/boolean.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/util/boolean.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/util/graph.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/util/graph.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/util/integer.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/util/integer.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/util/natural.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/util/natural.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/util/ordering.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/util/ordering.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/util/relation.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/util/relation.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/util/seqrel.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/util/seqrel.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/util/sequence.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/util/sequence.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/util/sequniv.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/util/sequniv.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/util/ternary.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/util/ternary.als -------------------------------------------------------------------------------- /electrum/src/main/resources/models/util/time.als: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/models/util/time.als -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-freebsd/berkmin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-freebsd/berkmin -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-linux/cryptominisat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-linux/cryptominisat -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-linux/libcryptominisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-linux/libcryptominisat.so -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-linux/libglucose.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-linux/libglucose.so -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-linux/liblingeling.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-linux/liblingeling.so -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-linux/libminisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-linux/libminisat.so -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-linux/libminisatprover.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-linux/libminisatprover.so -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/cryptominisat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/cryptominisat -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/electrod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/electrod -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/glucose-syrup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/glucose-syrup -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/libcryptominisat.la: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/libcryptominisat.la -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/libglucose.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/libglucose.dylib -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/liblingeling.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/liblingeling.dylib -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/libminisat.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/libminisat.dylib -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/libminisat.jnilib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/libminisat.jnilib -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/libminisatprover.dylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/libminisatprover.dylib -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/libminisatprover.jnilib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/libminisatprover.jnilib -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/libzchaff.jnilib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/libzchaff.jnilib -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-mac/plingeling: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-mac/plingeling -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-windows/berkmin.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-windows/berkmin.exe -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-windows/cygglucose.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-windows/cygglucose.dll -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-windows/cygminisat.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-windows/cygminisat.dll -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-windows/cygminisatprover.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-windows/cygminisatprover.dll -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-windows/libglucose.dll.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-windows/libglucose.dll.a -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-windows/libminisat.dll.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-windows/libminisat.dll.a -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-windows/libminisatprover.dll.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-windows/libminisatprover.dll.a -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-windows/minisat.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-windows/minisat.dll -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-windows/minisatprover.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-windows/minisatprover.dll -------------------------------------------------------------------------------- /electrum/src/main/resources/x86-windows/zchaff.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/electrum/src/main/resources/x86-windows/zchaff.dll -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/haslab/Electrum/HEAD/pom.xml --------------------------------------------------------------------------------