profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/mgudemann/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Matthias Güdemann mgudemann professor for formal methods in computer science

flycheck/flycheck-mercury 7

Mercury syntax checker for Flycheck

mgudemann/cmsat 1

Simple C API to build Cryptominisat FFI bindings

diffblue/BlueCov 0

A tool for instrumenting Java bytecode based on properties defined by JBMC

ManuelHertle/Haskell-01 0

Aufgabe ggT

mgudemann/arithmetic-circuits 0

Arithmetic circuits for zero knowledge proof systems

mgudemann/awesome-static-analysis 0

A curated list of static analysis tools, linters and code quality checkers for various programming languages

mgudemann/awesome-zero-knowledge-proofs 0

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

mgudemann/bbb-scrape 0

Scrape Big Blue Button

push eventmgudemann/glabs

Matthias Güdemann

commit sha 0123456f37e997fcdcdece2c88013aa9e84923e1

Add note about paths and $HOME substitution

view details

push time in 4 days

create barnchmgudemann/glabs

branch : enhancement/some_additional_docs

created branch time in 4 days

fork mgudemann/glabs

Manage GitLab for Labs from the Command Line

fork in 4 days

CommitCommentEvent

create barnchmgudemann/projectReadonly

branch : main

created branch time in 16 days

create barnchmgudemann/projectReadonly

branch : dev

created branch time in 16 days

created repositorymgudemann/projectReadonly

created time in 16 days

push eventdiffblue/BlueCov

Matthias Güdemann

commit sha 20bb4703693203006cec104a96243e59158304d1

Rename `cbmcName` to `jbmcName`

view details

Matthias Güdemann

commit sha dbeb40fc981aec76784a13460e0cadb304669347

Merge pull request #1 from mgudemann/enhancement/rename/cbmcName_to_jbmcName Rename `cbmcName` to `jbmcName`

view details

push time in 21 days

PR merged diffblue/BlueCov

Rename `cbmcName` to `jbmcName`

Renaming instances of CBMC to JBMC

+9 -9

0 comment

2 changed files

mgudemann

pr closed time in 21 days

push eventdiffblue/BlueCov

Matthias Güdemann

commit sha e4d0139bdcc2c0bd38541222f8647f7822477607

Update versions of ASM and MapDB ASM 9.2 understands major 55 MapDB 3.0.8 fixes a problem with Cleanup

view details

Matthias Güdemann

commit sha 6de94287aba116fffe2aaa2a52a8c5399835f0dd

Merge pull request #2 from mgudemann/update/bump_versions Update versions of ASM and MapDB

view details

push time in 21 days

PR merged diffblue/BlueCov

Update versions of ASM and MapDB

ASM 9.2 understands at least major 55 MapDB 3.0.8 fixes a problem with Cleanup

+2 -2

0 comment

1 changed file

mgudemann

pr closed time in 21 days

create barnchmgudemann/cbmc

branch : debug/jbmc/bytecode_indices_basic_blocks

created branch time in 22 days

issue commentdiffblue/BlueCov

Some tests fail with `Unable to make field private static ... accessible ...`

seems to be the same problem as described here https://stackoverflow.com/questions/41265266/how-to-solve-inaccessibleobjectexception-unable-to-make-member-accessible-m

mgudemann

comment created time in 22 days

issue openeddiffblue/BlueCov

Some tests fail with `Unable to make field private static ... accessible ...`

java.lang.reflect.InaccessibleObjectException: Unable to make field private static java.util.IdentityHashMap java.lang.ApplicationShutdownHooks.hooks accessible: module java.base does not "opens java.lang" to unnamed module @b6a0f7

created time in 22 days

PR opened diffblue/BlueCov

Update versions of ASM and MapDB

ASM 9.2 understands at least major 55 MapDB 3.0.8 fixes a problem with Cleanup

+2 -2

0 comment

1 changed file

pr created time in 22 days

create barnchmgudemann/BlueCov

branch : update/bump_versions

created branch time in 22 days

create barnchmgudemann/BlueCov

branch : fix/use_parameter

created branch time in 23 days

create barnchmgudemann/BlueCov

branch : enhancement/make_logger_camelcase

created branch time in 23 days

PR opened diffblue/BlueCov

Reviewers
Rename `cbmcName` to `jbmcName`

Renaming instances of CBMC to JBMC

+9 -9

0 comment

2 changed files

pr created time in 23 days

create barnchmgudemann/BlueCov

branch : enhancement/rename/cbmcName_to_jbmcName

created branch time in 23 days

fork mgudemann/BlueCov

A tool for instrumenting Java bytecode based on properties defined by JBMC

fork in 23 days

push eventmgudemann/sat-solver

Matthias Güdemann

commit sha c5ce95337abad1eb928ea408c4caa6406e0e106a

Add some TODO tasks

view details

push time in a month

issue commentkframework/k

Failed to run test case (locales and unicode)

I know this is an old issue, but I just ran into the same problem.

~/s/g/K/k (master|✔) $ locale
LANG=C.UTF-8
LANGUAGE=en
LC_CTYPE="C.UTF-8"
LC_NUMERIC="C.UTF-8"
LC_TIME="C.UTF-8"
LC_COLLATE="C.UTF-8"
LC_MONETARY="C.UTF-8"
LC_MESSAGES="C.UTF-8"
LC_PAPER="C.UTF-8"
LC_NAME="C.UTF-8"
LC_ADDRESS="C.UTF-8"
LC_TELEPHONE="C.UTF-8"
LC_MEASUREMENT="C.UTF-8"
LC_IDENTIFICATION="C.UTF-8"
LC_ALL=

on Mint 20

5.4.0-84-generic #94-Ubuntu SMP Thu Aug 26 20:27:37 UTC 2021 x86_64 x86_64 x86_64 GNU/Linux
dongbiao830415

comment created time in a month

push eventmgudemann/sat-solver

Matthias Güdemann

commit sha 00000009394dfbf75872b5d5cc7f436e8cbfb875

Update LTS to 18.8

view details

push time in a month

push eventmgudemann/sat-solver

Matthias Güdemann

commit sha 000000a52ab79067a84a4ed60f7f9e6d11dfedd4

Update LTS to 18.8

view details

push time in a month

push eventmgudemann/sat-solver

Matthias Güdemann

commit sha 48fc26410e816d36fa54f807c76170af6f3d42af

Update LTS to 18.8

view details

push time in a month

push eventmgudemann/sat-solver

Matthias Güdemann

commit sha c0ff4c0bc6cf68f4ee3276119945fbf2b650ef9c

Remove .prof files

view details

Matthias Güdemann

commit sha 73e7a93df13d2a3fc1077a391f03a4019e3cb5e8

Update cabal file

view details

Matthias Güdemann

commit sha 8e8b9285942ec8e34440440be37fbaf36251bbdb

Update LTS to 18.8

view details

push time in a month

create barnchmgudemann/sat-solver

branch : main

created branch time in a month

created repositorymgudemann/sat-solver

SAT Solver written in Haskell

created time in a month