Google Git
Sign in
fuchsia / third_party / llvm-test-suite / refs/tags/llvmorg-12.0.1 / . / MultiSource / Applications / SPASS
tree: 548d4503c610b2228fc36e279225fd245a655daa [path history] [tgz]
  1. AUTHORS
  2. CMakeLists.txt
  3. COPYING
  4. LICENSE.TXT
  5. Makefile
  6. README
  7. SPASS.reference_output
  8. SPASS.reference_output.small
  9. VERSIONHISTORY
  10. analyze.c
  11. analyze.h
  12. approx.h
  13. clause.c
  14. clause.h
  15. clock.c
  16. clock.h
  17. closure.c
  18. closure.h
  19. cnf.c
  20. cnf.h
  21. component.c
  22. component.h
  23. condensing.c
  24. condensing.h
  25. context.c
  26. context.h
  27. defs.c
  28. defs.h
  29. dfg.h
  30. dfgparser.c
  31. dfgparser.h
  32. dfgscanner.c
  33. doc-proof.c
  34. doc-proof.h
  35. flags.c
  36. flags.h
  37. foldfg.c
  38. foldfg.h
  39. graph.c
  40. graph.h
  41. hash.c
  42. hash.h
  43. hasharray.c
  44. hasharray.h
  45. ia.h
  46. iaparser.c
  47. iaparser.h
  48. iascanner.c
  49. kbo.c
  50. kbo.h
  51. list.c
  52. list.h
  53. memory.c
  54. memory.h
  55. misc.c
  56. misc.h
  57. options.c
  58. options.h
  59. order.c
  60. order.h
  61. partition.c
  62. partition.h
  63. problem.dfg
  64. proofcheck.c
  65. proofcheck.h
  66. ras.h
  67. renaming.c
  68. renaming.h
  69. resolution.c
  70. resolution.h
  71. rpos.c
  72. rpos.h
  73. rules-inf.c
  74. rules-inf.h
  75. rules-red.c
  76. rules-red.h
  77. rules-sort.c
  78. rules-sort.h
  79. rules-split.c
  80. rules-split.h
  81. rules-ur.c
  82. rules-ur.h
  83. search.c
  84. search.h
  85. sharing.c
  86. sharing.h
  87. small_problem.dfg
  88. sort.c
  89. sort.h
  90. st.c
  91. st.h
  92. stack.c
  93. stack.h
  94. strings.c
  95. stringsx.h
  96. subst.c
  97. subst.h
  98. subsumption.c
  99. subsumption.h
  100. symbol.c
  101. symbol.h
  102. table.c
  103. table.h
  104. tableau.c
  105. tableau.h
  106. term.c
  107. term.h
  108. terminator.c
  109. terminator.h
  110. top.c
  111. unify.c
  112. unify.h
  113. vector.c
  114. vector.h