HF RL Explorer

Implement a custom DER encoder for ASN.1 Set types that reverses the sort order of components compared to…

Implement a custom DER encoder for ASN.1 Set types that reverses the sort order of components compared to…: a task in r2e-code-instruct-qwen3.5 (Harbor dataset). Example Input: univ.SetOf( univ.BitString('0000'), univ.Integer(1) ) Example Output: DER bytes where BitString tag (0x03) precedes…

The task

Example Input: `univ.SetOf([univ.BitString('0000'), univ.Integer(1)])` Example Output: DER bytes where BitString tag (0x03) precedes Integer tag (0x02) (reversed from default).

Part of Essacheez/r2e-code-instruct-qwen3.5.