Merge branch 'main' into fl-generator

Author: AYadrov

src/core/rival.rkt

@@ -145,4 +145,4 @@
 ;; for the given inputs range. The result is an interval representing
 ;; how certain the result is: no, maybe, yes.
 (define (real-compiler-analyze compiler input-ranges [hint #f])
-  (rival-analyze (real-compiler-machine compiler) input-ranges hint))
+  (rival-analyze-with-hints (real-compiler-machine compiler) input-ranges hint))

src/info.rkt

@@ -21,7 +21,7 @@
                              "rackunit-lib"
                              "web-server-lib"
                              ("egg-herbie" #:version "2.2")
-                             ("rival" #:version "2.0")
+                             ("rival" #:version "2.2")
                              ("fpbench" #:version "2.0.3")
                              "fmt"))