Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
B
b2program
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Iterations
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Test cases
Artifacts
Deploy
Releases
Help
Help
Support
GitLab documentation
Compare GitLab plans
GitLab community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
b2program
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
40e9c967a82fad78f40d6dced869931e3ecd53da
Select Git revision
Selected
40e9c967a82fad78f40d6dced869931e3ecd53da
Branches
6
master
default
protected
btypes-fixes
embedded-codegen
freetypes
rust-support
z3solver
7 results
Begin with the selected commit
Created with Raphaël 2.2.0
6
Oct
5
4
3
2
1
29
Sep
28
20
18
24
Aug
22
21
19
18
17
16
9
8
7
4
Jul
16
May
9
8
25
Apr
24
23
22
20
19
18
17
16
15
14
31
Jan
30
4
Dec
28
Nov
22
21
8
26
Oct
17
5
4
Aug
3
2
28
Jul
27
21
20
19
13
12
11
10
5
29
Jun
27
26
22
12
9
8
11
May
4
24
Apr
23
20
19
18
17
15
14
13
12
11
30
Mar
27
23
13
9
6
2
27
Feb
23
16
9
30
Jan
8
3
13
Dec
9
16
Nov
14
13
12
Oct
1
Sep
29
Aug
22
19
18
15
12
11
10
9
8
5
29
Jul
28
27
26
25
14
11
9
8
Do not optimize projection with record type
Revert change in SetWithPredicateGenerator
Implement missing functions isTotalBoolean and isPartialBoolean in Java BRelation
Rewrite SET_RELATION
Fix a compilation error
Fix an error in handling tuples
Implement checkDomainBoolean in BRelation
Fix tests due to warning
Fix a typo in RelLaws_BOOL1
Fix FunLaws test
Fix FunLaws test
Improve type inference for rel, and handle void type more specifically
Use BObject as void types for untyped constructs
Fix SeqLaws test
Distinguish between sets and relations in domain and range operator
Help type checker in conc operation in Java BRelation
Help Java's compiler with typing more actively
Rewrite sequences to functions
Try to fix in error caused while handling conditional predicate in iteration construct too strict
Weaken testSetLawsNatural as its execution takes too long
Fix an error when handling identity
Remove TODOs that are solved
Carefully remove conditional predicates in inner constructs of quantified constructs
Fix output for SetLawsNat test
Try to fix handling conditional predicates
Add conditional predicate to iteration constructs in TypeScript template
Add conditional predicate to iteration constructs in C++ template
Fix an NPE in IterationPredicateGenerator.java
Carefully remove conditional predicate within quantified construct
Fix handling of conditional predicate before quantified construct
Fix errors in intersection for Java and TypeScript
Fix intersect in C++ BSet primitives
Fix generalized intersection for TypeScript
Fix generalized intersection for C++
Fix generalized intersection for Java
Fix an error in generalized union for BSet
Fix generalized union for C++
Fix generalized union for JavaScript
Remove debug prints
Fix a compilation error in BSet.java
Loading