faacets faacets-gamma issues

faacets / faacets-gamma

Faacets (gamma version)

3 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Upgrade Scala/Cats/Spire/Circe libraries.

#45 denisrosset opened 6 years ago
0
Remove files that are not part of compiled units.

#44 denisrosset opened 6 years ago
0
remove sources from yaml files?

#43 jdbancal opened 7 years ago
0
extra information not supported in the yaml file format

#42 jdbancal opened 7 years ago
1
Changes to file format

#41 denisrosset opened 7 years ago
1
Decomposition of a trivial scenario inequality hangs

#40 denisrosset opened 7 years ago
0
Affine transformations are valid for all bounds

#39 denisrosset opened 7 years ago
0
Products of local facets

#38 denisrosset opened 7 years ago
3
Replace adhoc division by libdivide

#37 denisrosset opened 7 years ago
0
Support for bound values

#36 denisrosset closed 7 years ago
3
Fixed extraction of relabelings

#35 denisrosset closed 7 years ago
1
doc

#34 jdbancal closed 7 years ago
0
Bug: relabelings are always extracted...

#33 denisrosset closed 7 years ago
1
Bug: parsing expressions with starting/ending whitespace

#32 denisrosset opened 7 years ago
0
On parsing expressions (tools and grammars)

#31 denisrosset opened 7 years ago
0
Add tests for product extraction

#30 denisrosset opened 7 years ago
0
Restore support for local/NS bounds computation

#29 denisrosset opened 7 years ago
0
Add support for lexicographic representatives indexing

#28 denisrosset opened 7 years ago
0
Upgrade circe-yaml and remove custom printer

#27 denisrosset opened 7 years ago
0
Reconsider the ordering of coefficients

#26 jdbancal opened 7 years ago
2
Add tests for symmetric form recovery

#25 denisrosset closed 7 years ago
1
Restore CSRF filter

#24 denisrosset opened 7 years ago
0
Add support for Gluon in Faacets

#23 denisrosset opened 7 years ago
0
Backup the GitHub metadata

#22 denisrosset opened 7 years ago
0
Make the decomposition available on the website

#21 denisrosset opened 7 years ago
0
Restore tests for operation extraction

#20 denisrosset closed 7 years ago
1
Restore support for reading/writing Yaml and keeping extra data as is

#19 denisrosset opened 7 years ago
0
Restore support for LaTeX pretty printing

#18 denisrosset opened 7 years ago
0
Restore support for exact polytope solving

#17 denisrosset opened 7 years ago
0
Restore support for local models

#16 denisrosset opened 7 years ago
0
Research/document the liftings better

#15 denisrosset opened 7 years ago
0
Consider replacing MathJax with KaTeX

#14 denisrosset opened 7 years ago
0
Restoring operations on Bell expressions

#13 denisrosset closed 7 years ago
1
Documentation URLs between the GitHub repo files and website

#12 denisrosset opened 7 years ago
0
Add Markdown support for inline docs

#11 denisrosset opened 7 years ago
0
Inconsistent menus in the documentation

#10 denisrosset opened 7 years ago
3
Parsing of matrices

#9 denisrosset opened 7 years ago
7
Integration of @jdbancal documentation

#8 denisrosset closed 7 years ago
0
Doc by Jean-Daniel

#7 denisrosset closed 7 years ago
0
Contribution docs

#6 denisrosset closed 7 years ago
0
Restore cross-builds to Spire 2.11 and verify compatibility with JDK 7 or 6

#5 denisrosset opened 7 years ago
0
Upgrade to Spire published version

#4 denisrosset closed 7 years ago
2
Support for signaling/nonsignaling expression

#3 denisrosset closed 7 years ago
1
Create documentation website

#2 denisrosset closed 7 years ago
0
Collaborators onboarding

#1 denisrosset opened 7 years ago
0