| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2 days | Remove cache (no clear benefit) | adelon | |
| 2 days | Slightly more explicit naming | adelon | |
| 2 days | Tests | adelon | |
| 2025-08-02 | Merge pull request #181 from GrammaticalFramework/pr-174bis (also close #174) | Arianna Masciolini | |
| PR #174bis | |||
| 2025-08-02 | add eval.gfs to expected failures | Arianna Masciolini | |
| 2025-08-02 | use UTF8 for several GF files | Inari Listenmaa | |
| 2023-09-25 | Update test to match new error | Andreas Källberg | |
| 2021-09-22 | more tests for variants | krangelov | |
| 2021-07-06 | Merge pull request #118 from GrammaticalFramework/canonical | Inari Listenmaa | |
| Fixes to canonical compilation | |||
| 2021-07-01 | Add run-on-grammar canonical test script | John J. Camilleri | |
| 2021-07-01 | Make cleanupRecordFields also recurse into variants | John J. Camilleri | |
| It's possible that more constructors need to be handled | |||
| 2021-07-01 | Remove record fields not in lincat | John J. Camilleri | |
| Fixes #100, #101 | |||
| 2021-07-01 | Reduce Phrasebook grammars in testsuite/canonical to bare minimum | John J. Camilleri | |
| 2021-06-30 | Sort record fields in lin definitions | John J. Camilleri | |
| Fixes #102 | |||
| 2021-06-30 | Move testsuite/compiler/canonical on level up, update test script | John J. Camilleri | |
| 2021-06-30 | Add shell script in testsuite/compiler/canonical for replicating known issues | John J. Camilleri | |
| Ideally this is integrated into proper test suite, but that's too much overhead for now | |||
| 2021-06-30 | Superficial refactoring to testsuite module | John J. Camilleri | |
| 2021-06-17 | Remove gf-lib-path from testsuite | Andreas Källberg | |
| Since it no longer depends on RGL and it caused issues in the testsuite | |||
| 2021-06-17 | Testsuite: Add support for expected failures | Andreas Källberg | |
| And mark the currently failing tests as expected failures | |||
| 2021-06-16 | Fix build of test suite on ghc-8.2.2 | Andreas Källberg | |
| 2021-06-16 | Add command `ai f` to trigger error msg | Inari Listenmaa | |
| 2021-06-16 | Remove CStr [] which causes error, update gold | Inari Listenmaa | |
| 2021-06-11 | Remove CallStack outputs from gold files | Inari Listenmaa | |
| Rather, we should not output these, or output them in a nicer way. | |||
| 2021-06-11 | Rectified gold files | 1Regina | |
| 2021-06-11 | Add RGL dependencies - Prelude and Predef | 1Regina | |
| 2021-06-11 | remove testsuite/libraries | 1Regina | |
| 2020-11-10 | Enable tests | Ruslan Khafizov | |
| 2020-08-05 | Fix testsuite compatability with newer Cabal | Andreas Källberg | |
| 2013-12-10 | testsuite: fix test of generate_trees | hallgren | |
| There were two differences between the current output and the old gold file: 1. The trees are no longer generated with increasing depth 2. The meaning of the -depth flag has changed: for example, "gt -cat=Nat -depth=1" used to generate only "zero", now you also get "succ zero". | |||
| 2013-12-06 | testsuite: reduced the number of failing tests from 25 to 13 | hallgren | |
| Some tests may fail on Windows because of \ instead of / in paths. | |||
| 2013-12-03 | testsuite: Use Cabal's new test suite interface | hallgren | |
| * The old way: a user hook in Setup.hs * The new way: specify it in gf.cabal * The test suite is now called gf-tests, and it runs testsuite/run.hs. * You can run it manually with 'runhaskell testsuite/run.hs'. It also runs, together with rgl-tests, when you do 'cabal test' * Currently only 9 of 34 tests pass. Many failures have silly causes: - Error messages that look slightly different - Same output but in a different order - Absolute paths in output | |||
| 2013-12-03 | testsuite: use forward slashes in paths | hallgren | |
| 2012-12-10 | Compute.ConcreteNew: add missing case for variant functions | hallgren | |
| Also adding a test case in the test suite for this. | |||
| 2011-09-19 | Adding test case for interaction between record subtyping and record extension | hallgren | |
| 2011-01-10 | added testsuite for the parser | krasimir | |
| 2011-01-08 | fix the computation of abstract expressions in the presence of implicit ↵ | krasimir | |
| arguments | |||
| 2011-01-08 | bugfix in the handling of implicit arguments in the typechecker | krasimir | |
| 2010-12-13 | update the testsuite for the parser to the latest API | krasimir | |
| 2010-11-12 | operations in the abstract syntax | krasimir | |
| 2010-10-27 | update the testsuite. Now we can typecheck more programs than before | krasimir | |
| 2010-10-25 | when faced with hard unification problem the type checker should just ↵ | krasimir | |
| postpone the decision instead of failing immediately. added test case as well | |||
| 2010-10-25 | update the testsuite to the latest state of the compiler/interpreter | krasimir | |
| 2010-05-08 | added script for testing the phrasebooks | ramona.enache | |
| 2010-05-01 | test for bracketedLinearize | krasimir | |
| 2010-04-30 | upgrade the testsuite to work with GHC 6.12 | krasimir | |
| 2010-04-23 | fix parsing of literals | krasimir | |
| 2010-02-22 | refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access ↵ | krasimir | |
| to the meta store | |||
| 2010-02-20 | bugfix in PGF.TypeCheck | krasimir | |
| 2010-02-16 | one more test for cyclic def rules | krasimir | |
| 2010-02-09 | one more test for cyclic operations | krasimir | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |