Commits · master · Justin Andresen / haskell-to-coq-compiler · GitLab

Mar 29, 2020
- Add link to GitHub repository to README · f6777db8
  Justin Andresen authored Mar 29, 2020
  
  f6777db8
Jan 27, 2020
- Merge branch 'github' · 240cea28
  Justin Andresen authored Jan 27, 2020
  
  240cea28
- Update dependencies · 7a623a7f
  Justin Andresen authored Jan 27, 2020
  
  7a623a7f
- Move `language-coq` and `haskell-src-transformations` to `FreeProving` · a467425e
  Justin Andresen authored Jan 27, 2020
  
  a467425e
Jan 23, 2020
- Use hash of `cabal.project` and `haskellToCoqCompiler.cabal` in GitHub actions cache #22 · 6376e0ef
  Justin Andresen authored Jan 22, 2020
  
  6376e0ef
- Run `cabal new-build` on cache hit, too #22 · b43b3c1c
  Justin Andresen authored Jan 22, 2020
  
  b43b3c1c
- Use ref slug for documentation deploy folder name #22 · e21401c3
  Justin Andresen authored Jan 22, 2020
  
  e21401c3
- Add GitHub action for deploying Haddock documentation to GitHub pages #22 · 98818a68
  Justin Andresen authored Jan 22, 2020
  
  98818a68
- Format GitHub actions workflow file #22 · 49b1726c
  Justin Andresen authored Jan 22, 2020
  
  49b1726c
- Fix `test-generated-code` GitHub action #22 · b992fee2
  Justin Andresen authored Jan 20, 2020
  
  b992fee2
- Fix `test-examples` job of the GitHub actions workflow #22 · ce7b55f0
  Justin Andresen authored Jan 20, 2020
  
  ce7b55f0
- Mark compiler artifact as executable in GitHub actions #22 · 0f37743c
  Justin Andresen authored Jan 20, 2020
  
  0f37743c
- Fix GitHub action for testing the examples #22 · 43bcac1f
  Justin Andresen authored Jan 20, 2020
  
  43bcac1f
- Configure cache for Cabal GitHub actions #22 · 6fa7652b
  Justin Andresen authored Jan 20, 2020
  
  6fa7652b
- Add GitHub action to test the compiler with the included examples #22 · 6af1669a
  Justin Andresen authored Jan 20, 2020
  
  6af1669a
- Fix file permissions in GitHub actions job for building the Coq base library #22 · 85cc3654
  Justin Andresen authored Jan 20, 2020
  
  85cc3654
- Setup Coq before compilation of base library in GitHub action #22 · 6e7cd095
  Justin Andresen authored Jan 20, 2020
  
  6e7cd095
- Add GitHub action to build the Coq base library #22 · 0d13f2fc
  Justin Andresen authored Jan 20, 2020
  
  0d13f2fc
- Add GitHub action for building the Haddock documentation #22 · a9e7b6b5
  Justin Andresen authored Jan 20, 2020
  
  a9e7b6b5
- Fix `build-compiler` GitHub action #22 · 4fe9fe11
  Justin Andresen authored Jan 20, 2020
  
  4fe9fe11
- Add GitHub action for building the compiler #22 · 51144800
  Justin Andresen authored Jan 17, 2020
  
  51144800
- Add GitHub action for unit tests #22 · 9c450b6b
  Justin Andresen authored Jan 17, 2020
  
  9c450b6b
Jan 14, 2020
- Add hint for decreasing argument pragma to error message #21 · dd127542
  Justin Andresen authored Jan 14, 2020
  
  dd127542
- Add documentation for decreasing argument pragma #21 · 4878414c
  Justin Andresen authored Jan 14, 2020
  
  4878414c
Jan 13, 2020
- Add missing comments #21 · 2fa36c82
  Justin Andresen authored Jan 13, 2020
  
  2fa36c82
- Make it easier to add custom pragmas in the future #21 · 9144b50c
  Justin Andresen authored Jan 13, 2020
  9144b50c
- Add test for decreasing argument pragmas #21 · 1471313e
  Justin Andresen authored Jan 13, 2020
  
  1471313e
- Skip termination analysis if there is a decreasing argument pragma #21 · c3aab4a5
  Justin Andresen authored Jan 13, 2020
  
  c3aab4a5
- Add annotated decreasing arguments to environment #21 · 7a3c9f3e
  Justin Andresen authored Jan 13, 2020
  
  7a3c9f3e
- Add custom pragma for decreasing arguments #21 · 33099bd0
  Justin Andresen authored Jan 13, 2020
  
  33099bd0
Dec 17, 2019
- Run deploy CI job on protected branches and tags only · 78eb1a33
  Justin Andresen authored Dec 17, 2019
  
  78eb1a33
- Merge branch 'docs' · 83618d22
  Justin Andresen authored Dec 17, 2019
  
  83618d22
Dec 16, 2019
- Add link to module interface documentation to README #14 · bccc00fd
  Justin Andresen authored Dec 16, 2019
  
  bccc00fd
Dec 15, 2019
- Skip import specifications #12 · b961d500
  Justin Andresen authored Dec 15, 2019
  
  b961d500
- Skip deriving clauses and type contexts #12 · 271703ba
  Justin Andresen authored Dec 15, 2019
  
  271703ba
- Document configuration file format #14 · 6abcf578
  Justin Andresen authored Dec 15, 2019
  
  6abcf578
Dec 12, 2019
- Document `exported-types` and `exported-values` of module interfaces #14 · 78e5bb0e
  Justin Andresen authored Dec 12, 2019
  
  78e5bb0e
- Fix bullet points in Haddock documentation of `Compiler.Environment.Decoder` #14 · b7e3d782
  Justin Andresen authored Dec 12, 2019
  
  b7e3d782
Dec 11, 2019
- Don't allow scoped type variables #15 · a18ae260
  Justin Andresen authored Dec 11, 2019
  a18ae260
- Annotate return type before inlining #15 · ec9047a7
  Justin Andresen authored Dec 11, 2019
  ec9047a7