Andreas Abel 5401dc157f Re #5789: move test case to test/Succeed folder il y a 2 ans
..
Bugs 8ca2402d1f Testsuite: use Text.words consistently when diffing il y a 3 ans
Common e2eb867be0 [ fix #4384 ] Handled path lambdas in rewrite rules. il y a 3 ans
Compiler b52a21df38 [ #5731 ] Added --save-metas and --no-save-metas. il y a 2 ans
Fail 247bc3efa0 [ fix #5781 ] add --profile flag instead of abusing -v for profiling options il y a 2 ans
Interactive d1f688c584 [ fixed #5132 ] interactive: importPrimitives if no file is loaded il y a 3 ans
Internal edfa0ab24e [ #5731 ] Added the field metaModule to MetaId. il y a 2 ans
LaTeXAndHTML edd8334381 [ #5427 ] Removed support for subtyping for erasure and irrelevance. il y a 3 ans
LibSucceed d281edeac8 Re #854: updated test case to latest std-lib il y a 3 ans
Succeed 5401dc157f Re #5789: move test case to test/Succeed folder il y a 2 ans
UserManual 767ab569c2 [cleanup] Remove LANGUAGE pragmas also enabled at project-level il y a 5 ans
api ed6730a171 [ fix #4959 ] rip out TopLevelInteraction (unfix #4647) il y a 3 ans
features 44a8bd68f6 Feature #2331 deactivated due to unsoundness. il y a 7 ans
interaction 247bc3efa0 [ fix #5781 ] add --profile flag instead of abusing -v for profiling options il y a 2 ans
lib-interaction 6591c94fca make: Set SHELL from mk/common.mk and run with safe flags il y a 4 ans
Main.hs b44a0bd828 [ fix #5302 ] make 'cabal test' work for part of the test-suite (#5536) il y a 3 ans
Makefile f220dda262 [ Makefile ] include InternalTests in lines-of-code counting for test [ci skip] il y a 5 ans
Setup.hs 33cc3c7dcb [ exec-tests ] Move setup code to Haskell runner. il y a 9 ans
Utils.hs 8ca2402d1f Testsuite: use Text.words consistently when diffing il y a 3 ans