Wiki content updated, moved to main repo, publishing GH Action added (#605)

Author: olganaumenko

.github/workflows/docs-to-wiki.yml

@@ -0,0 +1,21 @@
+name: Publish wiki
+on:
+  workflow_dispatch:
+    branches: [main]
+    paths:
+      - wiki
+      - .github/workflows/publish-wiki.yml
+concurrency:
+  group: publish-wiki
+  cancel-in-progress: true
+permissions:
+  contents: write
+jobs:
+  publish-wiki:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: impresscms-dev/strip-markdown-extensions-from-links-action@v1.0.0
+        with:
+          path: wiki
+      - uses: Andrew-Chen-Wang/github-wiki-action@v4

wiki/Home.md

@@ -0,0 +1,36 @@
+# Welcome to UnitTestBot C/C++ Wiki!
+
+Generate ready-to-use test cases for your C/C++ code and feel free to contribute.
+
+## What is UnitTestBot C/C++
+
+UnitTestBot C/C++ is a user-friendly wrapper over the enhanced [KLEE](http://klee.github.io/) symbolic execution engine.
+
+The KLEE engine is built on top of the LLVM compiler infrastructure and can automatically generate inputs for C code
+unit testing. While it is a well-developed and maintained tool, it requires environment preparation, preprocessing,
+and afterwork.
+
+UnitTestBot C/C++ automates all these stages and provides users with a step-by-step wizard UI. It generates
+ready-to-use C++ test cases in [Google Test](http://google.github.io/googletest/) format — with inputs, method
+bodies, and auto-generated stubs.
+
+## Client-server architecture
+
+The KLEE engine requires using a specific toolchain: exact LLVM and GCC versions,
+and a particular solver. The other version of the necessary utility may be installed on a user
+machine — it may cause a version conflict: one cannot use different LLVM or compiler versions in a one-machine configuration.
+
+We implemented UnitTestBot C/C++ based on a client-server model: it is a separate server where UnitTestBot C/C++
+deploys the necessary _toolchain_ and performs the _resource-consuming operations_, and the client is an IDE plugin.
+
+## Building your project
+
+If you cannot build your own project, you will not be able to generate tests using UnitTestBot C/C++.
+
+## Supported language features
+
+Though KLEE is a mature project, it still supports not all the C language constructs. For UnitTestBot C/C++, we
+implemented several KLEE patches to support _floating point_ types, _input/output_ operations, and _inline
+assemblies_.
+
+UnitTestBot C/C++ still has limited support for C++ features. Check supported [C](c-syntax) and [C++](cpp-syntax) syntax.

wiki/_Sidebar.md

@@ -0,0 +1,66 @@
+# User guide
+
+## [System requirements](system-requirements)
+
+## [UnitTestBot server](install-server)
+
+* [**Linux**](linux)
+   * [Local installation](install-server-on-ubuntu)
+   * [Remote installation via Docker](linux-remote)
+* [**Windows**](windows)
+   * [Local installation via WSL](windows-local)
+   * [Remote installation via Docker](windows-remote)
+* [**macOS**](macos)
+
+## [UnitTestBot client](install_client)
+
+### [Visual Studio Code plugin](vscode-overall)
+
+* [Install and configure the plugin](vscode-install-and-configure)
+* [Generate tests with default configuration](vscode-generate-tests)
+* [Fine-tune test generation](vscode-fine-tune)
+* [Get use of test results](vscode-get-use-of-results)
+
+### [CLion plugin](clion-overall)
+
+* [Install and configure the plugin](clion-install-and-configure)
+* [Generate tests with default configuration](clion-generate-tests)
+* [Fine-tune test generation](clion-fine-tune)
+* [Get use of test results](clion-get-use-of-results)
+
+## [GitHub Action](GitHub-action)
+
+## Supported syntax
+
+* [C](c-syntax)
+* [C++](cpp-syntax)
+
+# Contributor guides
+
+## Developer guides
+
+* [To do](todo)
+* [Create a release](create-release)
+* [Testing release in Docker](testing-release-utbotcpp-in-docker)
+* [Label usage guideline](Labels-usage-guidelines)
+* [Troubleshooting](troubleshooting)
+
+## Advanced
+
+* [How UTBot Works](utbot-inside)
+* [How types are fetched and stored](types-fetching)
+* [Makefiles](makefiles)
+* [Symbolic Stdin](symbolic-stdin)
+* [UTBot Logging Principles](utbot-logging)
+* [Targets](targets)
+* [Compile database](compile-database)
+* [Coverage](coverage)
+* [Generating and running test](generating-and-running-tests)
+* [Incrementality](incrementality)
+* [Linking bitcode](linking-bitcode)
+* [Preparing source for klee](preparing-sources-for-klee)
+* [Stubs inside](stubs-inside)
+* [KLEE patches](klee-patches)
+* [Lazy initialization](LI)
+* [Symcretes](Symcretes)
+* [Objects of symbolic size](Symsizes)