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