profile
viewpoint
Philipp Paulweber ppaulweber @casm-lang Vienna, Austria https://ppaulweber.com Researcher @complang.tuwien.ac.at and PhD Student @cs.univie.ac.at, Creator of @casm-lang, and Embedded Software Engineer @fiskaly.

casm-lang/libstdhl 3

Standard High-Level Library

ppaulweber/3iotBox 1

3iotBox – 3 IoT Complete Box

ppaulweber/gilapv 1

GitLab CE Projectfile Viewer Plugin

casm-lang/casm-lang.container.linux 0

Linux C++ Build Environment

casm-lang/casm-lang.pkg.flatpak 0

CASM FlatPak Linux Package Configuration

casm-lang/libhayai 0

Hayai C++ Benchmarking Framework Library

casm-lang/libpass 0

Compiler Pass Infrastructure Facility

casm-lang/publication 0

CASM Publications

ppaulweber/academic-www 0

📖 Documentation site for Academic Website Builder

startedpinpt/agent

started time in 6 hours

startedppaulweber/linux-mba

started time in 9 hours

startedgolang/build

started time in 4 days

startedakamensky/argparse

started time in 6 days

startedstbrumme/hash-library

started time in 10 days

startedrobertkrimen/godocdown

started time in 12 days

fork fkorotkov/goreleaser

Deliver Go binaries as fast and easily as possible

https://goreleaser.com

fork in 13 days

fork fkorotkov/grpc-go

The Go language implementation of gRPC. HTTP/2 based RPC

https://grpc.io

fork in 15 days

starteddiniska/swiftui-system-colors

started time in 15 days

startedmachyve/xhyve

started time in 16 days

startedppaulweber/linux-mba

started time in 17 days

push eventcasm-lang/libasmjit

kobalicek

commit sha fe89388e52ff262d684c96bd2812eeab24aa96e3

Added problem matchers to CI workflow

view details

kobalicek

commit sha 2199c7d4e7b6a67ddac6d864e12d47b4f32e3679

Improved CI problem matching by always doing out-of-source build (Ninja issue)

view details

kobalicek

commit sha 4b13f71314c17362ae7bdbc713d66935f85d66be

Improved GitHub workflows

view details

push time in 18 days

startedlestrrat-go/jsschema

started time in 19 days

fork fkorotkov/syscoin

Syscoin is a crypto currency that is universally merge-mineable and offers a unique variety of services including decentralized identities, asset token issuance platform capabilities directly on the blockchain and trustless 0-counterparty interoptibility with the Ethereum blockchain

https://www.syscoin.org

fork in 19 days

fork fkorotkov/sos

A unified tool for collecting system logs and other debug information

http://sos.rtfd.org

fork in 20 days

startedrapidloop/pgmetrics

started time in 20 days

push eventcasm-lang/libz3

Nikolaj Bjorner

commit sha e2fbd05fe7f37ab0d5ddcf6fc729ed2ee1e6840b

adding argument restriction to mbqi, fix tracking of m_src/m_dst for expr_safe_replace and avoid resetting the cache.

view details

Nikolaj Bjorner

commit sha 07680408a69c7688a54ed6e1c59bced5c7d249a1

add flag to control whether ite-lifting under quantifiers is conservative or full for #4746, use smt.q.lift_ite=2 to obtain legacy behavior Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Ding Fei

commit sha c40a67da7d1915f00d12703080d057faefce5408

avoid use of uninit member (m) (#4761) Co-authored-by: Ding Fei <fei.ding@ustchcs.com>

view details

Ding Fei

commit sha da0e140e1c3edd9a7480500ca6cd42bc201822b2

fix git dir for git-dependency in cmake (#4759) This is not fixed as #1993 stated. Co-authored-by: Ding Fei <fei.ding@ustchcs.com>

view details

Nikolaj Bjorner

commit sha 2e684d58d229a4f3eb4bc8a9f3b3c1b9d9bcfe68

redo purification Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha 0de31496344e69e5cbb0b1310818ea76425ddbf8

fix #4763 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha 601ba2a3616aecabeafcf93dd8b5556372d0f927

#4765 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha 9026ff28bca557d276c00dad9d225de1c6287b5c

#4762

view details

Nikolaj Bjorner

commit sha 91511f73a036559bdb49089e3ea1c0406dba30ac

fix #4744

view details

Nikolaj Bjorner

commit sha ac4bcb9034839d6f95b6f091f74ab10cc2b510c9

update logging for lemmas

view details

Nikolaj Bjorner

commit sha c07cfc0e6971f8696a7ed553155885f64196fa4a

include path to thread and guard by SINGLE_THREAD Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha ceedd7e84dde6f6259bef70784aafe91513fe08e

#4721 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha f354671465a3bce85d4e3a484a6aeb8a96fe3676

add parameter for scenario from #4743

view details

Nikolaj Bjorner

commit sha 0e1def5bd6950e7e967348335e04be5905e99626

fix #4736

view details

Nuno Lopes

commit sha 1730bc7c7ff2e42d88a4316d872392ac9307f727

fix #4763: shell not finishing before hard timeout The timer thread for the hard timeout was leaking and thus the thread only exited on timeout

view details

Christoph M. Wintersteiger

commit sha c03c395267dee98032f8d68124eecd72ceec50ca

Add missing assertion. Fixes #4642.

view details

Nikolaj Bjorner

commit sha d64bc795f0f2a5e6ecdca17c1f5143a348a5d5be

wrong assert, compiler warnings Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha a764d528a1f31f75c8db76cd706fd08620366149

'clean Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha fb6e7e146bdec63b34fec628f548653ab51bb6b3

test mbi Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha ab199dedf9f6bf21bd16c9e5869e7eb71575a58b

debug arith/mbi Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

push time in 22 days

fork jhohisel/linux-mba

linux-mba: Linux Kernel for MacBook{Air8.x,Pro15.y} with systemd setup (Arch, Debian, Ubuntu etc.)

fork in 22 days

fork Locke/PASS-Standard-Book-Tex-Project

A Tex-Only Excerpt from the Standard-Document Intended For Shared Editing via the Overleaf-Platform

fork in 23 days

push eventcasm-lang/libasmjit

kobalicek

commit sha b73830c291531bf9712f3f2df240ca1bda769709

Fixed some mistakes introduced in the previous commit

view details

kobalicek

commit sha 0e04695f64028034b1376ecf577592992e8552fc

Fixed broken CI

view details

kobalicek

commit sha 168f2c17bfe27e4ffa5b06eb84cc2cd4ea0aa78e

Don't mark BaseBuilder::dump() as ASMJIT_API

view details

kobalicek

commit sha bd4f7c67e7324f5b19b78ac23cc9bb2e6d058093

Improved x86::Compiler to use x86::Builder::finalize() instead using its own.

view details

kobalicek

commit sha cab5795858c74fc5c543b6a70df640411f3d5430

Revert the last change

view details

kobalicek

commit sha 4ea9f8ab5dcdedc48f6bc9377f2c97af6574dba5

Added a possibility to encode movsxd with 16-bit and 32-bit operands

view details

kobalicek

commit sha d4c54e099c484c6599be36e3b58cc7caa8596db1

[Bug] Fixed ASMJIT_CXX_MAKE_VER to not use PATCH, which doesn't exist anymore

view details

kobalicek

commit sha 87c566a32e75a2f7c89f90521ceadc46279a4079

[Bug] Fixed validation of memory operand with Label as a base address.

view details

kobalicek

commit sha 5bd643058a8961d4a206c9733c935ba32687c028

Improved embedLabel() - now it's possible to specify the dataSize

view details

kobalicek

commit sha 3535263419c214448d90781c698dc70f95528e75

Added ASMJIT_API to BaseEmitter::_emitOpArray() + other minor changes

view details

kobalicek

commit sha ba30278d66438815981b7c0ca9ed4ebb11266d3a

Added support for more X86 extensions (AMX, AVX512_VP2INTERSECT, MCOMMIT, RDPRU, SERIALIZE, SNP, TSXLDTRK)

view details

kobalicek

commit sha 75f2b69a260b5f0021cc9ebefb5cf6f9ad3e55b4

Added new instructions and removed deprecated PCOMMIT

view details

kobalicek

commit sha ae4ad9075daa84daa4a5405572bc1fdb83ca2ea8

Fixed signatures of recently added ud0 and ud1 instructions, added two-operand NOP (fixes #217)

view details

kobalicek

commit sha 2de7e742443e23b925b830c415268ce1470341ce

Instruction validator now doesn't pass 'push/pop [mem]' having unknown size

view details

kobalicek

commit sha c1304558980cc01500f5e53ac5524f321c471249

Added ASMJIT_NO_FOREIGN compile-time option to disable non-host architectures in the future

view details

kobalicek

commit sha 509866ef1204a8e2190c1acfece08941d90df2a0

[Bug] Fixed invalid code generation related to lookup tables (Compiler)

view details

kobalicek

commit sha 8474400e82c3ea65bd828761539e5d9b25f6bd83

[Bug] Fixed RW info of string instructions, fixed lodsx() helper intructions in emitter

view details

kobalicek

commit sha 10be0c8f1ddf1ba385bc1015d7947b3387130a93

Added parameter pack to function arguments and return values

view details

kobalicek

commit sha 0646d0a48f7cc36e0e641017f410881c21136420

[Bug] Added a possibility to order sections so the address table section can stay last even when user creates sections after it has been created (#293)

view details

Markus Schmidl

commit sha 8f25116f2bea8f5e0604dae867be817e3f12bac1

[Bug] Extended Family Id calculation incorrect (fixes #298)

view details

push time in 24 days

startedpgrimaud/instagram-user-feed

started time in 25 days

startedCISOfy/lynis

started time in 25 days

startedpatina27/Switch-PokemonAutoBreeder

started time in a month

startedmm-adt/vm

started time in a month

startedkjahed/papyrusrt-buildfix

started time in a month

push eventcasm-lang/libz3

Nuno Lopes

commit sha 0c354c7aab4aa4db38eb5611d9c0a20e0c0812f5

obj_map: fix move constructor

view details

John Regehr

commit sha a95c35dadbfdcc86cb7e483b3c0b8e9063cc1e6b

thread pool for scoped_timer (#4748) creating a fresh thread for every scoped_timer has significant overhead in some use cases. this patch creates a persistent pool of worker threads to do this job, resulting in 20-30% speedup of some alive2 jobs on a large multicore

view details

Nikolaj Bjorner

commit sha a52303c4fbe9ede44d96c64f6786183e3c4542d0

srp Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha 0301d2e05e50d321be3cbb8bd105c739daca9f34

#4750 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha 9bd7df7e19a3e6f7536d83e16fb1006331367f1a

add stub for finalize Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha c9900720f8180cf202f52f23f20d024c11ea6a24

na Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha a083633ab437e00e64e0d58bcd069f201b2efcd6

fix #4749 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha a4aa87b6c90f4c2cb20737f61e7dc47059c03d13

revert to STL allocated memory to be orthogonal to memory manager behavior Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nuno Lopes

commit sha 0213af3c61d5ff9cb0e24a692d86369ccd1a645e

replace remaining volatiles with atomic<> volatiles are now deprecated in recent C++

view details

Nuno Lopes

commit sha 4e9035d4b9f7b42b9cb1f07b2d901ae80fd83fba

cleanup thread pool of scoped_timer on memory finalize but keep it alive on Z3_memory_reset()

view details

Nuno Lopes

commit sha aaa1af5b2866509453e54141d095b35e16d62f37

fix debug build

view details

Nuno Lopes

commit sha 9c08b60b5a53b3e4812efc8aa31bddfbf0268594

c++ example: call Z3_finalize_memory() so that the buildbot leak checker doesnt complain about reachable memory

view details

Andy Wright

commit sha 34e0e26e3d4034af1e2550ebdde74bf37a022134

Fixed model translate method in Python API (#4753)

view details

Nikolaj Bjorner

commit sha 1ee2ba2a9b3c3543082943f60fb4cd603d3d067d

mbqi Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha 8d76470a8af82eb06195df859c7db9cbaa9d5c54

fixes to mostly solver arith/euf and backtracking scopes

view details

Nikolaj Bjorner

commit sha 3ba857fb04d1c125876910c6c3060173a282bb4a

add alternate caching mechanism to allow experimenting for #4747 @nunoplopes @aqjune you can experiment by setting ALIVE_OPT to 1 and see if this helps. A further possible optimization is to persist the "subst" object on the api_context object. Then in Z3_substitute in api_ast.cpp, instead of declaring locally expr_safe_replace subst(m); you can use an attribute on the context to retrieve the same substitution object. It is not easy to figure out if this matters without having some profiling information so I hope you can determine on your side whether this is useful.

view details

Pierre Bouvier

commit sha f3147d6e220bd23dee7fd9996838ae1ba22982a1

Fix: QF_UFDT has UF (#4755)

view details

Nikolaj Bjorner

commit sha e962deb55747c5b8a2a465278d66f1950e59b557

remove also second hash-table for ALIVE_OPT #4747 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Nikolaj Bjorner

commit sha 9e9963d7657e6779545969414ecbb0e2c5ce2e16

remove also second hash-table for ALIVE_OPT #4747 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

view details

Pierre Bouvier

commit sha 24321e311bd74ca6a38e580395ab7ac69229a65f

Add support of the SunOS platform (Solaris, OpenSolaris, OpenIndiana) (#4757) * Add support of the SunOS plateform (OpenSolaris, OpenIndiana) in scripts/mk_util.py * Add missing casts for the SunOS plateform (OpenSolaris, OpenIndiana) for the pow function

view details

push time in a month

startedmongodb-js/boxednode

started time in a month

fork jordicf/ap1-codis-2020-2021

Codis escrits a classe pel curs d'AP1 durant el curs 2020-2021

fork in a month

startedtyler-smith/go-bip39

started time in a month

fork fkorotkov/lerna-yarn-workspaces-example

How to build TypeScript mono-repo project with yarn and lerna

fork in a month

more