|
Failed to load latest commit information. |
|
doc
|
Document C.hs in Literate Haskell style.
|
Jul 4, 2016
|
|
|
scripts
|
corrode-cc: Link against system libs Rust needs.
|
Nov 22, 2016
|
|
|
src/Language
|
Unify/document handling possibly-incomplete types.
|
Apr 12, 2017
|
|
|
tests
|
Only declare `_currentBlock` when needed.
|
Apr 5, 2017
|
|
|
.gitignore
|
Set repr(C) attribute on translated structs (#33)
|
Jul 12, 2016
|
|
|
.travis.yml
|
Run QuickCheck tests on Travis-CI.
|
Apr 5, 2017
|
|
|
CONTRIBUTING.md
|
Add a first cut at contributor guidelines.
|
Jul 28, 2016
|
|
|
Dockerfile
|
Docker: add corrode to PATH
|
Feb 15, 2017
|
|
|
LICENSE
|
First (total hack!) cut at C -> Rust translator.
|
May 5, 2016
|
|
|
Main.lhs
|
Use ExceptT for consistent error handling.
|
Jul 11, 2016
|
|
|
Main.md
|
Allow specifying symbol-to-module mappings.
|
Apr 12, 2017
|
|
|
Makefile
|
Document the control-flow graph (CFG) module.
|
Nov 15, 2016
|
|
|
README.md
|
Fix header level, make markup consistent
|
Mar 4, 2017
|
|
|
Setup.hs
|
First (total hack!) cut at C -> Rust translator.
|
May 5, 2016
|
|
|
corrode.cabal
|
Allow specifying symbol-to-module mappings.
|
Apr 12, 2017
|
|
|
fixGitSymlinksForWindows.bat
|
Add symlink fix to build for windows
|
Jul 24, 2016
|
|
|
stack.yaml
|
update stack.yaml to new lts resolver
|
Mar 31, 2017
|