Google Git
Sign in
fuchsia/third_party/github.com/llvm/llvm-test-suite/refs/heads/main/./MultiSource/Applications/SPASS
tree: d48a3f526250b6d08b1cffee8eb40e896c426087 [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. memory.c
  49. memory.h
  50. misc.c
  51. misc.h
  52. options.c
  53. options.h
  54. order.c
  55. order.h
  56. partition.c
  57. partition.h
  58. problem.dfg
  59. proofcheck.c
  60. proofcheck.h
  61. ras.h
  62. README
  63. renaming.c
  64. renaming.h
  65. resolution.c
  66. resolution.h
  67. rpos.c
  68. rpos.h
  69. rules-inf.c
  70. rules-inf.h
  71. rules-red.c
  72. rules-red.h
  73. rules-sort.c
  74. rules-sort.h
  75. rules-split.c
  76. rules-split.h
  77. rules-ur.c
  78. rules-ur.h
  79. search.c
  80. search.h
  81. sharing.c
  82. sharing.h
  83. small_problem.dfg
  84. sort.c
  85. sort.h
  86. SPASS.reference_output
  87. SPASS.reference_output.small
  88. st.c
  89. st.h
  90. stack.c
  91. stack.h
  92. strings.c
  93. stringsx.h
  94. subst.c
  95. subst.h
  96. subsumption.c
  97. subsumption.h
  98. symbol.c
  99. symbol.h
  100. table.c
  101. table.h
  102. tableau.c
  103. tableau.h
  104. term.c
  105. term.h
  106. terminator.c
  107. terminator.h
  108. top.c
  109. unify.c
  110. unify.h
  111. vector.c
  112. vector.h
  113. VERSIONHISTORY