Logic, languages and systems
-
IMDEA Software
- Madrid
- https://software.imdea.org/~aliaksandr.hryzlou/
Block or Report
Block or report clayrat
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
idris-hackers/software-foundations
idris-hackers/software-foundations PublicSoftware Foundations in Idris
-
gallais/idris-tparsec
gallais/idris-tparsec PublicTParsec - Total Parser Combinators in Idris
-
sbp/idris-bi
sbp/idris-bi PublicIdris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
-
-
645 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
clayrat/guarded-cm,
clayrat/logrel-guarded,
ucsd-progsys/liquidhaskell
and 24 other
repositories
Contribution activity
March 2024
Created 4 commits in 3 repositories
Created a pull request in ucsd-progsys/liquid-fixpoint that received 9 comments
print SMT preamble to the logfile when constructing context + fix CircleCI
While investigating ucsd-progsys/liquidhaskell#2272 we've discovered that since #641 the SMT preamble is no longer printed to the .smt2
logfile. Th…
+4
−4
lines changed
•
9
comments
Created an issue in ucsd-progsys/liquidhaskell that received 14 comments
Set measures generate erroneous constraints when applied to non-polymorphic datatypes
Typechecking the following program: {-@ LIQUID "--reflection" @-} module SngBug where import Data.Set data Lst a = Emp | Cons a (Lst a) {-@ measure…
14
comments
Opened 2 other issues in 1 repository
clayrat/fav-ssr
2
open
-
add github actions CI for typechecking commits
This contribution was made on Mar 1
-
coq-algs
This contribution was made on Mar 1