GitHub Activity
Recent commits and contributions to open source projects.
- Commit staticmon
c7fde45Letpast
• matthieugras/staticmon - Commit staticmon
d122518Make since more eager
• matthieugras/staticmon - Commit staticmon
f9701e5Fix bug in mpredicate & add builtin predicates
• matthieugras/staticmon - Commit staticmon
13526daFix bug in mpredictate and mlet
• matthieugras/staticmon - Commit staticmon
c2fc127Let support
• matthieugras/staticmon - Commit staticmon
9302537Fix bug in Until
• matthieugras/staticmon - Commit staticmon
127b857Switched to monpoly for random test verification
• matthieugras/staticmon - Commit staticmon
60c98faFix bug in binary buffer
• matthieugras/staticmon - Commit staticmon
9e90801Ignore Monpoly failures with generated formulas
• matthieugras/staticmon - Commit staticmon
5d925feFix bug in AntiJoin
• matthieugras/staticmon - Commit staticmon
52f72c2Random tests with future and aggregations
• matthieugras/staticmon - Commit monpoly
b68b2daMerge branch 'upstream_master' into workbranch
• matthieugras/monpoly - Commit staticmon
4d20963Fixed bugs in Until/Eventually
• matthieugras/staticmon - Commit staticmon
43f84caBump Fmt library
• matthieugras/staticmon - Commit staticmon
a4bacfeLower CMake version
• matthieugras/staticmon