|
|
@@ -115,6 +115,12 @@ Performance over time
|
|
|
for test semantics/big_step_maximality/test_ortho_takemany.xml
|
|
|
|
|
|
|
|
|
+commit ec39dd73ea42a9ccee6f1edc8863b36625e0721a - Dec 20, 2020 - put reusable stuff in library
|
|
|
+
|
|
|
+binary size, opt-level=3: 422192 bytes
|
|
|
+instruction count (perf stat) (opt-level=3): 571.641 instructions:u
|
|
|
+
|
|
|
+
|
|
|
commit 354576dd47587fd8e6277539a26a4743b2167565 - Dec 17, 2020 - action lang working
|
|
|
|
|
|
binary size, no opt: 513760 bytes
|
