|
|
 |
|
|
|
|
 |
|
|
|
March 28th, 2021:
ACIDE 0.18.1 with some enhancements, fixes and prebuilt bundles
January 25th, 2021:
March 17th, 2016:
- Z3-ACIDE bundles released for Z3 4.4.2 running on Windows 32bit and 64bit, Ubuntu 14.04 32bit and 64bit, and Mac OS X (tested in Mavericks and El Capitan)
December 26th, 2015:
- ACIDE 0.17 released, due to Sergio Domínguez Fuentes, a student working on the project during the academic course 2014-2015
August 31st, 2014:
- Z3-ACIDE bundles released for Ubuntu 12.04 and 13.10
August 14th, 2014:
- ACIDE 0.16 released, due to Fernando Ordás Lorente, Juan Jesús Marqués Ortiz, and Semíramis Gutiérrez Quintana, students working on the project during the academic course 2013-2014
April, 29th, 2014:
- ACIDE 0.15 released, due to Fernando Ordás Lorente, Juan Jesús Marqués Ortiz, and Semíramis Gutiérrez Quintana, students working on the project during the academic course 2013-2014
March, 12th, 2014:
- ACIDE 0.14 released, due to Fernando Ordás Lorente, Juan Jesús Marqués Ortiz, and Semíramis Gutiérrez Quintana, students working on the project during the academic course 2013-2014
February, 3rd, 2014:
- ACIDE 0.13 released, due to Fernando Ordás Lorente, Juan Jesús Marqués Ortiz, and Semíramis Gutiérrez Quintana, students working on the project during the academic course 2013-2014
December, 18th, 2013:
- ACIDE 0.12 released, due to Fernando Ordás Lorente, Juan Jesús Marqués Ortiz, and Semíramis Gutiérrez Quintana, students working on the project during the academic course 2013-2014
July, 8th, 2013:
- ACIDE 0.11 released, due to Pablo Gutiérrez García-Prado, Elena Tejeiro Pérez de Ágreda and Andrés Vicente del Cura, students working on the project during the academic course 2012-2013
April, 24th, 2013:
- ACIDE 0.10 released, due to Pablo Gutiérrez García-Prado, Elena Tejeiro Pérez de Ágreda and Andrés Vicente del Cura, students working on the project during the academic course 2012-2013
December, 20th, 2012:
- ACIDE 0.9 released, due to Pablo Gutiérrez García-Prado, Elena Tejeiro Pérez de Ágreda and Andrés Vicente del Cura, students working on the project during the academic course 2012-2013
July, 8th, 2011:
- ACIDE 0.8 released, due to Javier Salcedo Gómez, a student working on the project during the academic course 2010-2011
November, 5th, 2008:
- ACIDE 0.7 released, due to Miguel Martín Lázaro, a student working on the project during the academic course 2007-2008
January, 23th, 2008:
- We are working on a more stable release (0.7). Keep tuned!
August, 20th, 2007:
- ACIDE 0.6 released, this release and previous ones are due to the students Diego Cardiel Freire, Juan José Ortiz Sánchez, and Delfín Rupérez Cañas, who were working on the project during the academic course 2006-2007
- ACIDE 0.6 tested with Toy 2.3.0. No changes are now required on TOY
- ACIDE 0.6 tested with LaTeX
June, 4th, 2007:
May, 18th, 2007:
- ACIDE 0.4 released
- ACIDE 0.4 tested with DES 1.3.0. No changes are now required on DES
April, 25th, 2007:
April, 16th, 2007:
April, 9th, 2007:
March, 16th, 2007:
- ACIDE 0.0 launched as alpha development version
- ACIDE 0.0 tested with:
- cmd.exe (Windows operating system shell)
- DES 1.3.0 (a deductive database system). Please change the following clause in des.pl (add the third line):
des:- nl_log,
write_prompt,
flush_output,
readln(S,_E),
write_only_to_log(S),
nl_only_to_log,
nl_log, process_input(S), !,
des.
- Toy 2.3.0 (a constraint functional logic system). Please change the following clause in initToy.pl (add the fourth line):
execute:-
!,
write_prompt,
flush_output,
readln(S),
(process(S) -> execute;
halt(0)).
|
|
