Ts

icon indicating a website link https://www.crowdford.com/

icon location Germany icon location You can find many of my repos in the @Crowdford and @WerewolvesRevamped organizations.

Results 3 issues of Ts

Segmentation fault in substitution

Hello, I'm trying to use substitution with the apron interface and am encountering segmentation faults whenever one of Abstract1's texpr substitution functions are called. Here's a simple example that causes...

Add support for Elina

3 comment

This is work in progress support for elina

student-job
performance
relational

Segmentation fault in hash for polyhedra

Hello, when trying to use the `Abstract1.hash` function with the polyhedra domain in the ocaml interface I'm encountering a segmentation fault. The function works as expected with apron's polyhedra domain....