..
.cryptolrc
Add .cryptolsrc files
2017-02-15 09:08:02 -08:00
AES.cry
Remove trailing whitespace
2016-02-19 10:08:20 -08:00
AES.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
AES.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
allsat.cry
Add a new regression test that better exercises multi-SAT queries.
2021-07-19 19:39:04 -07:00
allsat.icry
Change to use Z3 instead of yices for the all-sat test.
2021-07-20 11:05:12 -07:00
allsat.icry.stdout
Add a new regression test that better exercises multi-SAT queries.
2021-07-19 19:39:04 -07:00
array.icry
Fix Array.cry comment. ( #748 )
2020-06-02 20:26:49 -07:00
array.icry.stdout
Add arrayCopy, arraySet, arrayRangeEqual array primitives. ( #1268 )
2021-08-25 12:02:55 -07:00
bitshift.cry
Add regression test for bitshift operations
2016-08-22 15:36:16 -07:00
bitshift.icry
Add regression test for bitshift operations
2016-08-22 15:36:16 -07:00
bitshift.icry.stdout
Capitalize sentences in output of :check and :exhaust.
2018-07-20 10:55:24 -07:00
bvdiv.cry
Documentation updates ( #779 )
2020-06-30 10:58:25 -07:00
bvdiv.icry
Documentation updates ( #779 )
2020-06-30 10:58:25 -07:00
bvdiv.icry.stdout
Documentation updates ( #779 )
2020-06-30 10:58:25 -07:00
check01.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check01.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check01.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check02.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check02.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check02.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check03.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check03.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check03.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check04.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check04.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check04.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check05.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check05.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check05.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check06.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check06.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check06.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check07.cry
Still compute width defaulting information as before, but
2020-07-02 15:04:07 -07:00
check07.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check07.icry.stdout
Still compute width defaulting information as before, but
2020-07-02 15:04:07 -07:00
check08.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check08.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check08.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check09.cry
Remove trailing whitespace
2016-02-19 10:08:20 -08:00
check09.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check09.icry.stdout
Add a custom data structure that cobines renamer warnings
2020-07-16 14:27:38 -07:00
check10.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check10.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check10.icry.stdout
fixes #89
2014-09-09 10:49:29 -04:00
check11.cry
Remove all uses of [x..]
syntax from examples and tests.
2019-02-27 16:25:53 -08:00
check11.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check11.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check12.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check12.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check12.icry.stdout
fixes #89
2014-09-09 10:49:29 -04:00
check13.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check13.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check13.icry.stdout
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check14.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check14.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check14.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check15.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check15.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check15.icry.stdout
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check16-tab.cry
Rename prelude function width
to length
, and generalize its type.
2018-10-10 16:21:38 -07:00
check16-tab.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check16-tab.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check16.cry
Rename prelude function width
to length
, and generalize its type.
2018-10-10 16:21:38 -07:00
check16.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check16.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check17.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check17.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check17.icry.stdout
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check18.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check18.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check18.icry.stdout
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check19.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check19.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check19.icry.stdout
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check20.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check20.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check20.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check21.cry
Rename prelude function width
to length
, and generalize its type.
2018-10-10 16:21:38 -07:00
check21.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check21.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check22.cry
Rename prelude function width
to length
, and generalize its type.
2018-10-10 16:21:38 -07:00
check22.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check22.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check23.cry
Rename prelude function width
to length
, and generalize its type.
2018-10-10 16:21:38 -07:00
check23.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check23.icry.stdout
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check24.cry
Still compute width defaulting information as before, but
2020-07-02 15:04:07 -07:00
check24.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check24.icry.stdout
Still compute width defaulting information as before, but
2020-07-02 15:04:07 -07:00
check25.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check25.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check25.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check26.cry
implement 0-based tuple indexing; fixes #82
2014-09-09 11:59:39 -04:00
check26.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check26.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check27.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check27.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check27.icry.stdout
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check28.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check28.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check28.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
check29.cry
tweaking notice, adding regression test for GitHub issue #110
2014-09-19 13:09:44 -07:00
check29.icry
tweaking notice, adding regression test for GitHub issue #110
2014-09-19 13:09:44 -07:00
check29.icry.stdout
Don't close layout with commas when not in an explicit block
2014-09-22 14:14:04 -07:00
check30.cry
add warnShadowing REPL option
2015-02-16 14:40:06 -08:00
check30.icry
add warnShadowing REPL option
2015-02-16 14:40:06 -08:00
check30.icry.stdout
Remove leading ./
from file names in test output
2019-10-28 13:57:37 -07:00
check31.icry
make cryptol interpreter utf8 by default
2015-02-26 17:35:41 -08:00
check31.icry.stdout
Remove leading ./
from file names in test output
2019-10-28 13:57:37 -07:00
check31.iso8859.cry
make cryptol interpreter utf8 by default
2015-02-26 17:35:41 -08:00
check31.utf8.cry
make cryptol interpreter utf8 by default
2015-02-26 17:35:41 -08:00
check229.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
check229.icry.stdout
Initial import from internal repo
2014-04-17 15:34:25 -07:00
cplx.cry
Add a regression test that exercises newtypes
2021-01-12 11:17:27 -08:00
cplx.icry
Revert changes to solvers used in regression tests
2021-09-17 16:23:46 -07:00
cplx.icry.stdout
Add a regression test that exercises newtypes
2021-01-12 11:17:27 -08:00
cplxbroken.cry
Add a regression test that exercises newtypes
2021-01-12 11:17:27 -08:00
dumptests.cry
Adds regression test for dumptests.
2020-11-02 13:59:22 -08:00
dumptests.icry
Adds regression test for dumptests.
2020-11-02 13:59:22 -08:00
dumptests.icry.stdout
Adds regression test for dumptests.
2020-11-02 13:59:22 -08:00
EvenMansour.icry
finally add Even-Mansour example; closes #124
2016-01-12 16:49:47 -08:00
EvenMansour.icry.stdout
Capitalize sentences in output of :check and :exhaust.
2018-07-20 10:55:24 -07:00
explicit-strides.icry
Add regression test for enumerations with explicit strides
2021-06-30 09:25:43 -07:00
explicit-strides.icry.stdout
Add regression test for enumerations with explicit strides
2021-06-30 09:25:43 -07:00
f2polytest.cry
Add test case for comparing the primitive pmod, pdiv and pmult against
2020-10-27 10:51:10 -07:00
f2polytest.icry
Add test case for comparing the primitive pmod, pdiv and pmult against
2020-10-27 10:51:10 -07:00
f2polytest.icry.stdout
Add test case for comparing the primitive pmod, pdiv and pmult against
2020-10-27 10:51:10 -07:00
float.icry
Rename the runtime-settable options to use a consistent style.
2021-02-11 14:47:32 -08:00
float.icry.stdout
Update test suite expected output to track changes
2021-08-06 14:18:12 -07:00
FloatTests.cry
minor updates to floating point tests
2021-02-09 17:24:47 -08:00
frac_lit.icry
Add parsing for binary and octal fractional literals.
2020-07-14 11:31:59 -07:00
frac_lit.icry.stdout
Add parsing for binary and octal fractional literals.
2020-07-14 11:31:59 -07:00
ignore-safe.icry
Update regression test for 'ignore-safety'.
2021-08-03 09:15:42 -07:00
ignore-safe.icry.stdout
Update regression test for 'ignore-safety'.
2021-08-03 09:15:42 -07:00
instance.cry
Update the instances regression test to include LiteralLessThan
.
2021-04-06 09:37:53 -07:00
instance.icry
Update the instances regression test to include LiteralLessThan
.
2021-04-06 09:37:53 -07:00
instance.icry.stdout
Update test suite expected output to track changes
2021-08-06 14:18:12 -07:00
itreuse.icry
Add a regression test for it
reuse
2020-09-30 15:59:39 -07:00
itreuse.icry.stdout
Add a regression test for it
reuse
2020-09-30 15:59:39 -07:00
layout01.icry
Fix a lexer bug, and add a regression
2014-09-03 13:46:47 -07:00
layout01.icry.stdout
Implementation of nested modules.
2021-03-12 09:55:56 -08:00
layout02.icry
Improve error message and some tests
2021-04-29 14:42:43 -07:00
layout02.icry.stdout
Improve error message and some tests
2021-04-29 14:42:43 -07:00
Layout02.cry
Improve error message and some tests
2021-04-29 14:42:43 -07:00
negshift.cry
yet more shifting fixes
2020-06-03 18:45:42 -07:00
negshift.icry
Revert changes to solvers used in regression tests
2021-09-17 16:23:46 -07:00
negshift.icry.stdout
yet more shifting fixes
2020-06-03 18:45:42 -07:00
poly.cry
Add another regression test for newtypes
2021-01-12 11:19:53 -08:00
poly.icry
Revert changes to solvers used in regression tests
2021-09-17 16:23:46 -07:00
poly.icry.stdout
Add another regression test for newtypes
2021-01-12 11:19:53 -08:00
primes.cry
Add regression test for the primality testing constraint
2020-09-29 14:55:05 -07:00
primes.icry
Add regression test for the primality testing constraint
2020-09-29 14:55:05 -07:00
primes.icry.stdout
Fix test golden output: runtime errors now print source locations.
2020-12-01 11:01:21 -08:00
r01.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
r01.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
r01.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
r02.icry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
r02.icry.stdout
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
r03.cry
Initial import from internal repo
2014-04-17 15:34:25 -07:00
r03.icry
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
r03.icry.stdout
Make :m
work the same way as :l
2020-07-07 15:34:03 -07:00
r04.icry
Change the default so that defaulting warnings are suppressed.
2020-07-02 14:56:27 -07:00
r04.icry.stdout
Initial import from internal repo
2014-04-17 15:34:25 -07:00
r05.cry
Correct the test to expose the proper bug.
2015-03-05 10:36:15 -08:00
r05.icry
regression with new constraint solver
2015-03-03 14:20:19 -08:00
r05.icry.stdout
regression with new constraint solver
2015-03-03 14:20:19 -08:00
rational_properties.cry
Add properties for rationals that specify correctness for the
2020-05-14 17:50:56 -07:00
rational_properties.icry
Update rational properties regression test to use What4 backend.
2020-09-14 11:03:58 -07:00
rational_properties.icry.stdout
Update rational properties regression test to use What4 backend.
2020-09-14 11:03:58 -07:00
rec-update.cry
Add a test for record updating.
2020-01-21 11:35:19 -08:00
rec-update.icry
Add a test for record updating.
2020-01-21 11:35:19 -08:00
rec-update.icry.stdout
Update more expected test output.
2021-09-02 21:39:08 -07:00
reference.cry
Add a test comparing the reference implemntations of foldl
,
2021-12-07 11:56:46 -08:00
reference.icry
Add a test comparing the reference implemntations of foldl
,
2021-12-07 11:56:46 -08:00
reference.icry.stdout
Add a test comparing the reference implemntations of foldl
,
2021-12-07 11:56:46 -08:00
repeatFields.icry
Add unit test to make sure we reject records with repeated fields
2020-06-30 12:34:50 -07:00
repeatFields.icry.stdout
Fix test golden output: runtime errors now print source locations.
2020-12-01 11:01:21 -08:00
repl-decls.icry
Revert "Remove use of \ line continuations in tests"
2021-09-22 15:17:13 -07:00
repl-decls.icry.stdout
Update test suite expected output to track changes
2021-08-06 14:18:12 -07:00
safety.icry
Regression test for new :safe
feature.
2020-06-19 12:11:29 -07:00
safety.icry.stdout
Update test output
2021-12-07 11:56:46 -08:00
sort.icry
Add some regression tests for sortBy
to test stability of the sort.
2021-05-06 12:03:47 -07:00
sort.icry.stdout
Update more expected test output.
2021-09-02 21:39:08 -07:00
specialize.cry
regression test for a specializer bug
2015-07-23 18:08:14 -07:00
specialize.icry
regression test for a specializer bug
2015-07-23 18:08:14 -07:00
specialize.icry.stdout
Update test suite expected output to track changes
2021-08-06 14:18:12 -07:00
superclass.cry
Add the Eq->Cmp superclass relationship to the regression test.
2020-07-14 11:31:50 -07:00
superclass.icry
Add the Eq->Cmp superclass relationship to the regression test.
2020-07-14 11:31:50 -07:00
superclass.icry.stdout
Update test suite expected output to track changes
2021-08-06 14:18:12 -07:00
tc-errors-1.cry
Regression tests for type errors.
2020-09-24 10:30:04 -07:00
tc-errors-2.cry
Regression tests for type errors.
2020-09-24 10:30:04 -07:00
tc-errors-3.cry
Regression tests for type errors.
2020-09-24 10:30:04 -07:00
tc-errors-4.cry
Regression tests for type errors.
2020-09-24 10:30:04 -07:00
tc-errors-5.cry
Regression tests for type errors.
2020-09-24 10:30:04 -07:00
tc-errors-6.cry
Regression tests for type errors.
2020-09-24 10:30:04 -07:00
tc-errors.icry
Fix test suite
2021-04-13 10:27:17 -07:00
tc-errors.icry.stdout
Fix loop in TC
2021-12-20 20:49:02 +02:00
twinmult.cry
Add some special case handling for ec_twin_mult
.
2020-11-16 09:15:32 -08:00
twinmult.icry
Add some special case handling for ec_twin_mult
.
2020-11-16 09:15:32 -08:00
twinmult.icry.stdout
Add support for uninterpreted function implementations of the PrimeEC
2020-11-16 09:16:52 -08:00
word-update.cry
Add regression test for word updates
2020-03-30 15:09:53 -07:00
word-update.icry
Add regression test for word updates
2020-03-30 15:09:53 -07:00
word-update.icry.stdout
Add regression test for word updates
2020-03-30 15:09:53 -07:00
xor-precedence.cry
Add a regression test for xor precedence
2015-06-03 15:36:18 -07:00
xor-precedence.icry
Add a regression test for xor precedence
2015-06-03 15:36:18 -07:00
xor-precedence.icry.stdout
Add a regression test for xor precedence
2015-06-03 15:36:18 -07:00