ekiwi

Have you tried compiling with address sanitizer? https://clang.llvm.org/docs/AddressSanitizer.html

Unfortunately C++ code is only portable if it is free from undefined behavior. Fortunately there are many tools now to debug these kinds of errors: https://blog.regehr.org/archives/1520

For the xpcc.io library, that I was involved with when I was in college, we ended up defining our own XML format and write importers for the custom formats that ST uses. For the LPC controllers from NXP we had to transcribe the information manually from the data sheet (our attempts to automatically parse the pdfs and extract the info never worked out).

Checkout the latest version (now called modm). A description of our device file format can be found here: https://github.com/modm-io/modm/blob/develop/devices/Readme.... If you are interested in the data for STMs, checkout: https://github.com/modm-io/modm-devices/tree/develop/devices...

> I want the tab-support in Terminal app back. Why was it removed in Gnome3?

have you tried Ctrl+Shift+T? (this opens a new tab on Fedora 27 with GNOME Terminal 3.26.2)

> we were able to make some legacy apps use SSL/TLS without adding any code at all

How did you deal with certificate validation?

Yes. You can try the following smt2 script with yices2 [0]:

  (set-logic QF_UFNIA)
  (declare-fun x () Int)
  (declare-fun y () Int)
  (declare-fun z () Int)
  (define-fun left-side () Int
  (+ (+
    (* (* x (+ x z)) (+ x y))
    (* (* y (+ y z)) (+ x y)))
    (* (* z (+ y z)) (+ x z)))
  )
  (define-fun right-side () Int
  (* (* (*
    4
    (+ y z))
    (+ x z))
    (+ x y))
  )
  ; disallow division by zero
  (assert (not (= 0 (+ y z))))
  (assert (not (= 0 (+ x z))))
  (assert (not (= 0 (+ x y))))
  (assert (= left-side right-side))
  (check-sat)
  (get-model)

Run this by calling yices-smt2 on it.

[0]: http://yices.csl.sri.com/