Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adding new proof trace tests from Pi2 #4421

Merged
merged 18 commits into from
Jun 6, 2024
Merged

Adding new proof trace tests from Pi2 #4421

Changes from 15 commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
0c3da53
Extracting `get_pattern_from_ordinal` to make generic so we can add m…
Robertorosmaninho Jun 4, 2024
2ef93ad
Adding `TestSingleRewrite` and `test_parse_proof_hint_single_rewrite`
Robertorosmaninho Jun 4, 2024
e52df4c
Adding `TestTreeReverse` and `test_parse_proof_hint_reverse_no_ints`
Robertorosmaninho Jun 4, 2024
23dfdc7
Adding `TestNonRecFunction` and `test_parse_proof_hint_non_rec_function`
Robertorosmaninho Jun 4, 2024
3a1fee2
Adding `TestDV` and `test_parse_proof_hint_dv`
Robertorosmaninho Jun 4, 2024
2461d23
Adding `TestConcurrentCounters` and `test_parse_concurrent_counters`
Robertorosmaninho Jun 4, 2024
7c68739
Adding `TestBuiltInHookEvents` and `test_parse_proof_hint_builtin_hoo…
Robertorosmaninho Jun 4, 2024
e1e479c
Adding `TestIMP5` and `test_parse_proof_hint_imp5`
Robertorosmaninho Jun 4, 2024
4ef3fc9
Adding `TestPeano` and `test_parse_proof_hint_peano`
Robertorosmaninho Jun 4, 2024
f5a8ca4
Adding `TestDecrement`s and `test_parse_proof_hint_peano`s
Robertorosmaninho Jun 4, 2024
0df6073
Formatting code
Robertorosmaninho Jun 4, 2024
a18a5c5
Merge branch 'develop' into new-proof-trace-tests
Robertorosmaninho Jun 5, 2024
345011a
Reverting changes in `_kompiler` and using `KOMPILE_ARGS` in `TestDV`…
Robertorosmaninho Jun 5, 2024
7acc9d3
Merge branch 'develop' into new-proof-trace-tests
Robertorosmaninho Jun 5, 2024
92fc74e
Formatting
Robertorosmaninho Jun 5, 2024
8bfab86
Updating coments!
Robertorosmaninho Jun 5, 2024
6e4a302
Merge branch 'develop' into new-proof-trace-tests
Robertorosmaninho Jun 6, 2024
8d87b1c
Merge branch 'develop' into new-proof-trace-tests
Robertorosmaninho Jun 6, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading