Home

Welcome to the seec wiki!

User guides

• Compiling and executing programs with SeeC.
• Viewing execution traces.
• Using SeeC on Windows.

Developer information

• How to build SeeC.
• State of error checking and recording C standard library functions.
• State of error checking and recording POSIX functions.
• SeeC's CDash.
• Updating to a new version of LLVM and Clang.

Status

• SeeC-Clang: Travis CI Appveyor
• SeeC (master): Travis CI Appveyor
• SeeC (development): Travis CI Appveyor