Go to file
Fedor Isakov bbcb6577cd Update the .gitignore file. 2017-02-03 11:15:00 +01:00
.idea Updated the git configuration 2015-12-28 10:36:45 +01:00
.mps Rename the project to 'clp-typechecking' 2017-01-03 11:40:06 +01:00
logic Refactoring: switch to the updated interface methods of SessionSolver. Extract invocation arguments calculation from the predicate/constraint. 2017-02-03 11:15:00 +01:00
typechecking Refactoring: switch to the updated interface methods of SessionSolver. Extract invocation arguments calculation from the predicate/constraint. 2017-02-03 11:15:00 +01:00
typesystem2 Refactoring: switch to the updated interface methods of SessionSolver. Extract invocation arguments calculation from the predicate/constraint. 2017-02-03 11:15:00 +01:00
.gitattributes Initial import 2014-07-03 15:02:07 +02:00
.gitignore Update the .gitignore file. 2017-02-03 11:15:00 +01:00
build.xml Optimizing imports. 2016-12-23 17:40:05 +01:00
test.xml Optimizing imports. 2016-12-23 17:40:05 +01:00