Mentions légales du service
Skip to content
GitLab
Explore
Sign in
MAILLARD Kenji
Dijkstra Monads for All
Repository
Branches
Overview
Active
Stale
All
general_recursive
04280642
·
refactoring the monad library
·
Apr 17, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
original_submission
46a112cd
·
Dijkstra monad polymorphic code + trivial example of for loop
·
Apr 17, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
ab42b89d
·
updating commits hash and making sure it compiles
·
May 29, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Next700RelationalProgramLogics
42b8add2
·
for some reason, it suddenly stopped compiling...
·
Sep 20, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
coq8.10
82fc6b5e
·
[quick_and_dirty] Write unary specs; equiv broken
·
Oct 01, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
monotonicity
d51335e1
·
nit
·
Oct 11, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
relational
a6ecabe8
·
more cleanup
·
Oct 22, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
theo
bdc1ed5c
·
Naive Monotonicity.
·
Oct 31, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dm4all+8.10
e6cf8750
·
Merge branch 'dm4all+8.10' of gitlab.inria.fr:kmaillar/dijkstra-monads-for-all into dm4all+8.10
·
Nov 27, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
relational_wip
90f6496f
·
Merge branch 'relational_wip' of...
·
Dec 13, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
coinductive_wip
9be00f5b
·
investigating streams as colimit of finite traces
·
Dec 13, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar