- 14 Oct, 2017 1 commit
-
-
Mike Gabriel authored
-
- 21 Jun, 2017 1 commit
-
-
Finn Teegen authored
-
- 03 Feb, 2017 2 commits
-
-
Jan Rasmus Tikovsky authored
-
Jan Rasmus Tikovsky authored
-
- 02 Feb, 2017 1 commit
-
-
Kirchmayr authored
-
- 01 Feb, 2017 1 commit
-
-
Kirchmayr authored
-
- 13 Jan, 2017 1 commit
-
-
Finn Teegen authored
-
- 06 Jan, 2017 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 22 Dec, 2016 1 commit
-
-
Michael Hanus authored
-
- 21 Dec, 2016 8 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
curry-frontend.cabal: Post-release version fix in .cabal file. Unfortunately, there were more locations in curry-frontend.cabal that needed to be bump to 0.4.2 prior to tagging this repo with v0.4.2. Before 0.4.3 release similar changes need to be applied to curry-frontend.cabal. (Basically a sed -e 's/== 0.4.2/== 0.4.3/g' -i curry-frontend.cabal). See merge request !3
-
Mike Gabriel authored
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
-
Michael Hanus authored
file headers: Replace non-license name OtherLicense by the license name of what … …is found in the LICENSE file. Please merge this proposed changes and release 0.4.2 of curry-frontend. Similar to what we did for curry-base prior to the official Debian upload. Greets, Mike See merge request !2
-
Mike Gabriel authored
file headers: Replace non-license name OtherLicense by the license name of what is found in the LICENSE file.
-
- 10 Oct, 2016 1 commit
-
-
Michael Hanus authored
-
- 29 Aug, 2016 1 commit
-
-
Björn Peemöller authored
-
- 08 Aug, 2016 3 commits
-
-
Jan Rasmus Tikovsky authored
Conflicts: src/CompilerEnv.hs
-
Jan Rasmus Tikovsky authored
-
Jan Rasmus Tikovsky authored
-
- 04 Aug, 2016 2 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
-
- 03 Aug, 2016 4 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
- 29 Jul, 2016 4 commits
-
-
Jan Rasmus Tikovsky authored
-
Jan Rasmus Tikovsky authored
Conflicts: test/TestFrontend.hs
-
Jan Rasmus Tikovsky authored
-
Jan Rasmus Tikovsky authored
-
- 28 Jul, 2016 3 commits
- 25 Jul, 2016 1 commit
-
-
Jan Rasmus Tikovsky authored
-
- 22 Jul, 2016 1 commit
-
-
Michael Hanus authored
unused-bindings remove from standard warnings since it causes unintended warnings for properties and contracts
-
- 11 Jul, 2016 1 commit
-
-
Katharina Rahf authored
-
- 28 Jun, 2016 1 commit
-
-
Kirchmayr authored
Improved reporting of double variable patterns in lambda expressions and fixed reporting of anonymous variables
-