Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
S
stdpp
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Arthur Azevedo de Amorim
stdpp
Graph
24cc2e4786b2344e092e412f56e96c6971ab60d8
Select Git revision
Branches
6
coq-stdpp-1.0
master
default
protected
ralf/options
robbert/cbn
robbert/from_option
robbert/tc_opaque
Tags
6
coq-stdpp-1.4.0
coq-stdpp-1.3.0
coq-stdpp-1.2.1
coq-stdpp-1.2.0
coq-stdpp-1.1.0
coq-stdpp-1.0.0
12 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
6
Feb
1
29
Jan
28
25
24
19
13
11
19
Dec
16
15
14
12
30
Nov
28
26
22
20
12
11
10
9
8
4
1
15
Oct
7
4
30
Sep
18
1
Aug
23
Jul
17
10
30
Jun
29
28
25
23
21
20
18
14
10
9
7
6
5
30
May
29
28
24
23
14
9
27
Apr
24
21
18
11
10
9
6
5
3
28
Mar
27
22
21
8
6
23
Feb
22
21
19
16
15
13
12
9
8
3
2
31
Jan
25
23
14
13
12
10
19
Dec
18
17
8
5
4
29
Nov
28
22
21
20
18
16
12
11
9
3
1
31
Oct
28
27
24
20
19
18
17
16
13
10
9
7
6
29
Sep
28
27
26
24
21
20
19
18
17
8
6
2
22
Aug
17
8
2
5
Jul
26
Jun
30
May
25
1
Apr
20
Mar
17
16
15
14
11
9
8
1
23
Feb
22
19
16
15
14
13
10
9
7
6
4
3
31
Jan
9
Dec
8
6
5
29
Nov
24
23
22
21
20
19
18
17
16
15
10
7
27
Oct
13
4
3
28
Sep
27
21
20
14
9
29
Aug
24
22
19
17
8
4
2
1
27
Jul
25
23
22
20
12
11
5
3
1
30
Jun
26
23
18
14
1
31
May
30
29
27
23
4
29
Apr
13
11
7
30
Mar
29
23
22
21
11
10
5
4
3
2
27
Feb
26
25
24
23
22
21
20
19
17
16
15
14
13
11
10
9
8
4
2
1
27
Jan
22
20
18
16
Clean up imports in `infinite` file.
found some more URLs to update
update opam repo URL
update more URLs
update URL
fix or silence Coq 8.10 warnings
Make rtc an instance of PreOrder.
Better use of unicode in type classes test file.
Update years in copyright headers.
More consistency in relations.v.
Fix typo.
Merge branch 'ralf/notation' into 'master'
test against Coq 8.9.0
More documentation for solve_proper_prepare + introduce more.
update Makefile
COQTEST: get rid of old filtering stuff
tweak COQTEST output
use egrep -q
Merge branch 'ralf/tele' into 'master'
put notation into stdpp_scope
fix λ.. printing and test it
Merge branch 'master' of https://gitlab.mpi-sws.org/iris/stdpp
fix print spacing of telescopes
do not override notation
Merge branch 'instance-nobody-open-proof' into 'master'
Make trivial instances explicit
silence fewer warnings, add comment about overwriting notation
Merge branch 'robbert/bool_of_tc' into 'master'
`tc_to_bool P` to turn a type class into a Boolean that represents if there is an instance.
update CI config
Merge branch 'map_filter_lemmata' into 'master'
Add results about deleting and inserting filtered out elements
Merge branch 'master' into 'master'
Get rid of the awk.Makefile references
Inline equality premise in `map_insert_zip_with`.
Show that accessible elements do not loop.
Bit of clean up.
Type class version of `elem_of` for lists.
Merge branch 'add_docs_to_readme' into 'master'
Merge branch 'no-implicit-core' into 'master'
Loading