Code

History

Commits on master to tests35+
  1. Rename everything idris2boot, increment versionEdwin Brady committed 6 years ago24fed4f
  2. Merge pull request #367 from cypheon/bugfix/ttc-bigint-unmarshallingEdwin Brady committed 6 years agoc0b7c6a
  3. Update Buffer+File librariesEdwin Brady committed 6 years agoc197c0f
  4. Switch buffers back to scheme FFIEdwin Brady committed 6 years agoa130952
  5. Merge pull request #370 from ska80/fix-makefilesEdwin Brady committed 6 years ago4c35210
  6. [ test ] add test for defaulting peculiarity (#376)G. Allais committed 6 years ago306aea3
  7. Fix expected values of arithmetic testJohann Rudloff committed 6 years ago735395f
  8. Fix tests/chez/chez017 testKamil Shakirov committed 6 years ago109feaa
  9. Fix and test directory codeEdwin Brady committed 6 years agodc67515
  10. Do compiling/inlining per moduleEdwin Brady committed 6 years ago87c54ca
  11. Merge branch 'master' into fix-makefilesKamil Shakirov committed 6 years ago5dfa853
  12. Update test outputEdwin Brady committed 6 years agof5962e1
  13. Merge branch 'master' into fix-makefilesKamil Shakirov committed 6 years ago9826295
  14. Refactor makefiles to use some common optionsKamil Shakirov committed 6 years ago2ad471a
  15. Move putChar, getChar etc primitives to CEdwin Brady committed 6 years ago1b36dd9
  16. Merge branch 'master' into fix-makefilesKamil Shakirov committed 6 years ago8261b36
  17. Move file management to C support libraryEdwin Brady committed 6 years ago38e43f2
  18. Fix building shared libraries with correct extensionsKamil Shakirov committed 6 years ago1c8036d
  19. Do another round of inlining, and io_bindEdwin Brady committed 6 years agoe7d0b33
  20. Hack for optimising some enumerationsEdwin Brady committed 6 years ago9328579
  21. Move buffer API to CEdwin Brady committed 6 years ago7adb4d3
  22. Update chez016 test to not rely on realpathChristian Rasmussen committed 6 years ago0694b6c
  23. Fix laziness bookkeeping in unificationEdwin Brady committed 6 years ago0c1e428
  24. Add test of noNewtypeChristian Rasmussen committed 6 years ago69aff54
  25. Change argument unification orderEdwin Brady committed 6 years ago6fcf861
  26. Add compatibility with the original record update syntax.Matus Tejiscak committed 6 years ago82a23af
  27. Merge pull request #314 from MarcelineVQ/using-fixEdwin Brady committed 6 years ago2fd1c40
  28. Update test outputEdwin Brady committed 6 years agoc75af6d
  29. Merge pull request #298 from ziman/recordsEdwin Brady committed 6 years agoe208ea7
  30. Merge branch 'master' into prelude-inline-docEdwin Brady committed 6 years agoc95c4c6
  31. Merge branch 'master' into recordsEdwin Brady committed 6 years ago1262ca2
  32. Merge pull request #254 from jfdm/literate-modesEdwin Brady committed 6 years agob9907fb
  33. Implement occurs check properly (finally!)Edwin Brady committed 6 years agoff86f6f
  34. Fix lambda multiplicity checkEdwin Brady committed 6 years ago4947a99
  35. Stop using :exec in record004.Matus Tejiscak committed 6 years ago07bb57d

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