Mentions légales du service
Skip to content
GitLab
Explore
Sign in
ACG
dev
ACGtk
Repository
Branches
Overview
Active
Stale
All
master
default
a1ac3d42
·
Merge branch 'fix/datalog-pprint' into 'master'
·
Apr 23, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix/datalog-pprint
c7b2ea07
·
fix: break lines
·
Apr 23, 2024
!4
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release
b8a5d3c1
·
Prepare a new release fixing sharedForest
·
Feb 19, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dev
97bb1036
·
Update .gitlab-ci_update-pages.sh
·
Oct 10, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
vt/test-ci
b518e867
·
test
·
Sep 21, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
vt/waiting-readline
09561900
·
Improve completion accuracy with lexicon lists
·
Sep 20, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
vt/external-readline
28950b6f
·
Remove readline bindings (new repo:
https://gitlab.inria.fr/vtourneu/readline-ocaml/
)
·
Apr 21, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mg/profiling
31320dca
·
feat: profiling branch
·
Jun 14, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
vt/new-script-language
18f21e64
·
Check arguments before starting computations
·
Apr 28, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
vt/list-terms
37446c4f
·
Remove prefixes L and ll_ from Utils.LazyList
·
Feb 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
resumption-strategy
2154a114
·
Demultiply resumption strategies
·
Feb 08, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
parse-size-order
45ecf681
·
Merge branch 'parse-size-order' of gitlab.inria.fr:ACG/dev/ACGtk into parse-size-order.
·
Jan 11, 2022
!2
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
parse-size-info
27d4bc64
·
size rather than depth
·
Jan 06, 2022
!1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sp/nonlinearity
ee31ac49
·
Manage several queries resulting from a parse term whose principal type uses...
·
Dec 04, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar