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
master
default
protected
11831c13
·
Merge branch '2023_07_dbg'
·
Jul 13, 2023
2022_sockets
94e492fb
·
Update .gitlab-ci.yml file
·
Apr 11, 2023
2022_07_CASC
69e28342
·
fix: arity cmp when Undef
·
Jul 26, 2022
andrepd/lemma-learning
dcae3346
·
Missing normalisation of ${less,lesseq,greater,greatereq}_rat predicates.
·
Jul 24, 2022
andrepd/ac-norm-demod
888ff719
·
Cleanup and make type-safe the code for handling symbol fast keys (and...
·
May 04, 2022
add_fof_to_iprover
9b810514
·
Redefine clausification modes
·
Apr 22, 2022
2021_Nov_Bio
04ee2d2f
·
next
·
Feb 03, 2022
revert-294c73c1
cb320720
·
Revert "Merge branch 'configuration' into 'master'"
·
Jan 11, 2022
master-tmp1
9274fe85
·
help update
·
Dec 03, 2021
andrepd/smt-interface-noeqpred-2021-06-18-kk-smt
40c7dcff
·
iproveropt-tptp-multi-core.sh: help fix
·
Jul 17, 2021
andrepd/ac-norm-demod-kk-2021-06-10-smt-z3
c4bbc251
·
rm warnings unsupported symbols
·
Jun 16, 2021
andrepd/ac-norm-demod-kk-2021-05-29-smt
267f98d4
·
symbol.ml:sproperty added: Num_real| Num_int| Num_rat
·
Jun 06, 2021
andrepd/ac-norm-demod-kk-2020-04-28-opts
0615f5f5
·
merge
·
May 23, 2021
master-tomerge
be868efd
·
Sync branches wrt. minor formatting and other stuff
·
Apr 11, 2021
andrepd/smt-interface-noeqpred
3a1b5426
·
Merge remote-tracking branch 'origin/master' into andrepd/smt-interface-noeqpred
·
Apr 11, 2021
andrepd/smt-interface-noeqpred-2021-01-11-shared-cl
6d9501fd
·
Merge branch 'andrepd/smt-interface-noeqpred' into...
·
Feb 14, 2021
andrepd/smt-interface-noeqpred-2021-02-12-KK
52605c59
·
instantiation_loop:consistent_with_solver added consist_with_assumptions
·
Feb 12, 2021
andrepd/smt-interface-noeqpred-2021-01-01-sup-deepening
e105e5d7
·
statstics.ml: fix name
·
Jan 10, 2021
andrepd/smt-interface-noeqpred-2020-12-20-new-comb
b3af3e48
·
proof_search_loop: ps_loop_main: iter over all max deficit comps
·
Jan 01, 2021
andrepd/smt-interface-noeqpred-2020-11-03-subs
351f8089
·
merge: master
·
Dec 17, 2020
Prev
1
2
3
4
Next