summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2021-07-25Update to newest haskell github actionAndreas Källberg
Also fix so the stack builds use the correct ghc versions
2021-07-25Update scripts to use `cabal v1-...` so they work on newer cabalAndreas Källberg
Fixes build failures like https://github.com/GrammaticalFramework/gf-core/runs/2949099280?check_suite_focus=true
2021-07-23IRC link pre-fills channel. Link to logs gives newest first.John J. Camilleri
2021-07-23Merge pull request #128 from GrammaticalFramework/windows-binaryJohn J. Camilleri
Fixes to building Windows binary
2021-07-23Change Python 3.8 to 3.9John J. Camilleri
2021-07-22Update path in main workflow for binariesJohn J. Camilleri
2021-07-22Try without rewriting envvarJohn J. Camilleri
2021-07-22Update pathJohn J. Camilleri
2021-07-22Try another pathJohn J. Camilleri
2021-07-22Narrow search, print env varJohn J. Camilleri
2021-07-22Find Java stuffJohn J. Camilleri
2021-07-22Add separate Windows binary CI action for easier testingJohn J. Camilleri
2021-07-22#gf IRC channel has moved to LiberaInari Listenmaa
2021-07-20Merge pull request #87 from anka-213/make-it-fastInari Listenmaa
Remove the `Either Int` from value2term
2021-07-15Merge pull request #126 from inariksit/developers-documentationInari Listenmaa
Update developers' documentation
2021-07-15General restructuring, various minor changesInari Listenmaa
2021-07-15Update C runtime instructionsInari Listenmaa
2021-07-15Remove instructions to create binariesInari Listenmaa
Those are in github actions
2021-07-15Update C runtime install instructionsInari Listenmaa
2021-07-15Split the Cabal instructions to another pageInari Listenmaa
and link from main instructions
2021-07-14install and upgrade stack1Regina
2021-07-14updated docs to reflect binaries generated via github actionsMeowyam
fix merge conflicts resolve merge conflict
2021-07-14add missing install.sh file for c runtimeMeowyam
2021-07-14Changes in Git instructionsInari Listenmaa
2021-07-14updated doc with instructions for C runtime for ubuntu and fedoraInari Listenmaa
2021-07-14Changes in Git instructionsInari Listenmaa
2021-07-14update doc for linux installationMeowyam
2021-07-14Update information about test suiteInari Listenmaa
Co-Authored-By: 1Regina <46968488+1Regina@users.noreply.github.com>
2021-07-14Update instructions about C runtimeInari Listenmaa
2021-07-12Clean up redundant case expressionsAndreas Källberg
2021-07-12Github actions: Fix build for stackAndreas Källberg
2021-07-12Remove last traces of the Either in value2termAndreas Källberg
2021-07-12Remove the `Either Int` from value2termAndreas Källberg
This prevents HUGE space leak and makes compiling a PGF a LOT faster For example, an application grammar moved from taking over 50GB of ram and taking 5 minutes (most of which is spent on garbage colelction) to taking 1.2 seconds and using 42mb of memory The price we pay is that the "variable #n is out of scope" error is now lazy and will happen when we try to evaluate the term instead of happening when the function returns and allowing the caller to chose how to handle the error. I don't think this should matter in practice, since it's very rare; at least Inari has never encountered it.
2021-07-08Fix bug introduced in cdbe73eb475cf44e1a45b2abacb12756e394016aJohn J. Camilleri
Apparently I don't understand how pattern-matching works in Haskell
2021-07-08Remove two missing-methods warningsJohn J. Camilleri
2021-07-08Merge pull request #124 from GrammaticalFramework/cabal-cleanupJohn J. Camilleri
More cabal file cleanup
2021-07-07More cabal file cleanup. Remove some more tabs from Haskell source.John J. Camilleri
2021-07-07Replace tabs for whitespace in source codeJohn J. Camilleri
2021-07-07Make whitespace uniform in Cabal files, add a few more dependency boundsJohn J. Camilleri
2021-07-06Update 3.11 release notesJohn J. Camilleri
2021-07-06Add import from command line invocation to command historyJohn J. Camilleri
Closes #64
2021-07-06Add note in PGF2 documentation about risk for integer overflow.John J. Camilleri
Closes #109
2021-07-06Merge pull request #122 from 2jacobtan/masterJohn J. Camilleri
specify version bounds in *.cabal files
2021-07-06Some more cabal file cleanup. Add stack files for pgf, pgf2.John J. Camilleri
2021-07-06Merge pull request #119 from GrammaticalFramework/concrete-newInari Listenmaa
Clean up Compute.ConcreteNew and TypeCheck.RConcrete
2021-07-06Merge branch 'master' into concrete-newInari Listenmaa
2021-07-06Merge pull request #121 from Meowyam/issue97Inari Listenmaa
resolves GrammaticalFramework/gf-core/#97
2021-07-06remove redundant optionsMeowyam
2021-07-06Merge pull request #118 from GrammaticalFramework/canonicalInari Listenmaa
Fixes to canonical compilation
2021-07-06resolves GrammaticalFramework/gf-core/#97, without lMeowyam
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 08:08:08 +0000