MateFun merge requestshttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests2023-04-26T05:09:17-03:00https://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/14Fix: Conversión de double faltante en transparencia3D2023-04-26T05:09:17-03:00Nicolas Camera LopezFix: Conversión de double faltante en transparencia3DEstaban fallando primitivas como:
- `transparencia3D(esfera(3), 0)`
- `transparencia3D(esfera(3), 1)`
ya que usaban un número entero y no real.Estaban fallando primitivas como:
- `transparencia3D(esfera(3), 0)`
- `transparencia3D(esfera(3), 1)`
ya que usaban un número entero y no real.https://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/13Nuevas primitivas y cambios a primitivas existentes2023-04-16T07:18:08-03:00Nicolas Camera LopezNuevas primitivas y cambios a primitivas existentes**Cambios que proponemos en este MR**:
- Se mejora la documentación y prolijidad de Figures.hs y Core.hs. A la vez se mejora el "linteo" o prolijidad del código para que sea más legible y uniforme el mismo.
- Se agregan nuevas primit...**Cambios que proponemos en este MR**:
- Se mejora la documentación y prolijidad de Figures.hs y Core.hs. A la vez se mejora el "linteo" o prolijidad del código para que sea más legible y uniforme el mismo.
- Se agregan nuevas primitivas al lenguaje:
- transparency3D (transparencia3D)
- tetrahedron (tetraedro)
- octahedron (octaedro)
- dodecahedron (dodecaedro)
- icosahedron (icosaedro)
- joinFigIn3D (juntarFigEn3D)
- Se agregan dos controles de errores para la primitiva joinFigIn3D:
- Todas las figuras en joinFigIn3D tienen que ser de la forma:
- circ, circ
- rect, rect
- poli, poli
- Cuando se usa poli, poli, los poligonos tienen que tener la misma cantidad de vértices.
- Se elimina la primitiva cylinder (cilindro), ya que se puede hacer la misma usando joinFigIn3D.
- Se renombra la primitiva cube (cubo) a prism (prisma).Marcos VieraMarcos Vierahttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/11Cambios menores en internacionalizacion y unificar errores en interseccion de...2019-06-21T02:03:48-03:00Nicolas Marcelo Vazquez PicernoCambios menores en internacionalizacion y unificar errores en interseccion de dominiosCambios menores en internacionalizacion y unificar errores en interseccion de dominios:
- Quitar 'Error' y 'Warning' de internacionalizacion
- Unificar los mensajes de error en interseccion de dominios al formato estandar de errores en M...Cambios menores en internacionalizacion y unificar errores en interseccion de dominios:
- Quitar 'Error' y 'Warning' de internacionalizacion
- Unificar los mensajes de error en interseccion de dominios al formato estandar de errores en MateFunNicolas Marcelo Vazquez PicernoNicolas Marcelo Vazquez Picernohttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/4Cambio forma de ejecutar pruebas2019-06-08T02:11:40-03:00Nicolas Marcelo Vazquez PicernoCambio forma de ejecutar pruebasSe agrega una forma automatica de ejecutar pruebas, mediante el script `runtests.sh`, el cual ejecuta todos los tests en el directorio tests/ segun el siguiente criterio:
Por cada test llamado TEST definido en el directorio `tests/LANG/...Se agrega una forma automatica de ejecutar pruebas, mediante el script `runtests.sh`, el cual ejecuta todos los tests en el directorio tests/ segun el siguiente criterio:
Por cada test llamado TEST definido en el directorio `tests/LANG/` se esperan 3 archivos:
- TEST.in: Entrada para MateFun
- TEST.out: Salida esperada
- TEST.mf: Archivo MateFun a cargar por el testNicolas Marcelo Vazquez PicernoNicolas Marcelo Vazquez Picernohttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/3Chequeo de interseccion de dominios2019-06-08T02:11:08-03:00Nicolas Marcelo Vazquez PicernoChequeo de interseccion de dominiosInterseccion de dominios en funciones por partes.
Si al cargar una funcion se detectan al menos dos dominios que se intersectan, no se debe cargar ya que no corresponde a una funcionInterseccion de dominios en funciones por partes.
Si al cargar una funcion se detectan al menos dos dominios que se intersectan, no se debe cargar ya que no corresponde a una funcionNicolas Marcelo Vazquez PicernoNicolas Marcelo Vazquez Picernohttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/8Agrego CONTRIBUTING.md2019-06-08T02:10:47-03:00Nicolas Marcelo Vazquez PicernoAgrego CONTRIBUTING.mdArchivo guia para contribuir al repositorioArchivo guia para contribuir al repositorioNicolas Marcelo Vazquez PicernoNicolas Marcelo Vazquez Picernohttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/5Agregar solver Z3 a la deteccion de interseccion de dominios2019-06-08T02:10:12-03:00Nicolas Marcelo Vazquez PicernoAgregar solver Z3 a la deteccion de interseccion de dominiosPara poder extender la deteccion de dominios a funciones de N variables debemos utilizar un solver para poder verificar que las distintas condiciones dadas en las funciones por partes no satisfagan ningun modelo al definir la funcion, es...Para poder extender la deteccion de dominios a funciones de N variables debemos utilizar un solver para poder verificar que las distintas condiciones dadas en las funciones por partes no satisfagan ningun modelo al definir la funcion, es decir que no se intersecten.
Edit: Agrego dependencia z3 para integracion con binario Z3Nicolas Marcelo Vazquez PicernoNicolas Marcelo Vazquez Picernohttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/10Finalizar interseccion de dominios2019-06-08T02:09:54-03:00Nicolas Marcelo Vazquez PicernoFinalizar interseccion de dominios* [x] Agregar chequeo en tiempo de ejecucion
* [x] Identificar las funciones que tiene alguna evaluacion de Z3 en 'unknown' y realizar chequeo en tiempo de ejecucion solo para las funciones marcadas
* [x] Agregar restricciones de co...* [x] Agregar chequeo en tiempo de ejecucion
* [x] Identificar las funciones que tiene alguna evaluacion de Z3 en 'unknown' y realizar chequeo en tiempo de ejecucion solo para las funciones marcadas
* [x] Agregar restricciones de conjuntosNicolas Marcelo Vazquez PicernoNicolas Marcelo Vazquez Picernohttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/9Utilizar ruta absoluta si no se encuentra ruta relativa al directorio de inte...2018-11-26T00:19:37-03:00Nicolas Marcelo Vazquez PicernoUtilizar ruta absoluta si no se encuentra ruta relativa al directorio de internacionalizacionCambio en la busqueda del directorio de internacionalizacion:
- Si existe directorio relativo "internationalization" en el directorio actual, entonces se utiliza
- Sino, se utiliza la ruta absoluta generada a partir del codigo fuente (...Cambio en la busqueda del directorio de internacionalizacion:
- Si existe directorio relativo "internationalization" en el directorio actual, entonces se utiliza
- Sino, se utiliza la ruta absoluta generada a partir del codigo fuente (MATEFUN_SOURCE_DIR/internationalization)Nicolas Marcelo Vazquez PicernoNicolas Marcelo Vazquez Picernohttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/7Mejoras en script de internacionalizacion2018-11-09T02:25:44-03:00Nicolas Marcelo Vazquez PicernoMejoras en script de internacionalizacion- Reemplazo proceso manual por msgmerge cuando el archivo PO existe para preservar las nuevas traducciones
- Reemplazo proceso manual para creacion de archivo POT por script de hgettext- Reemplazo proceso manual por msgmerge cuando el archivo PO existe para preservar las nuevas traducciones
- Reemplazo proceso manual para creacion de archivo POT por script de hgettextNicolas Marcelo Vazquez PicernoNicolas Marcelo Vazquez Picernohttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/6Utilizo nueva imagen de Docker de usuario MateFun2018-11-07T20:18:32-03:00Nicolas Marcelo Vazquez PicernoUtilizo nueva imagen de Docker de usuario MateFunPara el pipeline de CI utilizo la imagen alojada en el repositorio Docker de MateFunPara el pipeline de CI utilizo la imagen alojada en el repositorio Docker de MateFunNicolas Marcelo Vazquez PicernoNicolas Marcelo Vazquez Picernohttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/2Preservar traducciones existentes al agregar nuevas claves a traducir2018-10-24T17:19:48-03:00Nicolas Marcelo Vazquez PicernoPreservar traducciones existentes al agregar nuevas claves a traducirFixes #1
Los archivos regenerados de traducciones preservan las traducciones existentes, borran las no existentes y agregan las nuevas claves a traducir en los archivos .poFixes #1
Los archivos regenerados de traducciones preservan las traducciones existentes, borran las no existentes y agregan las nuevas claves a traducir en los archivos .poNicolas Marcelo Vazquez PicernoNicolas Marcelo Vazquez Picernohttps://gitlab.fing.edu.uy/matefun/MateFun/-/merge_requests/1Agregar pruebas para internacionalizacion en el pipeline de CI2018-10-21T12:05:40-03:00Nicolas Marcelo Vazquez PicernoAgregar pruebas para internacionalizacion en el pipeline de CI## Description
Add a new test into the CI pipeline in which a new language is added to MateFun by the `internalization.sh` script. Test consists of:
- Generate the .pot file containing each key that should be translated
- Add a new .p...## Description
Add a new test into the CI pipeline in which a new language is added to MateFun by the `internalization.sh` script. Test consists of:
- Generate the .pot file containing each key that should be translated
- Add a new .po file for the new language
- Add translations on the .po file for keys:
- "No File", "exit", "Bye!!"
- Invoke MateFun with the new language, send the translated "exit" command and verify the output.
## Screenshot:
![image](/uploads/fd254a93dbfb0ea56b5e14c024da37f6/image.png)Nicolas Marcelo Vazquez PicernoNicolas Marcelo Vazquez Picerno