Commits · master · pub / colibrics

06 Feb, 2023 10 commits
- Merge branch 'bobot/abs' into 'master' · b5076539
  François Bobot authored Feb 06, 2023
```
Fix some heuristics

See merge request !28
```
  b5076539
- Merge branch 'feature/array_theory_to_merge' into 'master' · d8976f47
  François Bobot authored Feb 06, 2023
```
New array and sequence theory

See merge request !27
```
  d8976f47
- [Simplex] add comment about the reason of a restriction · 97b37ae5
  François Bobot authored Feb 06, 2023
  
  97b37ae5
- [Scheduler] add --no-fix-model mode · d66abde7
  François Bobot authored Jan 26, 2023
```
            Stop with steplimitreached when getting to fix-model
```
  d66abde7
- [Choice] Fix successive add_to_group and simplify · e92869b6
  François Bobot authored Jan 26, 2023
  
  e92869b6
- [Quant] Fix instantiantiation vs decision · 9cd12de5
  François Bobot authored Jan 22, 2023
```
        Decisions where not added in instantiations
```
  9cd12de5
- [Quantifier] still merge useless_application · c5f68749
  François Bobot authored Jan 20, 2023
  
  c5f68749
- [Quantifier] Register the delayed substitution attached to quantifiers · 87613470
  François Bobot authored Jan 20, 2023
  
  87613470
- [Quantifier] Fix delayed instantiation for false existential · caa70304
  François Bobot authored Jan 20, 2023
  
  caa70304
- [Quant] Move definition from Ground to Quantifiers theory · 8ded8440
  François Bobot authored Jan 13, 2023
  
  8ded8440
01 Feb, 2023 2 commits
- [Array] DiffGraph use ints for edges · 6f2d2405
  Hichem R. A. authored Feb 01, 2023
```
Add a HT that associates ints to nodes
```
  6f2d2405
- [Tests] Added options to dune test generator · 44921461
  Hichem R. A. authored Jan 26, 2023
  
  44921461
21 Jan, 2023 28 commits
- Merge remote-tracking branch 'origin/master' into feature/array_theory_to_merge · 60304589
  François Bobot authored Jan 21, 2023
  
  60304589
- [Array] Join the init and converter functions · ac83af02
  Hichem R. A. authored Jan 17, 2023 and François Bobot committed Jan 21, 2023
  
  ac83af02
- Fix Array's value · 34413903
  François Bobot authored Jan 12, 2023
```
    This code is still dangeraous it would be better to make the type private
```
  34413903
- [Array] better use of the DiffGraph · 25711562
  Hichem R. A. authored Jan 12, 2023 and François Bobot committed Jan 21, 2023
  
  25711562
- [NSeq] fix types of builtins · 3adeaaf6
  Hichem R. A. authored Jan 05, 2023 and François Bobot committed Jan 21, 2023
  
  3adeaaf6
- [Interp] Fix heuristic for wto · 64d1b194
  François Bobot authored Jan 05, 2023
  
  64d1b194
- [Array] iterate on all the values of arrays · a4c0ea34
  François Bobot authored Jan 05, 2023
```
        unsatisfactory use of limit, not fear iteration
```
  a4c0ea34
- [Array] DiffGraph and foreign_dom inetroperation · 13a4798f
  Hichem R. A. authored Jan 03, 2023 and François Bobot committed Jan 21, 2023
```
In addition, added interface files and headers
```
  13a4798f
- [Array] Attempt at solving sat problems · 564e2bf7
  Hichem R. A. authored Jan 02, 2023 and François Bobot committed Jan 21, 2023
  
  564e2bf7
- [Array] Split the array theories: · 8f18c61b
  Hichem R. A. authored Dec 13, 2022 and François Bobot committed Jan 21, 2023
```
- Generalized, Efficient Array Decision Procedures
- Sharing is Caring
```
  8f18c61b
- [Array] Added the diff graph · d10b5e22
  Hichem R. A. authored Dec 08, 2022 and François Bobot committed Jan 21, 2023
  
  d10b5e22
- [NSeq] Added the nseq_content builtin · e00fa71b
  Hichem R. A. authored Dec 06, 2022 and François Bobot committed Jan 21, 2023
  
  e00fa71b
- Readd registering decision not linked to ground terms · 41004c69
  François Bobot authored Dec 03, 2022
  
  41004c69
- Fix some warnings and remove some deadcode · 41fd439f
  François Bobot authored Dec 03, 2022
  
  41fd439f
- [NSeq] updated builtins · fc62d090
  Hichem R. A. authored Dec 01, 2022 and François Bobot committed Jan 21, 2023
  
  fc62d090
- [Array] added the blast rule · 3f3dd785
  Hichem R. A. authored Dec 01, 2022 and François Bobot committed Jan 21, 2023
  
  3f3dd785
- Update Dolmen state creation · 7f570046
  Hichem R. A. authored Nov 29, 2022 and François Bobot committed Jan 21, 2023
  
  7f570046
- [Array] Added Array_dom and used it for map rules · 05621433
  Hichem R. A. authored Nov 29, 2022 and François Bobot committed Jan 21, 2023
  
  05621433
- [Array] Changes to the map rules · dfd1c276
  Hichem R. A. authored Nov 24, 2022 and François Bobot committed Jan 21, 2023
  
  dfd1c276
- [Seq] Added builtins · 77e92cc7
  Hichem R. A. authored Nov 22, 2022 and François Bobot committed Jan 21, 2023
  
  77e92cc7
- [Array] Added "colibri2_" as a prefix to the names of the builtins · acc73081
  Hichem R. A. authored Nov 22, 2022 and François Bobot committed Jan 21, 2023
  
  acc73081
- [Array] Fixed res-ext soundness error · bae2c9cd
  Hichem R. A. authored Nov 22, 2022 and François Bobot committed Jan 21, 2023
  
  bae2c9cd
- [Array] Attempt to fix and improve res-ext · 8ad8c3dd
  Hichem R. A. authored Nov 22, 2022 and François Bobot committed Jan 21, 2023
  
  8ad8c3dd
- Fix build · 0fcf8ee2
  Hichem R. A. authored Nov 18, 2022 and François Bobot committed Jan 21, 2023
  
  0fcf8ee2
- [equality] Add an hook for new disequalities · 94a4f835
  François Bobot authored Nov 17, 2022
  
  94a4f835
- Added map inference rules · ea2f7d9c
  Hichem R. A. authored Nov 17, 2022 and François Bobot committed Jan 21, 2023
  
  ea2f7d9c
- Correct check of application argument type · c01ec56f
  Hichem R. A. authored Nov 17, 2022 and François Bobot committed Jan 21, 2023
  
  c01ec56f
- Use of polymorphic arrays instead of int arrays · 4875b823
  Hichem R. A. authored Nov 17, 2022 and François Bobot committed Jan 21, 2023
  
  4875b823