Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Dandelion
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
Model registry
Operate
Environments
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
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
AVA
Dandelion
Graph
68ceda80cf4f74e93e4363d0b6ed716a960ccc9c
Select Git revision
Branches
1
main
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
29
Jul
28
20
19
18
15
14
12
9
Feb
7
6
4
1
28
Jan
27
25
24
21
20
19
14
13
12
11
7
6
5
4
22
Dec
29
Nov
26
25
24
20
18
17
16
15
11
9
7
15
Oct
10
9
6
5
4
3
2
1
29
Sep
27
24
22
20
19
18
17
16
15
13
12
10
9
5
1
30
Aug
27
26
25
24
23
20
19
18
17
16
13
12
11
10
9
21
Jul
19
16
15
12
9
8
5
30
Jun
29
28
25
24
23
22
15
14
11
10
9
7
3
Aug
30
Jul
23
15
8
30
Jun
25
22
12
May
Use binary again
main
main
Revert "Remove buggy regression test"
Remove buggy regression test
Remove unused test file
Remove unnnecessary printing
Fix bitArithLib divergence
Remove calls to 'use_karatsuba'
Fix binary folder for new HOL4 real structure
Update ci to use latest CakeML master
Fix bug in bitArithLib
Make CI more stringent to see error messages properly
Fix Holmakefile
Fix broken Holmakefile
Update Dandelion to properly use bit arithmetic
Add missing soundness theorem
Add a bit of documentation to files
Add some explanation of the testcases to the README
Move examples for REAL_INEQ_TAC into a separate directory
Update testcases
Remove old testcases
Add support for better approximations if propagated error is 0
Add some instructions to README
Add a number of new benchmarks for evaluation
Update binary extraction
Make tool more robust, fix arctan and log approximations
Minor updates, add benchmarks used in paper
Update testcases
Add sqrt replacement pass
Update metitarski script
Make realZeroLib emit a good error message
Fix error and computation of log
Add more testcases
Clean up sturmCompute
Add updated version of eval scripts, simplify some lib files
Rename testcases, do a proper run
Merge branch 'sqrt_approx' into 'main'
ahh frustating. finally removed all occurences of elementary function in the sqrt_err def
just noticed another mention of an elementary function in the sqrt_err def and removed it
Merge branch 'main' into sqrt_approx
modified the sqrt_error def
Loading