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