Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r8642] by tswift

A few changes for inspection predicates, and a lot of index changes
for consistency between indexing done in the library chapter and other
chapters.

 2016-02-14 01:22:19 Tree
[r8641] by kifer

Added TODOs for robustifying other cases of recvfrom(), recv()
like the one I did in case of socket_get0().
Not doing it now because I don't know where the other cases of recvfrom()
are used, so not sure how to test those changes, if I made them.

 2016-02-13 23:57:05 Tree
[r8640] by kifer

made sockets much more robust by automatically restarting recfrom()
if interrupt was received. Especially useful for interaction with interprolog.

 2016-02-13 23:44:53 Tree
[r8639] by tswift

Exporting remove_timed_call_state/1 and making it standard.

 2016-02-13 15:34:41 Tree
[r8638] by tswift

Updated the names of tripwires.

 2016-02-13 01:11:58 Tree
[r8637] by tswift

Got rid of obsolete flag MAX_LIST_ANSWER_DEPTH

 2016-02-13 01:11:05 Tree
[r8636] by tswift

Made names of tripwires slightly more consistent.

 2016-02-13 01:10:01 Tree
[r8635] by kifer

more tests, fixed some other tests

 2016-02-09 22:40:46 Tree
[r8634] by kifer

replaced the dead url mail.cs.stonybrook.edu with mail.google.com

 2016-02-09 00:28:53 Tree
[r8633] by tswift

Documented get_sdg_subgoal_info/1 and print_sdg_subgoal_info/0.

 2016-02-09 00:03:04 Tree
Older >
MongoDB Logo MongoDB