Commit e3f4e84
committed
Merge branch 'dev-reorg'. Close #248.
Re-structure repo so all libraries are separate top-level directories.
This branch reorganizes the repo so the libraries that compose the
project are clearly visible at the top level. The README, the
cabal.project, and the .travis.yml file are all updated to match the new
repo structure.File tree
156 files changed
+201
-195
lines changed- copilot-c99
- src/Copilot/Compile
- C99
- Compile
- Settings
- copilot-core
- src/Copilot
- Core
- Interpret
- Type
- copilot-language
- src
- Copilot
- Language
- Operators
- System/Mem/StableName
- copilot-libraries
- src/Copilot/Library
- copilot-theorem
- doc
- examples
- src/Copilot
- Theorem
- IL
- Kind2
- Misc
- Prover
- TransSys
- copilot
- examples
- what4
- src/Language
- Copilot
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
156 files changed
+201
-195
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
21 | 21 | | |
22 | 22 | | |
23 | 23 | | |
24 | | - | |
| 24 | + | |
This file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
3 | | - | |
| 2 | + | |
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
0 commit comments