msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

Commit Graph

  • 3ee4f6ce9c added MonadFix and fix how return is defined majestic Krasimir Angelov 2025-11-13 10:58:16 +01:00
  • b480ead393 pretty printing for VPatt Krasimir Angelov 2025-10-14 08:43:29 +02:00
  • 72028c7ae7 merge Krasimir Angelov 2025-09-17 10:17:37 +02:00
  • ec4625bc88 temporarily disabling building the c runtime try-to-build-python-module-for-win Herbert Lange 2025-08-25 15:59:26 +02:00
  • 1166a49c26 disable pypi publication for now Herbert Lange 2025-08-25 15:56:42 +02:00
  • 64803cdd57 rename windows workflow Herbert Lange 2025-08-25 15:55:36 +02:00
  • de1575cd31 disable linux build on windows Herbert Lange 2025-08-25 15:54:50 +02:00
  • 32d73278af enable workflow for test branch Herbert Lange 2025-08-25 15:51:29 +02:00
  • 837e691643 copy mac build instructions to see if they also work for windows Herbert Lange 2025-08-25 15:48:11 +02:00
  • 0f4d13dd20 add direct link to Python API master Inari Listenmaa 2025-08-22 10:37:54 +02:00
  • 278397db20 rename RGL Synopsis to RGL API Inari Listenmaa 2025-08-22 09:19:09 +02:00
  • 547bd88240 Expose all modules in the gf compiler, for use by the lsp-server gf-lsp-expose-all Andreas Källberg 2025-08-17 20:05:48 +02:00
  • f31a3496f5 Lower ghc bounds for higher unix dep version Andreas Källberg 2025-08-18 21:36:18 +02:00
  • b753912689 fix redirect? Inari Listenmaa 2025-08-18 13:51:49 +02:00
  • 000fab7b52 fix github link to release 3.12 Inari Listenmaa 2025-08-18 13:48:05 +02:00
  • fa2826d29a Merge pull request #196 from GrammaticalFramework/fix-code-generation build-python-win Inari Listenmaa 2025-08-13 14:02:53 +02:00
  • 9325c8f9fb add import Control.Monad when generating .hs with GADTs Inari Listenmaa 2025-08-13 13:38:23 +02:00
  • 57dc5e9098 update developers' guide Inari Listenmaa 2025-08-11 09:36:27 +02:00
  • b42b0caa34 add command to install GF with -cshell (commented out) Inari Listenmaa 2025-08-11 09:36:04 +02:00
  • 3ecb75d7d8 remove accidental file release-3.12 Arianna Masciolini 2025-08-08 20:57:13 +02:00
  • 2b876b1aac even more specific Mac install instruction Arianna Masciolini 2025-08-08 20:51:48 +02:00
  • 5935119050 more specific instructions for different macs Arianna Masciolini 2025-08-08 20:37:35 +02:00
  • 489424a1c6 add 9.6.7 in tested-with Inari Listenmaa 2025-08-08 20:31:46 +02:00
  • 9c72994c2b Add upper bounds to base, unix and template-haskell Andreas Källberg 2025-08-08 20:11:57 +02:00
  • 17ebcac84f Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core release3.12-rc-3 Arianna Masciolini 2025-08-08 20:15:46 +02:00
  • 7d018dde62 do not upload release assets Arianna Masciolini 2025-08-08 20:15:37 +02:00
  • 4dba12c0ce Add a nix flake for building with nix (#185) Andreas Källberg 2025-08-08 20:02:17 +02:00
  • 5ca230dd2a remove info about specific versions of macOS for which binaries work Arianna Masciolini 2025-08-08 19:55:33 +02:00
  • 242cdcfa22 Update installation instructions (#195) release3.12-rc-2 Arianna Masciolini 2025-08-08 19:44:48 +02:00
  • dd4c58e902 Merge master into tp_nix_flake tp_nix_flake Andreas Källberg 2025-08-08 19:43:23 +02:00
  • 052916b454 try server mode on windows (#194) Arianna Masciolini 2025-08-08 19:33:02 +02:00
  • d07646e753 Merge pull request #192 from GrammaticalFramework/build-timestamp Inari Listenmaa 2025-08-08 19:32:52 +02:00
  • 3b69a28dbd Delete src/runtime/python/pgf.egg-info directory Inari Listenmaa 2025-08-08 19:29:44 +02:00
  • aa004246d2 Merge pull request #190 from GrammaticalFramework/pgf-1.1 Inari Listenmaa 2025-08-08 19:14:01 +02:00
  • 7c6f53d003 add macos-13 to build for intel mac Inari Listenmaa 2025-08-08 14:06:59 +02:00
  • a6d5d9a50c Merge pull request #193 from GrammaticalFramework/release3.12 Arianna Masciolini 2025-08-08 18:34:26 +02:00
  • 7792c3cc90 update debian changelog Arianna Masciolini 2025-08-08 18:31:45 +02:00
  • a7d73a6861 link to changelog from CHANGELOG.md Arianna Masciolini 2025-08-08 18:31:33 +02:00
  • 646cfbea0c update cabal version number for 3.12 release Arianna Masciolini 2025-08-08 18:31:17 +02:00
  • 7ddb61eb48 update 3.12 release date in web news Arianna Masciolini 2025-08-08 18:30:57 +02:00
  • dcae5f929e fix typo Arianna Masciolini 2025-08-08 18:20:47 +02:00
  • 638ed39fa4 readd changelog item on Java Arianna Masciolini 2025-08-08 18:20:10 +02:00
  • 726fb3467c Merge pull request #191 from GrammaticalFramework/minor-updates-binary-packages Arianna Masciolini 2025-08-08 18:17:45 +02:00
  • b02bb08532 Fix warnings for ghc-9.6 about multiplicity syntax Andreas Källberg 2025-08-08 13:54:49 +02:00
  • c7e26d7cd2 also add the 9.6 compatibility fixes to PGF2 Inari Listenmaa 2025-08-03 16:30:18 +02:00
  • 4fea7cf37f Update release scripts for 3.12 Inari Listenmaa 2025-08-03 14:47:24 +02:00
  • 9e5701b13c hide ambiguous function build-timestamp Herbert Lange 2025-08-08 18:06:03 +02:00
  • 78beac7598 change date/time formating Herbert Lange 2025-08-08 18:02:59 +02:00
  • f96830f7de change template haskell required version Herbert Lange 2025-08-08 17:50:33 +02:00
  • 1c4cde7c66 updating formating for git info Herbert Lange 2025-08-08 17:43:56 +02:00
  • e0ad7594dd add build time and git info to BuildInfo Herbert Lange 2025-08-08 17:36:03 +02:00
  • a218903a2d use setuptools (so it works for 3.12+) + bump version to 1.1 Inari Listenmaa 2025-08-03 17:26:26 +02:00
  • f1c1d157b6 minor fixes in uploading to PyPI Inari Listenmaa 2025-08-03 17:25:52 +02:00
  • de58b51187 Bump nixpkgs version Andreas Källberg 2025-08-03 14:40:39 +02:00
  • e7c0b6dada add to what's new release3.12-rc-1 Arianna Masciolini 2025-08-02 23:04:49 +02:00
  • 8f4e8c73d2 Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core into release-3.12 Arianna Masciolini 2025-08-02 23:01:53 +02:00
  • d983255326 Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core Arianna Masciolini 2025-08-02 23:01:29 +02:00
  • 288984d243 fix compatibility with newer gcc versions Arianna Masciolini 2025-08-02 23:01:20 +02:00
  • c23a03a2d1 Merge pull request #184 from inariksit/update-depth-documentation Inari Listenmaa 2025-08-02 22:05:29 +02:00
  • 183e421a0f update default depth in tutorial and help text Inari Listenmaa 2025-08-02 21:47:17 +02:00
  • 3e0c0fa463 define default depths for shell and server only once Inari Listenmaa 2025-08-02 21:46:13 +02:00
  • c2431e06b2 slightly less optimistic release date Arianna Masciolini 2025-08-02 21:32:51 +02:00
  • fa64b4999c Remove unused devenv stuff from flake Andreas Källberg 2025-08-02 21:27:24 +02:00
  • eeab15bee1 redirect to 3.12 download page Arianna Masciolini 2025-08-02 21:26:19 +02:00
  • b36b95c4d6 add news item about 3.12 release Arianna Masciolini 2025-08-02 21:24:28 +02:00
  • 2627e73b63 draft changelog for 3.12 Arianna Masciolini 2025-08-02 21:23:37 +02:00
  • e2ff43da0b init download page for 3.12 with 3.11 instructions with minor changes Arianna Masciolini 2025-08-02 21:23:26 +02:00
  • 8cb65432c7 Merge remote-tracking branch 'origin/master' into tp_nix_flake Andreas Källberg 2025-08-02 21:13:11 +02:00
  • af09351b66 Merge pull request #183 from inariksit/ghc-9.6.7 Inari Listenmaa 2025-08-02 20:43:59 +02:00
  • 8c89ba4e76 convert editor-modes into markdown Inari Listenmaa 2025-08-02 20:36:03 +02:00
  • 218c61b004 make 9.6.7 into default stack.yaml Inari Listenmaa 2025-08-02 20:35:39 +02:00
  • 52df0ed4fe replace 9.6.6 with 9.6.7 Inari Listenmaa 2025-08-02 19:39:29 +02:00
  • 2324fe795c Merge pull request #181 from GrammaticalFramework/pr-174bis (also close #174) Arianna Masciolini 2025-08-02 20:26:36 +02:00
  • 703b1e5d92 add eval.gfs to expected failures Arianna Masciolini 2025-08-02 20:18:28 +02:00
  • f1a72a066f Merge pull request #182 from inariksit/fix-encoding Inari Listenmaa 2025-08-02 19:26:06 +02:00
  • 6f9f9642d7 use UTF8 for several GF files Inari Listenmaa 2025-08-02 19:14:15 +02:00
  • f5752b345a fail slow Arianna Masciolini 2025-08-02 19:14:09 +02:00
  • 5170668ff2 Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core into hleiss/master Arianna Masciolini 2025-08-02 19:02:30 +02:00
  • 65e85c5a3c Merge pull request #175 from inariksit/new-ghc Inari Listenmaa 2025-08-02 18:59:07 +02:00
  • 01c4f82e07 misc small fixes: Inari Listenmaa 2025-08-02 16:42:54 +02:00
  • e81d668605 higher upper bound for base,mtl,ghc-prim,json,time Inari Listenmaa 2025-03-20 17:55:27 +01:00
  • 155b9da861 choose openFd based on version of unix Inari Listenmaa 2025-03-20 17:54:41 +01:00
  • ab0f09e9f7 build-depends for unix depending on ghc version Inari Listenmaa 2025-03-20 17:53:56 +01:00
  • 9fa8ac934a add stack file for GHC 9.6.6 Inari Listenmaa 2024-09-09 19:55:05 +02:00
  • e84826ed2a explicitly import join, when, (<=<) from Control.Monad Inari Listenmaa 2024-09-09 19:45:34 +02:00
  • bbf12458c7 use openFd from unix >= 2.8 Inari Listenmaa 2024-09-09 19:44:49 +02:00
  • b914a25de3 define return in terms of pure, >> as *>, mappend as <> Inari Listenmaa 2024-09-09 19:43:39 +02:00
  • 1037b209ae add whitespace on list comprehensions, applications etc. Inari Listenmaa 2024-09-09 19:38:27 +02:00
  • 09e98ed323 Merge pull request #180 from phantamanta44/majestic Krasimir Angelov 2025-06-08 09:28:00 +02:00
  • f64d6b045b Revert bubble re-implementation Eve 2025-05-26 13:15:15 +02:00
  • 9c422c8224 Type annotations for option labels + new bubble impl Eve 2025-04-22 01:20:48 +02:00
  • 6429ed7148 Choice-splitting versions of mapVariants and mapConstVs Eve 2025-04-06 14:54:15 +02:00
  • e54f748efa serialization for Markup and Reset Krasimir Angelov 2025-05-18 07:08:11 +02:00
  • 03421f6bc7 fix in the typechecking of one and default Krasimir Angelov 2025-05-09 19:15:28 +02:00
  • d54fab0bbf fix typo Krasimir Angelov 2025-05-09 19:10:51 +02:00
  • 3d7c8ade17 a draft for the generalized control operators Krasimir Angelov 2025-05-09 18:58:27 +02:00
  • 544bbd9049 special handling for empty variants in the bubbling Krasimir Angelov 2025-05-05 11:46:50 +02:00
  • d5e3e8f649 whitespace Krasimir Angelov 2025-05-03 07:32:06 +02:00
  • 4c0644fd55 another bug in the typechecker Krasimir Angelov 2025-05-03 07:31:44 +02:00
  • 188b77b083 improvement on the typechecker Krasimir Angelov 2025-05-02 13:52:17 +02:00