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
extra_functions
15b2e288
·
Adding examples/extra_functions test
·
Sep 03, 2017
ci_sollya_7.0rc1
a5906f5e
·
adding sollya --version display in CI script
·
Jul 05, 2018
externaldata
c55ac3ea
·
Allowing valid (py2 and py3) failure on old sollya version
·
Dec 02, 2018
py3_valid
a67d9de6
·
Setting python3 as default in GNUmakefile
·
Aug 20, 2019
valid_python3.8
d6d37df9
·
Fixing examples/pequan.py expected test output
·
Aug 21, 2019
ci_py3.8_sollya_master
0201128f
·
re-enabling valid against sollya master
·
Apr 26, 2020
new_ci_sollya_master
36b1012d
·
fixing LD_LIBRARY_PATH in test
·
Apr 27, 2020
dev
5779052b
·
[test] simplifying pequan test value with ELLIPSIS
·
Apr 28, 2020
!2
rpi4_armv7l
94237533
·
Bumping version number to 0.4.0 + cleanup
·
Aug 23, 2020
!4
cleanup
f37717a3
·
update installation instructions
·
Sep 23, 2020
!5
ci_sollya_master
39dce902
·
Changing expected for example/more
·
Sep 05, 2021
cleanup2
7d3b1f95
·
remove outdated example file
·
Sep 09, 2021
release-0.4.0-alpha1
64024633
·
Merge branch 'cleanup' into 'master'
·
Sep 09, 2021
master
default
protected
2ad35729
·
fixing test (help display)
·
Jul 30, 2023