Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
I
inox
Manage
Activity
Members
Labels
Plan
Issues
0
Issue boards
Milestones
Wiki
Code
Merge requests
6
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
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
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
LARA
inox
Graph
86e91b4e08dbe733a9139074e390b8c2db1eb70a
Select Git revision
Branches
11
add-blocker-graph-debug
add-map-equal-value-keys
dotty-compat
fix-stainless-1135
github/fork/SolalPirelli/sp/minimizer
github/fork/jad-hamza/replaceFromSymbols-positions
github/fork/mario-bucev/more-instantiation
main
default
refactor-parser
scala-2.12.13
scala-2.13
Tags
5
v1.1.5
v1.1.0
v1.0.2
v1.0.1
v1.0
16 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
10
Sep
9
28
Aug
23
22
21
20
19
17
25
Jul
23
20
19
18
17
14
10
26
Jun
25
23
14
9
8
7
6
5
4
2
1
31
May
30
5
4
2
1
18
Apr
17
16
15
14
8
7
6
5
30
Mar
29
27
26
25
24
22
21
20
19
18
16
15
13
10
9
7
6
2
27
Feb
23
22
21
20
17
15
14
13
12
10
9
7
30
Jan
29
28
27
26
25
24
23
19
18
17
16
13
12
7
6
5
29
Dec
28
24
23
22
21
20
19
18
15
13
12
8
5
2
30
Nov
27
26
25
24
23
22
21
20
16
15
14
12
11
10
9
8
7
6
5
4
3
2
1
31
Oct
29
28
27
26
24
23
21
20
19
18
17
11
10
7
6
4
3
2
28
Sep
21
9
1
30
Aug
29
18
16
15
12
11
10
9
8
7
6
5
4
3
29
Jul
28
27
24
23
22
20
19
16
13
12
6
4
30
Jun
28
24
23
21
20
17
Fix remaining issue with new positioned types
Positions make no sense in inox identifiers
Introduce Program object with apply constructor
Fix tutorial to include solver free
Replace final with sealed due to Scala bug
Added Jad to larabot trusted
Some cleaning up in expressions and types
Renamed the cache in simplifier
Add some comment for why simplifyLetCache
Add cache in simplifier to lessen let blowup
Better LRU cache
Fix let simplification with lambda binding
Flag extractor is more deterministic
Removed context from program for better path-dep types
A few small changes in simplifier with pc
Revert "less non-determinism in traversals"
less non-determinism in traversals
missing transformations and traversals for ids
Drop it:test for 2.12 from larabot (redundant test)
Some fixes for the new transformers in SymbolOps
Fix printer for Char literals
removing various changes from the active branch to create a clean PR
added transformation of identifiers
updated timers and added identifiers to tree traversals
add Bench.scala for expression timers
Make sure totalFunctions requires assumeChecked
Add assumeChecked and totalFunctions modes for purity checking
removes the simplification that replaces an expression by a variable
Add test for let simplification
Fixed invalid let simplification
Clean up lambda templates blocker handling
Add test for lambda with pre
Small fixes for CVC4 smtlib encoding
Some fixes in lambda templates
Another small fix in simplifier
Some fixes to unroling solver
Fix for app blockers in LambdaTemplates
Fix in purity computation in simplifier
Some improvements in normalizeStructure
Merge commit '778712c581d9e2b15e00cc112419dce231f7b1a5' into parsing-refactoring
Loading