Skip to content

Instantly share code, notes, and snippets.

Mihail Slavchev slavchev

Block or report user

Report or block slavchev

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View level38.smt
;; https://iobservable.net/blog/2017/12/27/playing-with-z3-theorem-prover/
;; https://rise4fun.com/Z3/E8DL
(define-fun Mul5 ((x Int)) Int (* x 5))
(define-fun Sub6 ((x Int)) Int (- x 6))
(define-fun Append4 ((x Int)) Int
(ite (< x 0) (- (* x 10) 4) (+ (* x 10) 4))
)
(declare-fun s1Mul5 () Int)
View main-view-model.js
/*
make sure to edit your package.json as follows
"jsoptions": "--expose_gc --use_strict"
also comment line 135 in ui/core/dependency-observable.js as follows
//metadata.options = PropertyMetadataSettings.None;
*/
class Counter {
constructor(value) {
this.value = value;
}
View gist:cb699bcbb2041dfdd947
Nexus 4 (4.4.4)
[old runtime/debug]
I/Primitives: (31498): 3001ms
I/Strings: (31498): 4225ms
I/Big Data: (31498): 66891ms
//
I/Primitives:(31644): 3020ms
I/Strings:(31644): 4456ms
I/Big Data:(31644): 66118ms
You can’t perform that action at this time.