update layout to fit with pyproject.toml format

ucsb-seclab · Jan 12, 2024 · 9b287f5 · 9b287f5
1 parent c8287d7
commit 9b287f5
Show file tree

Hide file tree

Showing 50 changed files with 24 additions and 0 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -0,0 +1,24 @@
+[build-system]
+requires = ["setuptools >= 61.0"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "greed"
+readme = "README.md"
+license = {file = "LICENSE"}
+version = "0.1.0"
+dependencies = [
+    'ipython>=7.16.3',
+    'networkx>=2.5.1',
+    'pytest==7.2.1',
+    'solc-select>=0.2.1',
+    'sympy>=1.9',
+    'web3>=5.31.1',
+    'aiohttp!=4.0.0a1,!=4.0.0a0',
+    'alive-progress',
+    'mkdocs',
+    'mkdocs-click',
+    'pymdown-extensions',
+    'lazydocs',
+]
+requires-python = ">=3.8"
diff --git a/greed/TAC/TAC_parser.py → src/greed/TAC/TAC_parser.py b/greed/TAC/TAC_parser.py → src/greed/TAC/TAC_parser.py
diff --git a/greed/TAC/__init__.py → src/greed/TAC/__init__.py b/greed/TAC/__init__.py → src/greed/TAC/__init__.py
diff --git a/greed/TAC/base.py → src/greed/TAC/base.py b/greed/TAC/base.py → src/greed/TAC/base.py
diff --git a/greed/TAC/flow_ops.py → src/greed/TAC/flow_ops.py b/greed/TAC/flow_ops.py → src/greed/TAC/flow_ops.py
diff --git a/greed/TAC/gigahorse_ops.py → src/greed/TAC/gigahorse_ops.py b/greed/TAC/gigahorse_ops.py → src/greed/TAC/gigahorse_ops.py
diff --git a/greed/TAC/log_ops.py → src/greed/TAC/log_ops.py b/greed/TAC/log_ops.py → src/greed/TAC/log_ops.py
diff --git a/greed/TAC/math_ops.py → src/greed/TAC/math_ops.py b/greed/TAC/math_ops.py → src/greed/TAC/math_ops.py
diff --git a/greed/TAC/mem_ops.py → src/greed/TAC/mem_ops.py b/greed/TAC/mem_ops.py → src/greed/TAC/mem_ops.py
diff --git a/greed/TAC/special_ops.py → src/greed/TAC/special_ops.py b/greed/TAC/special_ops.py → src/greed/TAC/special_ops.py
diff --git a/greed/__init__.py → src/greed/__init__.py b/greed/__init__.py → src/greed/__init__.py
diff --git a/greed/analyses/__init__.py → src/greed/analyses/__init__.py b/greed/analyses/__init__.py → src/greed/analyses/__init__.py
diff --git a/greed/analyses/access_control_slots.py → src/greed/analyses/access_control_slots.py b/greed/analyses/access_control_slots.py → src/greed/analyses/access_control_slots.py
diff --git a/greed/analyses/slicing.py → src/greed/analyses/slicing.py b/greed/analyses/slicing.py → src/greed/analyses/slicing.py
diff --git a/greed/block.py → src/greed/block.py b/greed/block.py → src/greed/block.py
diff --git a/greed/cfg.py → src/greed/cfg.py b/greed/cfg.py → src/greed/cfg.py
diff --git a/greed/exploration_techniques/__init__.py → src/greed/exploration_techniques/__init__.py b/greed/exploration_techniques/__init__.py → src/greed/exploration_techniques/__init__.py
diff --git a/greed/exploration_techniques/dfs.py → src/greed/exploration_techniques/dfs.py b/greed/exploration_techniques/dfs.py → src/greed/exploration_techniques/dfs.py
diff --git a/...exploration_techniques/directed_search.py → ...exploration_techniques/directed_search.py b/...exploration_techniques/directed_search.py → ...exploration_techniques/directed_search.py
diff --git a/...ation_techniques/exploration_technique.py → ...ation_techniques/exploration_technique.py b/...ation_techniques/exploration_technique.py → ...ation_techniques/exploration_technique.py
diff --git a/greed/exploration_techniques/heartbeat.py → ...greed/exploration_techniques/heartbeat.py b/greed/exploration_techniques/heartbeat.py → ...greed/exploration_techniques/heartbeat.py
diff --git a/greed/exploration_techniques/other.py → src/greed/exploration_techniques/other.py b/greed/exploration_techniques/other.py → src/greed/exploration_techniques/other.py
diff --git a/greed/exploration_techniques/prioritizer.py → ...eed/exploration_techniques/prioritizer.py b/greed/exploration_techniques/prioritizer.py → ...eed/exploration_techniques/prioritizer.py
diff --git a/greed/exploration_techniques/simgrviz.py → src/greed/exploration_techniques/simgrviz.py b/greed/exploration_techniques/simgrviz.py → src/greed/exploration_techniques/simgrviz.py
diff --git a/greed/factory.py → src/greed/factory.py b/greed/factory.py → src/greed/factory.py
diff --git a/greed/function.py → src/greed/function.py b/greed/function.py → src/greed/function.py
diff --git a/greed/memory/__init__.py → src/greed/memory/__init__.py b/greed/memory/__init__.py → src/greed/memory/__init__.py
diff --git a/greed/memory/lambda_constraint.py → src/greed/memory/lambda_constraint.py b/greed/memory/lambda_constraint.py → src/greed/memory/lambda_constraint.py
diff --git a/greed/memory/lambda_memory.py → src/greed/memory/lambda_memory.py b/greed/memory/lambda_memory.py → src/greed/memory/lambda_memory.py
diff --git a/greed/memory/partial_concrete_storage.py → src/greed/memory/partial_concrete_storage.py b/greed/memory/partial_concrete_storage.py → src/greed/memory/partial_concrete_storage.py
diff --git a/greed/options.py → src/greed/options.py b/greed/options.py → src/greed/options.py
diff --git a/greed/project.py → src/greed/project.py b/greed/project.py → src/greed/project.py
diff --git a/greed/sha3.py → src/greed/sha3.py b/greed/sha3.py → src/greed/sha3.py
diff --git a/greed/sim_manager.py → src/greed/sim_manager.py b/greed/sim_manager.py → src/greed/sim_manager.py
diff --git a/greed/solver/__init__.py → src/greed/solver/__init__.py b/greed/solver/__init__.py → src/greed/solver/__init__.py
diff --git a/greed/solver/shortcuts.py → src/greed/solver/shortcuts.py b/greed/solver/shortcuts.py → src/greed/solver/shortcuts.py
diff --git a/greed/solver/solver.py → src/greed/solver/solver.py b/greed/solver/solver.py → src/greed/solver/solver.py
diff --git a/greed/solver/yices2.py → src/greed/solver/yices2.py b/greed/solver/yices2.py → src/greed/solver/yices2.py
diff --git a/greed/state.py → src/greed/state.py b/greed/state.py → src/greed/state.py
diff --git a/greed/state_plugins/__init__.py → src/greed/state_plugins/__init__.py b/greed/state_plugins/__init__.py → src/greed/state_plugins/__init__.py
diff --git a/greed/state_plugins/globals.py → src/greed/state_plugins/globals.py b/greed/state_plugins/globals.py → src/greed/state_plugins/globals.py
diff --git a/greed/state_plugins/inspect.py → src/greed/state_plugins/inspect.py b/greed/state_plugins/inspect.py → src/greed/state_plugins/inspect.py
diff --git a/greed/state_plugins/plugin.py → src/greed/state_plugins/plugin.py b/greed/state_plugins/plugin.py → src/greed/state_plugins/plugin.py
diff --git a/greed/state_plugins/sha_resolver.py → src/greed/state_plugins/sha_resolver.py b/greed/state_plugins/sha_resolver.py → src/greed/state_plugins/sha_resolver.py
diff --git a/greed/state_plugins/solver.py → src/greed/state_plugins/solver.py b/greed/state_plugins/solver.py → src/greed/state_plugins/solver.py
diff --git a/greed/utils/__init__.py → src/greed/utils/__init__.py b/greed/utils/__init__.py → src/greed/utils/__init__.py
diff --git a/greed/utils/encoding.py → src/greed/utils/encoding.py b/greed/utils/encoding.py → src/greed/utils/encoding.py
diff --git a/greed/utils/exceptions.py → src/greed/utils/exceptions.py b/greed/utils/exceptions.py → src/greed/utils/exceptions.py
diff --git a/greed/utils/extra.py → src/greed/utils/extra.py b/greed/utils/extra.py → src/greed/utils/extra.py
diff --git a/greed/utils/files.py → src/greed/utils/files.py b/greed/utils/files.py → src/greed/utils/files.py