Code

History

Commits on master to src/Utils25
  1. Merge pull request #367 from cypheon/bugfix/ttc-bigint-unmarshallingEdwin Brady committed 6 years agoc0b7c6a
  2. Add octal literalsEdwin Brady committed 6 years ago6f4a36e
  3. Fix unmarshalling of Integer values in TTCJohann Rudloff committed 6 years ago17b01b8
  4. Fix casting Char to StringKamil Shakirov committed 6 years ago6c27a43
  5. Fix buffer allocation errorEdwin Brady committed 6 years ago884d4ad
  6. Merge remote-tracking branch 'upstream/master' into misc-fixesAlex Gryzlov committed 6 years agoce15b48
  7. Merge branch 'master' into bugfix-#133Edwin Brady committed 6 years agod9f1b01
  8. Merge remote-tracking branch 'upstream/master' into misc-fixesAlex Gryzlov committed 6 years ago1652a6b
  9. misc fixes and refactoringsAlex Gryzlov committed 7 years ago148698e
  10. Fix a stack overflow with a tail recursive list integer length functionOhad Kammar committed 7 years ago7e8642e
  11. Remove trailing whitespace from Idris sources.Michael Morgan committed 7 years agoe6121e0
  12. Support UTF8 stringsEdwin Brady committed 7 years ago1a4f424
  13. Don't save type of scrutinee in caseEdwin Brady committed 7 years ago110d20b
  14. Fix buffer sizing problem in TTCsEdwin Brady committed 7 years ago15d25eb
  15. fix file handle leaksAlex Gryzlov committed 7 years agoe7aafcc
  16. No longer any need for NameRefsEdwin Brady committed 7 years agof77ef81
  17. Save definitions as BinaryEdwin Brady committed 7 years ago2df399a
  18. Add TTC interface BinaryEdwin Brady committed 7 years agoc21918e
  19. Slightly simpler binary writingEdwin Brady committed 7 years ago76e2bd3
  20. Remove AppInfoEdwin Brady committed 7 years ago2f7aa69
  21. Added Idris.DesugarEdwin Brady committed 7 years ago5bbab03
  22. A bit more on performanceEdwin Brady committed 7 years ago6385cb6
  23. Basic TTC saving and loading now worksEdwin Brady committed 7 years ago762f601
  24. Fill in holes for reading/writing TTCEdwin Brady committed 7 years ago9e7e27e
  25. Make a start on TTC reading/writingEdwin Brady committed 7 years agoe2594e9

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t