Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
P
personoj
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
Container 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
koizel
personoj
Graph
f2f43f56bc7c911fc80161fd4db0bf385a151253
Select Git revision
Branches
1
master
default
protected
1 result
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
19
Jul
23
Jun
22
14
10
Feb
5
4
3
2
1
31
Jan
29
28
27
26
25
24
22
21
20
18
17
16
15
12
9
8
7
6
4
3
2
20
Dec
19
18
16
15
14
13
12
10
9
8
26
Nov
25
24
22
21
18
17
15
8
1
24
Oct
23
20
19
18
15
14
12
11
10
9
5
27
Sep
25
24
23
20
17
4
3
31
Aug
30
15
Jul
29
Jun
25
May
20
19
17
Mar
16
1
9
Feb
7
19
Jan
16
Dec
14
5
4
1
30
Nov
28
27
31
Oct
30
28
20
19
11
9
2
29
Sep
25
24
Jul
8
7
1
21
Jun
20
17
3
2
27
May
26
22
18
17
14
11
27
Apr
23
22
21
20
17
15
14
13
12
9
8
7
6
4
3
2
1
30
Mar
24
23
21
17
12
11
10
9
5
4
3
2
28
Feb
27
26
24
21
20
17
2
31
Jan
30
29
16
13
8
18
Nov
25
Oct
24
Use implications instead of conjunctions
master
master
Some documentation on tests
Update tests
Formals encoded as *dependent* telescopes
Revert "Try to typecheck real_defs"
Make runtest exit with output 1 when test fails
Fixed telescopes
Try to typecheck real_defs
updating CI
add option to only translate prelude
Merge branch 'devel'
Prepare release 0.1
Merge branch 'devel'
Add lisp testing for prelude
Proper test for translator
Some notes, cast function
Updated translatable theories
Systematically get the supertype of expr-as-type
Update forbidden letters
Re introducing opacity
Slightly simpler formal handling
Don't store theory bindings
No need for *ctx*
Improvements over bindings
Allow abstract-over to take single elements
Better pprint formals
Handle full fledged telescopes
Documentation
Lisp testing
Dynamically bind global variables in pp-dk
More lisp for tests, prelude as a test
Merge branch 'lp2' into devel
Updating proof tools
Adapting json to new typechecking
CI nitpicks
Expliciting coercion rules
Use SBCL for common tasks
prelude check does not need psnj anymore
Merge branch 'devel' into lp2
fix tests
Loading