René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"insufficient memory when kompile","articleBody":"OK, I am copying 20harshita's issue here\n\nharshita@harshita-VPCEH25EN:~/java-semantics/src$ kjkompile.sh\n\nPreprocessing semantics:\n[Error] Internal: Uncaught exception thrown of type AssertionError.\nPlease rerun your program with the --debug flag to generate a stack trace, and\nfile a bug report at https://github.com/kframework/k/issues\n\nExecution semantics:\nJava HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x00000000d8200000, 302514176, 0) failed; error='Cannot allocate memory' (errno=12)\n# \n\nThere is insufficient memory for the Java Runtime Environment to continue.\nNative memory allocation (mmap) failed to map 302514176 bytes for committing reserved memory.\nAn error report file with more information is saved as:\n/home/harshita/java-semantics/src/hs_err_pid6100.log\n","author":{"url":"https://github.com/laurayuwen","@type":"Person","name":"laurayuwen"},"datePublished":"2016-01-20T19:25:29.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/57/java-semantics/issues/57"}