--- Day changed Fri Jul 06 2018
01:57 -!- belcher [~belcher@unaffiliated/belcher] has joined #secp256k1     
03:50 -!- roconnor_ [~roconnor@host-45-58-219-91.dyn.295.ca] has quit [Ping timeout: 240 seconds]     
04:15 -!- roconnor_ [~roconnor@host-45-58-219-91.dyn.295.ca] has joined #secp256k1     
04:26 -!- roconnor_ [~roconnor@host-45-58-219-91.dyn.295.ca] has quit [Ping timeout: 256 seconds]     
04:26 -!- roconnor_ [~roconnor@host-45-58-219-91.dyn.295.ca] has joined #secp256k1     
05:20 < roconnor_> make doesn't seem to build the "./tests" executable as implied by the README.
05:20 < roconnor_> also when I do "make tests" I get the error:
05:21 < roconnor_> $ make tests
05:21 < roconnor_>   CCLD     tests
05:21 < roconnor_> /nix/store/27x7pinqdsl9f3rpbm8bsszd9fhwq266-glibc-2.27/lib/crt1.o: In function `_start':
05:21 < roconnor_> /build/glibc-2.27/csu/../sysdeps/x86_64/start.S:104: undefined reference to `main'
05:21 < roconnor_> collect2: error: ld returned 1 exit status
05:21 < roconnor_> make: *** [Makefile:986: tests] Error 1
05:22 < roconnor_> perhaps I've misconfigured something
05:23 < roconnor_> oh I seem to have enable-tests=no.
05:23 < roconnor_> oops
05:23 < roconnor_> nevermind.
05:52 < andytoshi> heh, interesting. `make all` will build the tests; `make check` will build them and also run them for you if you're lazy
05:53 < andytoshi> i have never tried to directly build the tests binary like that
06:13 < roconnor_> make check seems to do different tests than running ./tests
06:14 < roconnor_> at least the output is completely different.
06:18 < andytoshi> the output is stylized for some reason
06:18 < andytoshi> but it runs ./tests and ./exhaustive_tests in order
06:18 < andytoshi> and outputs which ones returned a success return value (but not any of their actual output, which maybe appears in some log file?)
06:19 < roconnor_> ah     
06:20 < roconnor_> nickler: https://github.com/bitcoin-core/secp256k1/pull/453/files <- this sort of PR might make for a useful application of Verified C.  Only problem is that Verified C doesn't currently support uint128_t. :(
06:35 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 260 seconds]     
06:42 -!- belcher [~belcher@unaffiliated/belcher] has joined #secp256k1     
06:48 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 248 seconds]     
07:14 -!- roconnor_ [~roconnor@host-45-58-219-91.dyn.295.ca] has quit [Ping timeout: 260 seconds]     
07:56 -!- roconnor_ [~roconnor@host-45-58-219-91.dyn.295.ca] has joined #secp256k1     
08:01 -!- instagibbs [~instagibb@pool-100-15-128-78.washdc.fios.verizon.net] has quit [Ping timeout: 240 seconds]     
08:03 -!- instagibbs [~instagibb@pool-100-15-128-78.washdc.fios.verizon.net] has joined #secp256k1     
08:07 -!- ofek [~Ofekmeist@pool-68-134-55-153.bltmmd.fios.verizon.net] has quit [Ping timeout: 248 seconds]     
12:20 -!- deusexbeer [~deusexbee@080-250-076-058-dynamic-pool-adsl.wbt.ru] has quit [Ping timeout: 264 seconds]     
12:36 -!- belcher [~belcher@unaffiliated/belcher] has joined #secp256k1     
13:52 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 260 seconds]     
16:27 -!- deusexbeer [~deusexbee@095-129-169-128-dynamic-pool-adsl.wbt.ru] has joined #secp256k1