Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: emina/kodkod
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: ModelWriter/kodkodz
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Able to merge. These branches can be automatically merged.

Commits on May 29, 2018

  1. initial code

    Ferhat Erata committed May 29, 2018

    Verified

    This commit was signed with the committer’s verified signature.
    jasonehines Jason Hines
    Copy the full SHA
    2619109 View commit details

Commits on May 30, 2018

  1. new improvements

    Ferhat Erata committed May 30, 2018
    Copy the full SHA
    e5b716b View commit details

Commits on Jun 1, 2018

  1. Add files via upload

    Ferhat Erata authored Jun 1, 2018
    Copy the full SHA
    7c22d9c View commit details

Commits on Jun 4, 2018

  1. Unsat Core part is added.

    Ferhat Erata committed Jun 4, 2018
    Copy the full SHA
    840b88e View commit details

Commits on Jun 5, 2018

  1. videos are added

    Ferhat Erata committed Jun 5, 2018
    Copy the full SHA
    bfc4a04 View commit details
  2. some videos are deleted.

    Ferhat Erata committed Jun 5, 2018
    Copy the full SHA
    bf9605d View commit details

Commits on Jun 7, 2018

  1. gitignore is changed for libs

    Ferhat Erata committed Jun 7, 2018
    Copy the full SHA
    c883bf9 View commit details
  2. Update .gitignore

    Ferhat Erata authored Jun 7, 2018
    Copy the full SHA
    75c7217 View commit details
  3. jar libraries are added.

    Ferhat Erata committed Jun 7, 2018
    Copy the full SHA
    e96cf7d View commit details
  4. .idea folder is commited to use intellj

    Ferhat Erata committed Jun 7, 2018
    Copy the full SHA
    9f6a274 View commit details

Commits on Jun 18, 2018

  1. git root is configured in intellij.

    Ferhat Erata committed Jun 18, 2018
    Copy the full SHA
    8f5db34 View commit details

Commits on Jun 27, 2018

  1. commit after gitignore is changed

    Ferhat Erata committed Jun 27, 2018
    Copy the full SHA
    b74d385 View commit details
  2. some configuration is added

    Ferhat Erata committed Jun 27, 2018
    Copy the full SHA
    a86d8d6 View commit details

Commits on Jun 29, 2018

  1. RequirementsModel Example is added

    Ferhat Erata committed Jun 29, 2018
    Copy the full SHA
    62ffc0d View commit details

Commits on Jul 12, 2018

  1. Copy the full SHA
    5f65db1 View commit details
  2. Assertion Checker and Z3 with Boolean Vector is added.

    Ferhat Erata committed Jul 12, 2018
    Copy the full SHA
    32445e1 View commit details
  3. workspace is corrected

    Ferhat Erata committed Jul 12, 2018
    Copy the full SHA
    2cef25f View commit details

Commits on Jul 13, 2018

  1. Copy the full SHA
    d875826 View commit details
  2. .gitignore changes

    berkaycagir committed Jul 13, 2018
    Copy the full SHA
    5847f41 View commit details

Commits on Jul 23, 2018

  1. Copy the full SHA
    44f8535 View commit details

Commits on Aug 7, 2018

  1. Copy the full SHA
    ed31c0f View commit details

Commits on Aug 8, 2018

  1. Copy the full SHA
    66aeca8 View commit details

Commits on Sep 26, 2018

  1. improvements

    ferhaterata committed Sep 26, 2018
    Copy the full SHA
    9e27211 View commit details
Showing with 93,202 additions and 928 deletions.
  1. +67 −5 .gitignore
  2. +8 −0 .idea/artifacts/kodkod.xml
  3. +8 −0 .idea/artifacts/kodkodToAIE.xml
  4. +8 −0 .idea/artifacts/kodkodToAIE_UI.xml
  5. +9 −0 .idea/libraries/com_microsoft_z3.xml
  6. +9 −0 .idea/libraries/org_sat4j_core_2_3_1.xml
  7. +6 −0 .idea/misc.xml
  8. +8 −0 .idea/modules.xml
  9. +6 −0 .idea/vcs.xml
  10. +619 −0 .idea/workspace.xml
  11. +2,309 −0 SMT/inttest.smt
  12. +8,748 −0 SMT/requirementsmodel.smt
  13. +57 −0 examples/kodkod/examples/ExampleMetadata.java
  14. +161 −0 examples/kodkod/examples/TestScript.java
  15. +207 −0 examples/kodkod/examples/TestScriptUsingBinary.java
  16. +20 −0 examples/kodkod/examples/alloy/AbstractWorldDefinitions.java
  17. +20 −0 examples/kodkod/examples/alloy/Bigconfig.java
  18. +20 −0 examples/kodkod/examples/alloy/CeilingsAndFloors.java
  19. +20 −0 examples/kodkod/examples/alloy/DNACuts.java
  20. +20 −0 examples/kodkod/examples/alloy/DiffEg.java
  21. +21 −1 examples/kodkod/examples/alloy/Dijkstra.java
  22. +26 −6 examples/kodkod/examples/alloy/FileSystem.java
  23. +20 −0 examples/kodkod/examples/alloy/GroupScheduling.java
  24. +20 −0 examples/kodkod/examples/alloy/Handshake.java
  25. +20 −0 examples/kodkod/examples/alloy/Hotel.java
  26. +39 −19 examples/kodkod/examples/alloy/Lists.java
  27. +20 −0 examples/kodkod/examples/alloy/Netconfig.java
  28. +20 −0 examples/kodkod/examples/alloy/Pigeonhole.java
  29. +20 −0 examples/kodkod/examples/alloy/RingElection.java
  30. +20 −0 examples/kodkod/examples/alloy/Toughnut.java
  31. +20 −0 examples/kodkod/examples/alloy/ToyFilesystem.java
  32. +21 −1 examples/kodkod/examples/alloy/ToyLists.java
  33. +20 −0 examples/kodkod/examples/alloy/Trees.java
  34. +2 −2 examples/kodkod/examples/alloy/Viktor.java
  35. +102 −0 examples/kodkod/examples/alloyinecore/IntTest.java
  36. +236 −0 examples/kodkod/examples/alloyinecore/RequirementsModel.java
  37. +193 −0 examples/kodkod/examples/alloyinecore/SimplifiedTheoryOfList.java
  38. +135 −0 examples/kodkod/examples/alloyinecore/TestModel.java
  39. +285 −0 examples/kodkod/examples/alloyinecore/TheoryOfList.java
  40. +20 −0 examples/kodkod/examples/csp/BlockedNQueens.java
  41. +20 −0 examples/kodkod/examples/csp/BlockedNQueens2.java
  42. +20 −0 examples/kodkod/examples/csp/GraphColoring.java
  43. +20 −0 examples/kodkod/examples/csp/HamiltonianCycle.java
  44. +20 −0 examples/kodkod/examples/csp/LatinSquare.java
  45. +20 −0 examples/kodkod/examples/csp/MagicSeries.java
  46. +59 −1 examples/kodkod/examples/csp/NQueens.java
  47. +20 −0 examples/kodkod/examples/csp/SocialGolfer.java
  48. +941 −0 examples/kodkod/examples/models/algorithm/discovery/INSLabelCheck.java
  49. +810 −0 examples/kodkod/examples/models/algorithm/discovery/INSLabelRun.java
  50. +1,536 −0 examples/kodkod/examples/models/algorithm/election/ringleadLeaderHighestCheck.java
  51. +1,179 −0 examples/kodkod/examples/models/algorithm/election/ringleadLivenessCheck.java
  52. +1,179 −0 examples/kodkod/examples/models/algorithm/election/ringleadNeverFindLeaderRun.java
  53. +1,179 −0 examples/kodkod/examples/models/algorithm/election/ringleadOneLeaderCheck.java
  54. +1,529 −0 examples/kodkod/examples/models/algorithm/election/ringleadSomeLeaderRun.java
  55. +927 −0 examples/kodkod/examples/models/algorithm/election/stable_ringleadCBadLivenessTraceRun.java
  56. +841 −0 examples/kodkod/examples/models/algorithm/election/stable_ringleadCMustConvergeCheck.java
  57. +1,052 −0 examples/kodkod/examples/models/algorithm/election/stable_ringleadCTraceWithoutLoopRun.java
  58. +1,055 −0 examples/kodkod/examples/models/algorithm/election/stable_ringleadCoveringRun.java
  59. +1,052 −0 examples/kodkod/examples/models/algorithm/election/stable_ringleadDBadLivenessTraceRun.java
  60. +1,053 −0 examples/kodkod/examples/models/algorithm/election/stable_ringleadDTraceWithoutLoopRun.java
  61. +423 −0 examples/kodkod/examples/models/algorithm/gc/marksweepgcCompletenessCheck.java
  62. +428 −0 examples/kodkod/examples/models/algorithm/gc/marksweepgcSoundness1Check.java
  63. +423 −0 examples/kodkod/examples/models/algorithm/gc/marksweepgcSoundness2Check.java
  64. +1,972 −0 examples/kodkod/examples/models/algorithm/multicasting/iolusOutsiderCantReadCheck.java
  65. +335 −0 examples/kodkod/examples/models/algorithm/mutex/dijkstra2ProcessDeadlockRun.java
  66. +695 −0 examples/kodkod/examples/models/algorithm/mutex/dijkstra2ProcessDijkstraPreventsDeadlocksCheck.java
  67. +510 −0 examples/kodkod/examples/models/algorithm/mutex/dijkstra2ProcessShowDijkstraRun.java
  68. +773 −0 examples/kodkod/examples/models/algorithm/mutex/dijkstraKStateClosureCheck.java
  69. +532 −0 examples/kodkod/examples/models/algorithm/mutex/dijkstraKStateTraceShorterThanMaxLoopRun.java
  70. +619 −0 examples/kodkod/examples/models/algorithm/mutex/dijkstraKStateTwoPrivilegedRun.java
  71. +1,217 −0 examples/kodkod/examples/models/algorithm/mutex/petersonNotStuckCheck.java
  72. +1,046 −0 examples/kodkod/examples/models/algorithm/mutex/petersonSafetyCheck.java
  73. +1,521 −0 examples/kodkod/examples/models/algorithm/mutex/petersonTwoRun.java
  74. +671 −0 examples/kodkod/examples/models/algorithm/ringOrientation/stableOrientRingClosureCheck.java
  75. +640 −0 examples/kodkod/examples/models/algorithm/ringOrientation/stableOrientRingSomeStateRun.java
  76. +986 −0 examples/kodkod/examples/models/algorithm/spanningTree/opt_spanTreeBadLivenessTraceRun.java
  77. +977 −0 examples/kodkod/examples/models/algorithm/spanningTree/opt_spanTreeClosureCheck.java
  78. +719 −0 examples/kodkod/examples/models/algorithm/spanningTree/opt_spanTreeSuccessfulRun.java
  79. +979 −0 examples/kodkod/examples/models/algorithm/synchronsation/syncSpecNotUniqueRun.java
  80. +1,222 −0 examples/kodkod/examples/models/algorithm/synchronsation/syncimplCorrectnessCheck.java
  81. +162 −0 examples/kodkod/examples/models/logic/syllogism/syllogismCheck1.java
  82. +161 −0 examples/kodkod/examples/models/logic/syllogism/syllogismCheck2.java
  83. +420 −0 examples/kodkod/examples/models/model/fileSystem/file_systemCheck1.java
  84. +422 −0 examples/kodkod/examples/models/model/fileSystem/file_systemCheck2.java
  85. +304 −0 examples/kodkod/examples/models/model/java/javatypesRun.java
  86. +584 −0 examples/kodkod/examples/models/model/microsoftCom/comTheorem1Check.java
  87. +587 −0 examples/kodkod/examples/models/model/microsoftCom/comTheorem2Check.java
  88. +583 −0 examples/kodkod/examples/models/model/microsoftCom/comTheorem3Check.java
  89. +589 −0 examples/kodkod/examples/models/model/microsoftCom/comTheorem4aCheck.java
  90. +588 −0 examples/kodkod/examples/models/model/microsoftCom/comTheorem4bCheck.java
  91. +409 −0 examples/kodkod/examples/models/model/transport/railwayPolicyWorksCheck.java
  92. +394 −0 examples/kodkod/examples/models/model/transport/railwayTrainsMoveLegalRun.java
  93. +831 −0 examples/kodkod/examples/models/model/typography/paragraphNumberingAddNeverReducesCheck.java
  94. +640 −0 examples/kodkod/examples/models/model/typography/paragraphNumberingPreserveForestCheck.java
  95. +477 −0 examples/kodkod/examples/models/puzzle/farmerChickenFox/farmerNoQuantumObjectCheck.java
  96. +469 −0 examples/kodkod/examples/models/puzzle/farmerChickenFox/farmerSolvePuzzleRun.java
  97. +493 −0 examples/kodkod/examples/models/puzzle/halmosHandshake/handshakeP10Run.java
  98. +583 −0 examples/kodkod/examples/models/puzzle/halmosHandshake/handshakeP12Run.java
  99. +689 −0 examples/kodkod/examples/models/puzzle/halmosHandshake/handshakeP14Run.java
  100. +881 −0 examples/kodkod/examples/models/puzzle/halmosHandshake/handshakeP16Run.java
  101. +1,311 −0 examples/kodkod/examples/models/puzzle/prisonerRoomVisit/prisonerCountInvariantCheck.java
  102. +1,460 −0 examples/kodkod/examples/models/puzzle/prisonerRoomVisit/prisonerRun.java
  103. +1,310 −0 examples/kodkod/examples/models/puzzle/prisonerRoomVisit/prisonerSafetyCheck.java
  104. +1,491 −0 examples/kodkod/examples/models/puzzle/prisonerRoomVisit/prisonerTheoremCheck.java
  105. +1,468 −0 examples/kodkod/examples/models/puzzle/prisonerRoomVisit/prisonerTypeOKCheck.java
  106. +247 −0 examples/kodkod/examples/models/simple/book/birthdayAddWorksCheck.java
  107. +223 −0 examples/kodkod/examples/models/simple/book/birthdayBusyDayRun.java
  108. +251 −0 examples/kodkod/examples/models/simple/book/birthdayDellsUndoCheck.java
  109. +469 −0 examples/kodkod/examples/models/simple/games/lifeInterestingRun.java
  110. +702 −0 examples/kodkod/examples/models/simple/games/lifeShowRun.java
  111. +474 −0 examples/kodkod/examples/models/simple/games/lifeSquareRun.java
  112. +330 −0 examples/kodkod/examples/models/simple/genealogy/genealogyShowRun.java
  113. +313 −0 examples/kodkod/examples/models/simple/genealogy/grandpaOwnGrandpaRun.java
  114. +463 −0 examples/kodkod/examples/models/simple/lists/listsEmptiesCheck.java
  115. +461 −0 examples/kodkod/examples/models/simple/lists/listsReflexiveCheck.java
  116. +378 −0 examples/kodkod/examples/models/simple/lists/listsShowRun.java
  117. +467 −0 examples/kodkod/examples/models/simple/lists/listsSymmetricCheck.java
  118. +515 −0 examples/kodkod/examples/models/simple/stateMachine/flipflopShowRun.java
  119. +549 −0 examples/kodkod/examples/models/simple/stateMachine/reset_flip_flop_with_enableShowRun.java
  120. +1,546 −0 examples/kodkod/examples/models/softwareAbstractions/appendixE/p306HotelNotIntruderCheck.java
  121. +401 −0 examples/kodkod/examples/models/softwareAbstractions/chapter2/addressBook3dAddIdempotentCheck.java
  122. +374 −0 examples/kodkod/examples/models/softwareAbstractions/chapter2/addressBook3dAddLocalCheck.java
  123. +403 −0 examples/kodkod/examples/models/softwareAbstractions/chapter2/addressBook3dDellUndoesAddCheck.java
  124. +630 −0 examples/kodkod/examples/models/softwareAbstractions/chapter2/addressBook3dLookupYields2Check.java
  125. +388 −0 examples/kodkod/examples/models/softwareAbstractions/chapter2/addressBook3dLookupYieldsCheck.java
  126. +191 −0 examples/kodkod/examples/models/softwareAbstractions/chapter4/filesystemFileInDirCheck.java
  127. +192 −0 examples/kodkod/examples/models/softwareAbstractions/chapter4/filesystemRootTopCheck.java
  128. +192 −0 examples/kodkod/examples/models/softwareAbstractions/chapter4/filesystemSomeDirCheck.java
  129. +266 −0 examples/kodkod/examples/models/softwareAbstractions/chapter4/grandpa3NoSelfFatherCheck.java
  130. +301 −0 examples/kodkod/examples/models/softwareAbstractions/chapter4/grandpa3OwnGrandpaRun.java
  131. +300 −0 examples/kodkod/examples/models/softwareAbstractions/chapter4/grandpa3SameCheck.java
  132. +317 −0 examples/kodkod/examples/models/softwareAbstractions/chapter4/lightsSafeCheck.java
  133. +233 −0 examples/kodkod/examples/models/softwareAbstractions/chapter5/addressBookAddLocalCheck.java
  134. +215 −0 examples/kodkod/examples/models/softwareAbstractions/chapter5/addressBookAddRun.java
  135. +274 −0 examples/kodkod/examples/models/softwareAbstractions/chapter5/sets2ClosedCheck.java
  136. +1,578 −0 examples/kodkod/examples/models/softwareAbstractions/chapter6/hotel4NoBadEntryCheck.java
  137. +536 −0 examples/kodkod/examples/models/softwareAbstractions/chapter6/mediaAssetsCutPasteCheck.java
  138. +439 −0 examples/kodkod/examples/models/softwareAbstractions/chapter6/mediaAssetsNoBadEntryCheck.java
  139. +535 −0 examples/kodkod/examples/models/softwareAbstractions/chapter6/mediaAssetsPasteCutCheck.java
  140. +469 −0 ...es/kodkod/examples/models/softwareAbstractions/chapter6/mediaAssetsPasteNotAffectHiddenCheck.java
  141. +253 −0 ...dkod/examples/models/softwareAbstractions/chapter6/memory/abstractMemoryWriteIdempotentCheck.java
  142. +254 −0 ...les/kodkod/examples/models/softwareAbstractions/chapter6/memory/abstractMemoryWriteReadCheck.java
  143. +333 −0 ...odkod/examples/models/softwareAbstractions/chapter6/memory/cacheMemoryLoadNotObservableCheck.java
  144. +537 −0 ...les/kodkod/examples/models/softwareAbstractions/chapter6/ringElection2AtLeastOneElectedCheck.java
  145. +516 −0 ...ples/kodkod/examples/models/softwareAbstractions/chapter6/ringElection2AtMostOneElectedCheck.java
  146. +698 −0 examples/kodkod/examples/models/softwareAbstractions/chapter6/ringElection2LooplessPathRun.java
  147. +437 −0 examples/kodkod/examples/models/softwareAbstractions/chapter6/ringElection2ShowRun.java
  148. +1,044 −0 examples/kodkod/examples/models/util/messaging/messagingOutOfOrderRun.java
  149. +562 −0 examples/kodkod/examples/models/util/messaging/messagingSomeStateRun.java
  150. +229 −0 examples/kodkod/examples/models/util/trace/traceTotalCheck.java
  151. +339 −0 examples/kodkod/examples/models/util/types/orderingCorrectCheck0.java
  152. +344 −0 examples/kodkod/examples/models/util/types/orderingCorrectCheck1.java
  153. +350 −0 examples/kodkod/examples/models/util/types/orderingCorrectCheck2.java
  154. +358 −0 examples/kodkod/examples/models/util/types/orderingCorrectCheck3.java
  155. +368 −0 examples/kodkod/examples/models/util/types/orderingCorrectCheck4.java
  156. +380 −0 examples/kodkod/examples/models/util/types/orderingCorrectCheck5.java
  157. +164 −0 examples/kodkod/examples/models/util/types/orderingRun1.java
  158. +170 −0 examples/kodkod/examples/models/util/types/orderingRun2.java
  159. +176 −0 examples/kodkod/examples/models/util/types/orderingRun3.java
  160. +184 −0 examples/kodkod/examples/models/util/types/orderingRun4.java
  161. +194 −0 examples/kodkod/examples/models/util/types/orderingRun5.java
  162. +21 −1 examples/kodkod/examples/tptp/ALG195.java
  163. +20 −0 examples/kodkod/examples/tptp/ALG195_1.java
  164. +20 −0 examples/kodkod/examples/tptp/ALG212.java
  165. +20 −0 examples/kodkod/examples/tptp/COM008.java
  166. +20 −0 examples/kodkod/examples/tptp/GEO091.java
  167. +20 −0 examples/kodkod/examples/tptp/GEO092.java
  168. +21 −1 examples/kodkod/examples/tptp/GEO158.java
  169. +20 −0 examples/kodkod/examples/tptp/GEO159.java
  170. +20 −0 examples/kodkod/examples/tptp/GRA013_026.java
  171. +20 −0 examples/kodkod/examples/tptp/LAT258.java
  172. +20 −0 examples/kodkod/examples/tptp/MED007.java
  173. +20 −0 examples/kodkod/examples/tptp/MED009.java
  174. +20 −0 examples/kodkod/examples/tptp/MGT066.java
  175. +20 −0 examples/kodkod/examples/tptp/NUM374.java
  176. +21 −0 examples/kodkod/examples/tptp/NUM378.java
  177. +20 −0 examples/kodkod/examples/tptp/SET943.java
  178. +20 −0 examples/kodkod/examples/tptp/SET948.java
  179. +20 −0 examples/kodkod/examples/tptp/SET967.java
  180. +20 −0 examples/kodkod/examples/tptp/TOP020.java
  181. +24 −0 kodkod.iml
  182. BIN lib/com.microsoft.z3.jar
  183. BIN lib/org.sat4j.core-2.3.1.jar
  184. BIN libglucose.so
  185. BIN liblingeling.so
  186. BIN libminisat.so
  187. BIN libminisatprover.so
  188. BIN libz3.dll
  189. BIN libz3.so
  190. BIN libz3java.dll
  191. BIN libz3java.so
  192. BIN minisat.dll
  193. +7 −0 out/production/kodkod/MANIFEST
  194. +16 −0 out/production/kodkod/kodkod/ast/operator/package.html
  195. +32 −0 out/production/kodkod/kodkod/ast/package.html
  196. +29 −0 out/production/kodkod/kodkod/ast/visitor/package.html
  197. +26 −0 out/production/kodkod/kodkod/engine/bool/package.html
  198. +26 −0 out/production/kodkod/kodkod/engine/config/package.html
  199. +29 −0 out/production/kodkod/kodkod/engine/fol2sat/package.html
  200. +38 −0 out/production/kodkod/kodkod/engine/package.html
  201. +25 −0 out/production/kodkod/kodkod/engine/satlab/package.html
  202. +21 −0 out/production/kodkod/kodkod/engine/ucore/package.html
  203. +26 −0 out/production/kodkod/kodkod/instance/package.html
  204. +18 −0 out/production/kodkod/kodkod/util/collections/package.html
  205. +20 −0 out/production/kodkod/kodkod/util/ints/package.html
  206. +20 −0 out/production/kodkod/kodkod/util/nodes/package.html
  207. BIN plingeling
  208. BIN screencast-ase.mp4
  209. +221 −110 src/kodkod/engine/Solver.java
  210. +1 −1 src/kodkod/engine/fol2sat/HigherOrderDeclException.java
  211. +507 −0 src/kodkod/engine/satlab/AssertionChecker.java
  212. +27 −11 src/kodkod/engine/satlab/SATFactory.java
  213. +503 −0 src/kodkod/engine/satlab/Z3Solver.java
  214. +769 −769 src/kodkod/util/nodes/PrettyPrinter.java
  215. +40 −0 src/kodkod/util/z3/ClosureCountFinder.java
  216. +39 −0 src/kodkod/util/z3/QuantifierEliminator.java
  217. +377 −0 src/kodkod/util/z3/UpperBoundFinder.java
  218. +29 −0 src/kodkod/util/z3/VariableDetector.java
  219. +1,457 −0 src/kodkod/util/z3/Z3EliminatedFormulaConverter.java
  220. +675 −0 src/kodkod/util/z3/Z3FormulaConverter.java
  221. +721 −0 src/kodkod/util/z3/Z3FormulaConverterWithBV.java
  222. +722 −0 src/kodkod/util/z3/Z3FormulaConverterWithInt.java
  223. +766 −0 test_script.out
72 changes: 67 additions & 5 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,21 +1,83 @@
.project
.classpath
#.project
#.classpath
*.class

# Mobile Tools for Java (J2ME)
.mtj.tmp/

# Package Files #
*.jar
*.war
*.ear

# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
hs_err_pid*
/bin/
/lib/
**/build/**
*~
.DS_Store
.DS_Store?
.lock-waf*
.lock-waf*

# User-specific stuff:
#.idea/**/workspace.xml
#.idea/**/tasks.xml
#.idea/dictionaries
.idea/workspace.xml

# Sensitive or high-churn files:
.idea/**/dataSources/
.idea/**/dataSources.ids
.idea/**/dataSources.xml
.idea/**/dataSources.local.xml
.idea/**/sqlDataSources.xml
.idea/**/dynamic.xml
.idea/**/uiDesigner.xml

# Gradle:
.idea/**/gradle.xml
#.idea/**/libraries

# CMake
cmake-build-debug/

# Mongo Explorer plugin:
.idea/**/mongoSettings.xml

## File-based project format:
*.iws

## Plugin-specific files:

# IntelliJ
/out/

# mpeltonen/sbt-idea plugin
.idea_modules/

# JIRA plugin
atlassian-ide-plugin.xml

# Cursive Clojure plugin
.idea/replstate.xml

# Ruby plugin and RubyMine
/.rakeTasks

# Crashlytics plugin (for Android Studio and IntelliJ)
com_crashlytics_export_strings.xml
crashlytics.properties
crashlytics-build.properties
fabric.properties

### Intellij Patch ###
# Comment Reason: https://github.com/joeblau/gitignore.io/issues/186#issuecomment-215987721

# *.iml
# modules.xml
# .idea/misc.xml
# *.ipr

# Sonarlint plugin
.idea/sonarlint

.directory
8 changes: 8 additions & 0 deletions .idea/artifacts/kodkod.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 8 additions & 0 deletions .idea/artifacts/kodkodToAIE.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 8 additions & 0 deletions .idea/artifacts/kodkodToAIE_UI.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/libraries/com_microsoft_z3.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 9 additions & 0 deletions .idea/libraries/org_sat4j_core_2_3_1.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 6 additions & 0 deletions .idea/misc.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 8 additions & 0 deletions .idea/modules.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 6 additions & 0 deletions .idea/vcs.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading