Menu

Src (SVN)-old Commit Log


Commit Date  
[r9549] by "kifer"

added minizinc tests to suite

2019-02-20 05:21:44 Tree
[r9548] by "kifer"

changed license to apache for the packages I was involved in

2019-02-19 01:58:43 Tree
[r9547] by "kifer"

solutions provided by minizinc are now stored in module minizinc, not usermod
changed license to apache
updates the doc

2019-02-19 01:56:41 Tree
[r9546] by dwarren

Fix bug in functor/4 in handling bound module name, pointed out by Michael.

2019-02-19 00:58:45 Tree
[r9545] by tswift

Loader for plow: will clone from github if necessary.

2019-02-18 18:21:44 Tree
[r9544] by tswift

Update for apache license.

2019-02-18 16:43:21 Tree
[r9543] by tswift

Changed license of PITA from GLP to Apache 2.0.

2019-02-18 16:39:40 Tree
[r9542] by dwarren

Find floundered_undefines/1 in right module.

2019-02-16 21:34:51 Tree
[r9541] by dwarren

Better fix for attributed variable bug in excess_vars.

2019-02-16 21:33:04 Tree
[r9540] by dwarren

Fixed un-escaped backslashes in strings; sorted mode file output for consistency.

2019-02-16 21:28:34 Tree
Older >