D: [iurt_root_command] chroot
Installing /home/pterjan/rpmbuild/SRPMS/coq-flocq-3.2.0-1.mga9.src.rpm
Building target platforms: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.hsfwZd
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ cd /home/pterjan/rpmbuild/BUILD
+ rm -rf flocq-3.2.0
+ /usr/lib/rpm/rpmuncompress -x /home/pterjan/rpmbuild/SOURCES/flocq-3.2.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd flocq-3.2.0
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.4kNN4v
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD
+ cd flocq-3.2.0
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ ./configure
checking for g++... g++
checking whether the C++ compiler works... yes
checking for C++ compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking for coqc... /usr/bin/coqc
checking for coqdep... /usr/bin/coqdep
checking for coqdoc... /usr/bin/coqdoc
configure: building remake...
/usr/bin/ld: /tmp/ccCYvVnm.o: in function `main':
remake.cpp:(.text.startup+0xb13): warning: the use of `tempnam' is dangerous, better use `mkstemp'
configure: creating ./config.status
config.status: creating Remakefile
config.status: creating src/Version.v
+ ./remake all doc
Building src/Version.vo
Finished src/Version.vo
Building src/Core/Raux.vo
Building src/Core/Zaux.vo
File "./src/Core/Zaux.v", line 265, characters 0-18:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Zaux.v", line 285, characters 0-17:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Zaux.v", line 305, characters 16-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Zaux.v", line 423, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Zaux.v", line 440, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Core/Zaux.vo
File "./src/Core/Raux.v", line 1308, characters 11-17:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Raux.v", line 1310, characters 14-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Raux.v", line 1457, characters 0-32:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Raux.v", line 1759, characters 0-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Raux.v", line 1903, characters 0-13:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Raux.v", line 2002, characters 0-61:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Raux.v", line 2099, characters 2-34:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Raux.v", line 2107, characters 2-34:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Raux.v", line 2327, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Raux.v", line 2372, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Core/Raux.vo
Building src/Core/Defs.vo
Finished src/Core/Defs.vo
Building src/Core/Digits.vo
File "./src/Core/Digits.v", line 44, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 46, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 188, characters 0-31:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 194, characters 0-28:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 194, characters 0-28:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 206, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 230, characters 0-28:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 230, characters 0-28:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 452, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 495, characters 0-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 506, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 535, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 592, characters 0-13:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 593, characters 0-39:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 597, characters 0-13:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 601, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 627, characters 0-28:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 629, characters 0-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 634, characters 0-32:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 649, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 669, characters 0-30:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 688, characters 0-40:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 688, characters 0-40:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 692, characters 0-30:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 696, characters 0-40:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 716, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 791, characters 0-18:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 931, characters 0-13:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 941, characters 42-48:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 954, characters 0-19:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 964, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 985, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 1013, characters 0-18:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 1014, characters 0-18:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 1034, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 1044, characters 61-67:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 1055, characters 29-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 1056, characters 29-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Digits.v", line 1076, characters 2-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Core/Digits.vo
Building src/Core/Float_prop.vo
File "./src/Core/Float_prop.v", line 363, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Float_prop.v", line 382, characters 20-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Float_prop.v", line 416, characters 24-30:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Float_prop.v", line 475, characters 0-31:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Float_prop.v", line 478, characters 0-31:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Core/Float_prop.vo
Building src/Core/FIX.vo
Building src/Core/Generic_fmt.vo
Building src/Core/Round_pred.vo
Finished src/Core/Round_pred.vo
File "./src/Core/Generic_fmt.v", line 55, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 70, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 428, characters 0-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 525, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 547, characters 0-18:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 558, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 590, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 633, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 660, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 741, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 1383, characters 16-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 1392, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 1529, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 1805, characters 0-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 1940, characters 2-43:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 2296, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Generic_fmt.v", line 2299, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Core/Generic_fmt.vo
Building src/Core/Round_NE.vo
Building src/Core/Ulp.vo
File "./src/Core/Ulp.v", line 60, characters 0-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 69, characters 0-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 78, characters 0-23:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 79, characters 0-31:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 241, characters 0-31:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 246, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 251, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 303, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 306, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 453, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 536, characters 11-17:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 558, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 582, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 595, characters 0-46:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 617, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 845, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 910, characters 0-44:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 933, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 956, characters 0-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 960, characters 0-23:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 961, characters 0-31:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 1084, characters 0-48:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 1150, characters 0-48:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 1337, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 1339, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 1341, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 1383, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 1385, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 1530, characters 0-31:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Ulp.v", line 1907, characters 0-48:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Core/Ulp.vo
File "./src/Core/Round_NE.v", line 151, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Round_NE.v", line 212, characters 42-51:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Round_NE.v", line 219, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Round_NE.v", line 416, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Round_NE.v", line 418, characters 0-52:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Round_NE.v", line 425, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Round_NE.v", line 427, characters 20-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/Round_NE.v", line 437, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Core/Round_NE.vo
File "./src/Core/FIX.v", line 89, characters 0-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Core/FIX.vo
Building src/Core/FLT.vo
Building src/Core/FLX.vo
File "./src/Core/FLX.v", line 51, characters 0-30:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLX.v", line 215, characters 0-54:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLX.v", line 224, characters 2-66:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLX.v", line 225, characters 2-75:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLX.v", line 230, characters 0-59:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLX.v", line 359, characters 0-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Core/FLX.vo
File "./src/Core/FLT.v", line 48, characters 0-39:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 96, characters 26-32:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 109, characters 0-38:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 139, characters 30-36:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 195, characters 30-36:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 225, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 247, characters 2-286:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 247, characters 2-286:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 247, characters 2-286:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 247, characters 2-286:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 254, characters 0-65:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 266, characters 0-49:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 269, characters 0-38:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 272, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 276, characters 0-50:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 299, characters 0-38:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 299, characters 0-38:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 337, characters 0-51:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 383, characters 0-13:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 400, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FLT.v", line 403, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Core/FLT.vo
Building src/Core/FTZ.vo
File "./src/Core/FTZ.v", line 51, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 55, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 58, characters 0-58:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 61, characters 0-40:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 64, characters 0-44:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 66, characters 0-23:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 97, characters 0-19:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 138, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 189, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 199, characters 0-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 201, characters 0-45:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 204, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 293, characters 0-19:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 298, characters 0-19:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Core/FTZ.v", line 334, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Core/FTZ.vo
Building src/Core/Core.vo
Finished src/Core/Core.vo
Building src/Calc/Bracket.vo
File "./src/Calc/Bracket.v", line 236, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 249, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 258, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 270, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 279, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 334, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 347, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 368, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 390, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 436, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 439, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 493, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 502, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 615, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Bracket.v", line 668, characters 34-48:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Calc/Bracket.vo
Building src/Calc/Div.vo
File "./src/Calc/Div.v", line 83, characters 4-42:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Div.v", line 91, characters 6-32:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Div.v", line 92, characters 4-42:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Div.v", line 116, characters 2-70:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Div.v", line 153, characters 2-41:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Div.v", line 156, characters 2-41:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Calc/Div.vo
Building src/Calc/Operations.vo
File "./src/Calc/Operations.v", line 53, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Calc/Operations.vo
Building src/Calc/Round.vo
File "./src/Calc/Round.v", line 91, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Round.v", line 588, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Round.v", line 677, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Round.v", line 720, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Round.v", line 727, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Round.v", line 747, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Round.v", line 793, characters 6-12:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Round.v", line 806, characters 26-32:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Round.v", line 1159, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Round.v", line 1168, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Calc/Round.vo
Building src/Calc/Sqrt.vo
File "./src/Calc/Sqrt.v", line 89, characters 2-40:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Sqrt.v", line 109, characters 0-18:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Sqrt.v", line 120, characters 0-18:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Sqrt.v", line 127, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Sqrt.v", line 136, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Sqrt.v", line 142, characters 0-18:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Sqrt.v", line 157, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Sqrt.v", line 159, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Sqrt.v", line 164, characters 0-18:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Calc/Sqrt.v", line 191, characters 2-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Calc/Sqrt.vo
Building src/Prop/Div_sqrt_error.vo
Building src/Prop/Mult_error.vo
Building src/Prop/Plus_error.vo
Building src/Prop/Relative.vo
File "./src/Prop/Relative.v", line 150, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Relative.v", line 221, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Relative.v", line 233, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Relative.v", line 286, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Relative.v", line 378, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Relative.v", line 390, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Relative.v", line 428, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Relative.v", line 507, characters 0-69:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Relative.v", line 662, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Relative.v", line 846, characters 0-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Relative.v", line 872, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Relative.v", line 879, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Prop/Relative.vo
File "./src/Prop/Plus_error.v", line 53, characters 23-32:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 58, characters 20-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 65, characters 20-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 330, characters 0-9:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 354, characters 0-36:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 409, characters 0-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 413, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 427, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 433, characters 0-23:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 523, characters 0-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 523, characters 0-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 571, characters 0-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Plus_error.v", line 571, characters 0-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Prop/Plus_error.vo
File "./src/Prop/Mult_error.v", line 74, characters 27-33:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Mult_error.v", line 92, characters 0-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Mult_error.v", line 166, characters 0-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Mult_error.v", line 212, characters 0-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Mult_error.v", line 215, characters 0-62:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Mult_error.v", line 245, characters 0-9:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Mult_error.v", line 265, characters 0-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Mult_error.v", line 299, characters 0-46:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Mult_error.v", line 330, characters 0-72:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Mult_error.v", line 331, characters 0-69:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Prop/Mult_error.vo
Building src/Prop/Sterbenz.vo
Finished src/Prop/Sterbenz.vo
File "./src/Prop/Div_sqrt_error.v", line 103, characters 0-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Div_sqrt_error.v", line 196, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Div_sqrt_error.v", line 283, characters 0-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Div_sqrt_error.v", line 287, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Div_sqrt_error.v", line 322, characters 0-65:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Div_sqrt_error.v", line 349, characters 4-50:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Div_sqrt_error.v", line 386, characters 4-51:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Div_sqrt_error.v", line 450, characters 2-24:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Div_sqrt_error.v", line 456, characters 4-53:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Div_sqrt_error.v", line 498, characters 6-73:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Div_sqrt_error.v", line 659, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Div_sqrt_error.v", line 718, characters 0-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Prop/Div_sqrt_error.vo
Building src/Prop/Round_odd.vo
File "./src/Prop/Round_odd.v", line 71, characters 0-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 506, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 528, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 539, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 716, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 769, characters 0-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 800, characters 0-9:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 815, characters 0-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 816, characters 0-31:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 832, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 841, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 860, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 869, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Round_odd.v", line 955, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Prop/Round_odd.vo
Building src/Prop/Double_rounding.vo
File "./src/Prop/Double_rounding.v", line 125, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 206, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 317, characters 2-68:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 320, characters 2-68:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 383, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 463, characters 2-46:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 467, characters 2-49:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 485, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 490, characters 2-50:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 500, characters 4-33:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 502, characters 4-33:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 591, characters 2-68:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 594, characters 2-68:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 609, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 693, characters 0-72:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 718, characters 0-254:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 749, characters 0-273:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 773, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 801, characters 0-60:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 804, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 834, characters 4-46:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 887, characters 6-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 907, characters 2-66:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 930, characters 4-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 931, characters 4-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 935, characters 4-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 938, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 940, characters 6-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 943, characters 6-12:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 986, characters 8-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1006, characters 4-42:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1017, characters 4-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1036, characters 0-108:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1039, characters 0-79:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1047, characters 2-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1048, characters 0-33:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1056, characters 2-45:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1091, characters 6-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1094, characters 6-26:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1118, characters 4-60:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1143, characters 4-37:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1154, characters 6-39:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1201, characters 2-94:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1207, characters 6-52:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1211, characters 6-52:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1216, characters 6-52:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1227, characters 6-12:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1264, characters 4-23:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1265, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1291, characters 2-107:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1314, characters 8-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1337, characters 6-12:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1338, characters 2-110:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1347, characters 4-55:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1350, characters 4-33:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1385, characters 0-79:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1395, characters 2-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1404, characters 2-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1405, characters 2-57:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1407, characters 4-52:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1409, characters 4-39:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1415, characters 4-98:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1431, characters 6-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1438, characters 2-96:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1504, characters 10-72:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1509, characters 6-62:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1535, characters 4-37:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1546, characters 6-39:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1628, characters 0-80:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1628, characters 0-80:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1628, characters 0-80:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1628, characters 0-80:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1631, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1686, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1690, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1694, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1698, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1753, characters 2-140:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1757, characters 2-140:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1761, characters 2-136:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1765, characters 2-94:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1835, characters 4-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1836, characters 4-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1840, characters 4-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1843, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1845, characters 6-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1848, characters 6-12:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1865, characters 0-108:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1868, characters 0-79:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1875, characters 0-33:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1883, characters 2-45:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1917, characters 2-65:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1943, characters 4-56:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1969, characters 4-37:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 1980, characters 6-39:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2011, characters 2-94:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2017, characters 6-52:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2021, characters 6-52:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2026, characters 6-52:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2037, characters 6-12:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2074, characters 4-23:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2075, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2099, characters 0-79:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2116, characters 2-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2117, characters 2-57:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2119, characters 4-52:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2121, characters 4-39:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2138, characters 4-28:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2167, characters 6-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2207, characters 10-68:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2212, characters 6-58:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2239, characters 4-37:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2250, characters 6-39:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2334, characters 0-91:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2334, characters 0-91:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2334, characters 0-91:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2334, characters 0-91:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2337, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2396, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2400, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2404, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2408, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2467, characters 2-140:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2471, characters 2-140:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2475, characters 2-136:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2479, characters 2-94:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2549, characters 2-57:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2553, characters 2-67:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2590, characters 0-32:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2641, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2657, characters 4-52:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2701, characters 4-51:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2734, characters 10-74:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2747, characters 4-36:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2751, characters 4-33:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2790, characters 10-39:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2795, characters 8-55:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2838, characters 6-59:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2850, characters 8-56:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2855, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2860, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2861, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2881, characters 0-62:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2922, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2925, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2929, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2970, characters 2-96:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2973, characters 2-100:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2978, characters 4-100:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 2983, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3060, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3076, characters 4-52:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3120, characters 4-51:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3165, characters 4-36:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3169, characters 4-33:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3206, characters 10-30:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3211, characters 8-55:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3266, characters 6-59:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3278, characters 8-56:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3283, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3288, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3289, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3310, characters 0-73:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3353, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3356, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3360, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3403, characters 2-96:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3406, characters 2-100:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3411, characters 4-100:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3416, characters 4-10:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3482, characters 2-31:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3491, characters 2-68:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3495, characters 2-65:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3528, characters 4-48:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3533, characters 6-35:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3560, characters 0-71:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3568, characters 4-99:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3583, characters 4-93:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3593, characters 4-70:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3600, characters 6-75:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3605, characters 6-37:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3632, characters 0-79:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3636, characters 0-74:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3683, characters 2-55:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3686, characters 2-56:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3691, characters 2-51:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3695, characters 6-66:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3706, characters 10-65:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3710, characters 10-87:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3727, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3831, characters 8-83:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3845, characters 4-36:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 3853, characters 4-33:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4002, characters 8-83:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4019, characters 4-50:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4029, characters 4-33:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4065, characters 6-123:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4141, characters 8-83:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4215, characters 6-123:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4228, characters 4-50:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4236, characters 4-33:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4382, characters 0-30:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4383, characters 0-47:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4428, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4433, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4438, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4443, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4448, characters 2-8:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4494, characters 2-94:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4497, characters 2-188:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4502, characters 2-196:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4507, characters 2-188:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Prop/Double_rounding.v", line 4512, characters 2-188:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Prop/Double_rounding.vo
Building src/IEEE754/Binary.vo
File "./src/IEEE754/Binary.v", line 654, characters 0-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 682, characters 0-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 731, characters 23-37:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 741, characters 0-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 892, characters 0-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1094, characters 0-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1099, characters 0-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1102, characters 44-58:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1105, characters 55-69:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1116, characters 0-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1274, characters 0-27:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1279, characters 0-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1282, characters 44-58:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1285, characters 55-69:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1296, characters 0-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1373, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1482, characters 0-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1583, characters 7-19:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 1602, characters 7-19:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 2153, characters 2-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 2190, characters 0-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 2214, characters 0-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Binary.v", line 2233, characters 0-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/IEEE754/Binary.vo
Building src/IEEE754/Bits.vo
File "./src/IEEE754/Bits.v", line 46, characters 2-34:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 49, characters 2-34:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 57, characters 2-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 59, characters 2-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 68, characters 2-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 69, characters 2-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 70, characters 2-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 88, characters 2-34:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 91, characters 2-34:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 102, characters 4-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 111, characters 4-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 112, characters 4-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 116, characters 2-51:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 178, characters 31-45:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 246, characters 0-150:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 246, characters 0-150:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 246, characters 0-150:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 248, characters 7-55:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 248, characters 7-55:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 248, characters 7-55:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 248, characters 7-55:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 256, characters 18-30:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 266, characters 0-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 272, characters 0-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 273, characters 28-42:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 285, characters 0-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 290, characters 0-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 308, characters 2-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 316, characters 2-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 324, characters 6-23:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 328, characters 6-50:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 328, characters 6-50:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 330, characters 6-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 332, characters 6-30:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 334, characters 6-44:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 336, characters 6-51:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 336, characters 6-51:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 339, characters 6-23:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 373, characters 2-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 392, characters 0-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 400, characters 18-39:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 402, characters 0-19:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 409, characters 0-60:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 413, characters 28-34:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 455, characters 0-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 474, characters 0-29:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 479, characters 0-19:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 506, characters 18-32:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 512, characters 18-32:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 525, characters 0-14:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 530, characters 0-19:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 537, characters 0-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 550, characters 0-22:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 591, characters 8-20:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 596, characters 0-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/IEEE754/Bits.v", line 604, characters 0-28:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/IEEE754/Bits.vo
Building src/Pff/Pff.vo
File "./src/Pff/Pff.v", line 843, characters 0-41:
Error: No such goal.

Failed to build src/Pff/Pff.vo
Failed to build all
error: Bad exit status from /home/pterjan/rpmbuild/tmp/rpm-tmp.4kNN4v (%build)

RPM build errors:
    Bad exit status from /home/pterjan/rpmbuild/tmp/rpm-tmp.4kNN4v (%build)
I: [iurt_root_command] ERROR: chroot