ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
why3/bench/parsing/bad
History
Guillaume Melquiond 323ae56c72 Cause parsing-bench to properly error out and add missing oracles.
2021-02-02 14:22:34 +01:00
..
498_function.mlw
documentation for handcrafted error messages
2020-09-04 16:04:59 +02:00
498_function.oracle
Remove spurious linebreak from custom error messages.
2020-09-24 10:11:00 +02:00
498.mlw
Improved syntax error message for "let" followed by an invalid identifier
2020-08-31 09:26:21 +02:00
498.oracle
Remove spurious linebreak from custom error messages.
2020-09-24 10:11:00 +02:00
decl_after_module.mlw
Add parsing error message for decl after module
2019-09-19 12:00:43 +02:00
decl_after_module.oracle
Update handcrafted message
2019-09-19 12:00:43 +02:00
func_lit1.mlw
function literals examples
2020-08-25 20:45:04 +02:00
func_lit1.oracle
update oracle
2020-09-22 10:29:33 +02:00
func_lit2.mlw
new semantic for func literals: if no default take last (empty func lits not allowed)
2020-11-10 09:18:18 +01:00
func_lit2.oracle
Cause parsing-bench to properly error out and add missing oracles.
2021-02-02 14:22:34 +01:00
func_lit3.mlw
new semantic for func literals: if no default take last (empty func lits not allowed)
2020-11-10 09:18:18 +01:00
func_lit3.oracle
Cause parsing-bench to properly error out and add missing oracles.
2021-02-02 14:22:34 +01:00
issue_172.mlw
Keep only the message that we want to add
2019-09-19 12:00:43 +02:00
issue_172.oracle
Keep only the message that we want to add
2019-09-19 12:00:43 +02:00
module_in_module1.mlw
Add specific syntax error for module inside module
2019-09-19 12:00:43 +02:00
module_in_module1.oracle
Update handcrafted message
2019-09-19 12:00:43 +02:00
module_in_module2.mlw
Add specific syntax error for module inside module
2019-09-19 12:00:43 +02:00
module_in_module2.oracle
Update handcrafted message
2019-09-19 12:00:43 +02:00
module_name.mlw
Revert "Remove handcrafted error messages (fix issues #150 and #172)."
2019-09-19 12:00:43 +02:00
module_name.oracle
Remove spurious linebreak from custom error messages.
2020-09-24 10:11:00 +02:00
ref_while.mlw
Add specific syntax error for module inside module
2019-09-19 12:00:43 +02:00
ref_while.oracle
Add specific syntax error for module inside module
2019-09-19 12:00:43 +02:00