diff options
| author | Aryadev Chavali <aryadev@aryadevchavali.com> | 2023-11-01 17:52:58 +0000 |
|---|---|---|
| committer | Aryadev Chavali <aryadev@aryadevchavali.com> | 2023-11-01 17:52:58 +0000 |
| commit | 081661cb6b0c2932a1e7e1d16860942fa7f9f195 (patch) | |
| tree | 4914bbfaf10fa6d751563258a4450e5e1f5c979f /.github | |
| parent | 90d901345abcbb271653fbee6749a2b3273fb62e (diff) | |
| download | ovm-081661cb6b0c2932a1e7e1d16860942fa7f9f195.tar.gz ovm-081661cb6b0c2932a1e7e1d16860942fa7f9f195.tar.bz2 ovm-081661cb6b0c2932a1e7e1d16860942fa7f9f195.zip | |
Fixed bug with comparators where all results were flipped
This is because: say we have {a, b} where a is on top of the stack. A
comparator C applies in the order C(b, a) i.e. b `C` a. The previous
version did a `C` b which was wrong.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions