Skip to content
Snippets Groups Projects
Commit f37f0bd4 authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Rerwiting of integer/comparison rules. Cleaning up. 

terminatingCalls now returns calls with integers too.

IntInduction and all integer comparison rules are phased out. Instead
there is a single InequalitySplit rules which splits into (up to) 3 branches,
taking pc into account.

No more EqualitySplit for any other type, except generic types.

Isolate unused rules. Clean up Rules.

Improve QualifiedExamplesBank API
parent 7374d92b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 213 additions and 114 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment