|
|
@1463
|
9 years |
Anya Helene Bagge |
Test case for #259
|
|
|
@1344
|
10 years |
Anya Helene Bagge |
Add test for (copy) constructors that should also work if == …
|
|
|
@1342
|
10 years |
Anya Helene Bagge |
more fixes for tests
|
|
|
@1341
|
10 years |
Anya Helene Bagge |
Test case for #226 (out-of-order type definitions
|
|
|
@1224
|
10 years |
Anya Helene Bagge |
revert 1222
|
|
|
@1222
|
10 years |
Anya Helene Bagge |
|
|
|
@1190
|
11 years |
Anya Helene Bagge |
Test case for #192
|
|
|
@1188
|
11 years |
Anya Helene Bagge |
with twoTypes
|
|
|
@1186
|
11 years |
Anya Helene Bagge |
Test case for #193.
|
|
|
@1184
|
11 years |
Anya Helene Bagge |
Protect experiments
|
|
|
@1152
|
11 years |
Anya Helene Bagge |
Test case for #188.
|
|
|
@1150
|
11 years |
Anya Helene Bagge |
Test case for bug #186
|
|
|
@1143
|
11 years |
Anya Helene Bagge |
Test for bug #181
|
|
|
@1142
|
11 years |
Anya Helene Bagge |
Test for field assignment
|
|
|
@1140
|
11 years |
Anya Helene Bagge |
bugfix
|
|
|
@1123
|
11 years |
Anya Helene Bagge |
One more
|
|
|
@1122
|
11 years |
Anya Helene Bagge |
Tests for (fixed) mutification bugs
|
|
|
@1107
|
11 years |
Anya Helene Bagge |
Remove silly renaming
|
|
|
@1106
|
11 years |
Anya Helene Bagge |
Test for integer literals
|
|
|
@1103
|
11 years |
Anya Helene Bagge |
library => program
|
|
|
@1097
|
11 years |
Anya Helene Bagge |
library => program, ambigous => ambiguous
|
|
|
@1096
|
11 years |
Anya Helene Bagge |
Add error expectations
|
|
|
@1080
|
11 years |
Anya Helene Bagge |
Test for satisfaction/models
|
|
|
@1070
|
11 years |
Anya Helene Bagge |
Update override test (it passes now)
|
|
|
@1069
|
11 years |
Anya Helene Bagge |
More tests of type declaration error messages
|
|
|
@1065
|
11 years |
Anya Helene Bagge |
|
|
|
@1062
|
11 years |
Anya Helene Bagge |
Update to newest syntax (except for the numerous inlining tests)
|
|
|
@1055
|
11 years |
Anya Helene Bagge |
Syntax updates
|
|
|
@1050
|
11 years |
Anya Helene Bagge |
Syntax changes
|
|
|
@1041
|
11 years |
Anya Helene Bagge |
implementation => renaming; add tests checking result of renamings
|
|
|
@1040
|
11 years |
Anya Helene Bagge |
Tweak makefiles
|
|
|
@1039
|
11 years |
Anya Helene Bagge |
Add type definition.
|
|
|
@1036
|
11 years |
magne |
RenamingSequence:
- Uncovers a problem with sequences of renamings.
|
|
|
@1035
|
11 years |
magne |
SloppyTypeChecking:
- Uncovers a bug in the type checking.
|
|
|
@1034
|
11 years |
magne |
Renamings:
- Checking for the renaming keyword.
|
|
|
@1033
|
11 years |
magne |
Makefile:
- Compiles some of the new tests.
TupleExtension:
- Suggest …
|
|
|
@1022
|
11 years |
magne |
Makefile also compiles tupleIo packages from C++ to executable.
|
|
|
@1021
|
11 years |
magne |
SimpleTuple:
- Added build and projection functions.
- Parses, but …
|
|
|
@1020
|
11 years |
magne |
Basic, Integer:
- Changed "module" to "package"
TemplateTuple:
- …
|
|
|
@1019
|
11 years |
Anya Helene Bagge |
Add 'clean' target to makefiles.
|
|
|
@1014
|
11 years |
Anya Helene Bagge |
Update tests to match changes in external interface
|
|
|
@1004
|
11 years |
biz002 |
test case '.mg' file for remaining known incorrectness in type inlining
|
|
|
@998
|
11 years |
Anya Helene Bagge |
|
|
|
@994
|
11 years |
Anya Helene Bagge |
Templated C++ interface example
|
|
|
@984
|
12 years |
Anya Helene Bagge |
refine example
|
|
|
@981
|
12 years |
Anya Helene Bagge |
test for c++ io code
|
|
|
@978
|
12 years |
biz002 |
two more '.mg' files, to test recently found to be broken inlinings
|
|
|
@953
|
12 years |
biz002 |
more '.mg' files for testing type inlining
Includes tests for …
|
|
|
@948
|
12 years |
biz002 |
more test .mg files relating to inlining
for testing:
- nested …
|
|
|
@936
|
12 years |
biz002 |
type inlining .mg file, with 'struct' syntax
|
|
|
@935
|
12 years |
Anya Helene Bagge |
|
|
|
@901
|
12 years |
biz002 |
var inlining test .mg files with block exprs and tricky scoping
|
|
|
@890
|
12 years |
biz002 |
inlining test .mg files with returns and block exprs
|
|
|
@873
|
12 years |
biz002 |
variable inlining test .mg files
|
|
|
@858
|
12 years |
biz002 |
one more procedure inlining test .mg file
|
|
|
@854
|
12 years |
magne |
Nested comments /*< .. >*/ cannot be nested
Reported by: magne Owned …
|
|
|
@852
|
12 years |
biz002 |
small .mg source files for function inlining testing
|
|
|
@851
|
12 years |
biz002 |
small .mg source files for procedure inlining testing
|
|
|
@850
|
12 years |
magne |
Ticket #147 (new defect)
Multiple renamings cannot be stored
Look at …
|
|
|
@836
|
12 years |
Anya Helene Bagge |
Test for #125 (signature operator should remove axioms)
|
|
|
@833
|
12 years |
Anya Helene Bagge |
Refine tests for #124, #129, #130.
|
|
|
@830
|
12 years |
Anya Helene Bagge |
Add test cases for bugs #122 and #124.
|
|
|
@810
|
12 years |
Anya Helene Bagge |
<-> => ==
|
|
|
@778
|
12 years |
Anya Helene Bagge |
Tests for scoping of variables and for parentheses in top exprs.
|
|
|
@773
|
12 years |
Anya Helene Bagge |
add test for named renamings
|
|
|
@761
|
12 years |
Anya Helene Bagge |
|
|
|
@744
|
12 years |
Anya Helene Bagge |
now with a working renaming axiom
|
|
|
@739
|
12 years |
Anya Helene Bagge |
* add tests for boolean operator precedence
* simple test for …
|
|
|
@737
|
12 years |
Anya Helene Bagge |
Exhaustive test of boolean logic.
|
|
|
@736
|
12 years |
Anya Helene Bagge |
* a simple example of the new axiom functionality
|
|
|
@715
|
12 years |
Anya Helene Bagge |
|
|
|
@708
|
12 years |
magne |
Added subdirectory to check error messages.
Thi example places error …
|
|
|
@680
|
12 years |
magne |
Some corrections.
|
|
|
@678
|
12 years |
magne |
Provides a new version of the mutification example.
Should give one …
|
|
|
@677
|
12 years |
magne |
|
|
|
@671
|
12 years |
magne |
Added path for mac osx g++ 4.6 (downloaded with mac ports).
|
|
|
@670
|
12 years |
Anya Helene Bagge |
automatically detect Mac g++
|
|
|
@666
|
12 years |
Anya Helene Bagge |
Add a test of mutification
|
|
|
@657
|
12 years |
Anya Helene Bagge |
move
|
|
copied from magnolia-tests
|
|
|
@655
|
12 years |
Anya Helene Bagge |
* simple test for the override functionality
|