- 07 Dec, 2018 1 commit
-
-
Adrien Koutsos authored
-
- 24 Apr, 2018 1 commit
-
-
Adrien KOUTSOS authored
-
- 06 Apr, 2018 6 commits
-
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
removed lots of useless env arguments
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
avoid multiple binding for the same term
-
Adrien KOUTSOS authored
-
- 04 Apr, 2018 6 commits
-
-
Adrien KOUTSOS authored
bug fix: errors in complexe actions were not properly handled (the error was added to the state, but the function returned instead of called the success continuation)
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
nsl went from 12s to 11.1s
-
Adrien KOUTSOS authored
nsl example is done in 12s instead of 18 for me
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
- 03 Apr, 2018 1 commit
-
-
Adrien KOUTSOS authored
-
- 01 Apr, 2018 2 commits
-
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
- 30 Mar, 2018 6 commits
-
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
- 29 Mar, 2018 4 commits
-
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
- 28 Mar, 2018 2 commits
-
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
- 27 Mar, 2018 4 commits
-
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
started to do a huge rework of the way environement are handled, with the ultimate goal of using a functional implementation of environements
-
- 26 Mar, 2018 5 commits
-
-
Adrien KOUTSOS authored
- corrected a bug in term.ml: pseudo normalization was badly done, variables must be collected in terms at each loop itaration to guarrantee that conditianal have a unique representation - axiom_result type has been extended to include, in case of success, the information about was rule was used (symmetrical, encryption, decryption_
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
Adrien KOUTSOS authored
-
- 23 Mar, 2018 1 commit
-
-
Adrien KOUTSOS authored
-
- 22 Mar, 2018 1 commit
-
-
Adrien KOUTSOS authored
- added an example with the new syntax: helios.api
-