GitHub Activity

Recent commits and contributions to open source projects.

Commit staticmon 267091d

Minor refactor

Aug 4, 2022 • matthieugras/staticmon
Commit staticmon 05aabe2

Switch back to Verimon for testing

Aug 2, 2022 • matthieugras/staticmon
Commit staticmon 42cf4c1

Fix bug in once

Aug 2, 2022 • matthieugras/staticmon
Commit staticmon c7fde45

Letpast

Aug 2, 2022 • matthieugras/staticmon
Commit staticmon d122518

Make since more eager

Jul 28, 2022 • matthieugras/staticmon
Commit staticmon f9701e5

Fix bug in mpredicate & add builtin predicates

Jul 27, 2022 • matthieugras/staticmon
Commit staticmon 13526da

Fix bug in mpredictate and mlet

Jul 26, 2022 • matthieugras/staticmon
Commit staticmon c2fc127

Let support

Jul 26, 2022 • matthieugras/staticmon
Commit staticmon 9302537

Fix bug in Until

Jul 25, 2022 • matthieugras/staticmon
Commit staticmon 127b857

Switched to monpoly for random test verification

Jul 24, 2022 • matthieugras/staticmon
Commit staticmon 60c98fa

Fix bug in binary buffer

Jul 24, 2022 • matthieugras/staticmon
Commit staticmon 9e90801

Ignore Monpoly failures with generated formulas

Jul 23, 2022 • matthieugras/staticmon
Commit staticmon 5d925fe

Fix bug in AntiJoin

Jul 23, 2022 • matthieugras/staticmon
Commit staticmon 52f72c2

Random tests with future and aggregations

Jul 23, 2022 • matthieugras/staticmon
Commit monpoly b68b2da

Merge branch 'upstream_master' into workbranch

Jul 23, 2022 • matthieugras/monpoly

View full profile on GitHub