Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
cav21
42a6f2c2
·
checkout cav21
·
Apr 22, 2021
Dennis-branch
9235005b
·
Checks if handled by Faial (no false positives from array elements)
·
Jul 21, 2021
FAIAL-69_warn_function_call_use_an_array
b18dada2
·
Add warning for function calls that use arrays
·
Jun 18, 2022
FAIAIL-74_add_support_for_a_kernel_call
45a643f8
·
Add function call processing
·
Jul 24, 2022
downloader
3448127e
·
Add downloader using library
·
Nov 01, 2022
list-projections
a835d856
·
integrate projection finding into `flatacc.ml`
·
Aug 31, 2023
ramsey-loops
864db7a3
·
Merge branch 'main' into ramsey-loops
·
Nov 01, 2023