SLT and SGT semantics with tests

Author: VincenzoArceri

evm-testcases/cfs/sgt/report.json

@@ -0,0 +1,38 @@
+{
+  "warnings" : [ ],
+  "files" : [ "report.json", "untyped_program.evm-testcases_cfs_sgt_sgt_eth.sol().json" ],
+  "info" : {
+    "cfgs" : "1",
+    "duration" : "254ms",
+    "end" : "2025-05-13T09:14:36.975+02:00",
+    "expressions" : "20",
+    "files" : "1",
+    "globals" : "0",
+    "members" : "1",
+    "programs" : "1",
+    "start" : "2025-05-13T09:14:36.721+02:00",
+    "statements" : "30",
+    "units" : "0",
+    "version" : "0.1",
+    "warnings" : "0"
+  },
+  "configuration" : {
+    "analysisGraphs" : "NONE",
+    "descendingPhaseType" : "NONE",
+    "dumpForcesUnwinding" : "false",
+    "fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
+    "glbThreshold" : "5",
+    "hotspots" : "unset",
+    "jsonOutput" : "true",
+    "openCallPolicy" : "WorstCasePolicy",
+    "optimize" : "false",
+    "recursionWideningThreshold" : "5",
+    "semanticChecks" : "JumpSolver",
+    "serializeInputs" : "false",
+    "serializeResults" : "true",
+    "syntacticChecks" : "",
+    "useWideningPoints" : "false",
+    "wideningThreshold" : "5",
+    "workdir" : "evm-outputs/cfs/sgt"
+  }
+}

evm-testcases/cfs/sgt/sgt_eth.sol

@@ -0,0 +1,30 @@
+PUSH1 0x00 
+PUSH1 0x01 
+SGT
+PUSH1 0x00
+PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
+SGT
+PUSH1 0x01
+PUSH1 0x7f
+SGT 
+PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
+PUSH1 0x00
+SGT
+PUSH1 0x00
+PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000
+SGT
+PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000
+PUSH1 0x00
+SGT
+PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
+PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe
+SGT
+PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe
+PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
+SGT
+PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000
+PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
+SGT
+PUSH1 0xff
+PUSH1 0x01
+SGT