GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity
functors
cryptol/tests/regression
History
Iavor Diatchki 92e3174b2f Fix loop in TC 
The issue is that we use a think to represent dictionaries for selectors,
and we can't extract position information from the thunk, as it will
force it.  Instead, we compute the location from the source expression
instead.
2021-12-20 20:49:02 +02:00
..
.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