681d876Merge branch 'master' into agda-style-recordsSune Alkærsig12 years ago 8f9ac37Generalized alloc_heap so it could be reused for garbage collection.Calvin Beck12 years ago d6d07ffGC check allocation of new heap.Calvin Beck12 years ago 6f0aff3Updated standard library to new record syntax.Sune Alkærsig12 years ago 173703dAdded new (co)record syntax.Sune Alkærsig12 years ago a54ea34Added more options to cppcheckAhmad Salim Al-Sibahi12 years ago 42fe4f7Added `then` to bash ifAhmad Salim Al-Sibahi12 years ago 95e4222Added static analysis to C RTSAhmad Salim Al-Sibahi12 years ago 663b670Add `until` function to prelude.Robert Clipsham12 years ago