summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-09-09Update README.mdHEADmainLéonard Oest O'Leary
2023-09-09Update README.mdLéonard Oest O'Leary
2023-07-27Merge pull request #55 from exxjob/patch-1Marc Feeley
2023-07-27fix path to paper section in readmeexxjob
2023-05-23Merge pull request #19 from leo-ard/idris2-hostLéonard Oest O'Leary
2023-05-23Merge pull request #47 from udem-dlteam/leo-ard/new-encodingLéonard Oest O'Leary
2023-05-19Adding hash-compile functionLéonard Oest O'Leary
2023-05-19Add the modifications to the js targetLéonard Oest O'Leary
2023-05-19Add c-ribs as ribs (and not vectors)Léonard Oest O'Leary
2023-05-18add feature encoding/<encoding-name> by defaultLéonard Oest O'Leary
2023-05-18fix error with rvm with skip encodingLéonard Oest O'Leary
2023-05-18Add new hashing for lists and add tests for makefileLéonard Oest O'Leary
2023-05-18Merge branch 'main' into leo-ard/new-encodingLéonard Oest O'Leary
2023-05-18Add string hashing in opndLéonard Oest O'Leary
2023-05-18fix some bugs with skip instructionLéonard Oest O'Leary
2023-05-17Small example works with skip instructionLéonard Oest O'Leary
2023-05-16Add hash-consingLéonard Oest O'Leary
2023-05-16Merge pull request #45 from udem-dlteam/mathis/ioLéonard Oest O'Leary
2023-05-16saveLéonard Oest O'Leary
2023-05-16Fix support for pipeline compiler + rename nodejs to js/node and web to js/webMathis Laroche
2023-05-15Other attempt...Léonard Oest O'Leary
2023-05-15Added fancy-compiler options in io tests and changed to makefile to support t...Mathis Laroche
2023-05-15Added prefix for host-specific featuresMathis Laroche
2023-05-15Attempt that doesn't workLéonard Oest O'Leary
2023-05-13Implement the if optimizationLéonard Oest O'Leary
2023-05-13parameterizing encodingsLéonard Oest O'Leary
2023-05-13Fix bootstrapLéonard Oest O'Leary
2023-05-13Merge branch 'main' of github.com:udem-dlteam/ribbit into leo-ard/new-encodingLéonard Oest O'Leary
2023-05-13removing old encodingLéonard Oest O'Leary
2023-05-13restructuring the encoding algorithmLéonard Oest O'Leary
2023-05-12Removed non-relevent fileMathis Laroche
2023-05-12Renamed RibInt2 to Ignore to better reflect its usefulnessMathis Laroche
2023-05-12Added support for the haskell rvm in the io module and adapted the testMathis Laroche
2023-05-11Merge branch 'main' into mathis/iomathis/ioMathis Laroche
2023-05-11Start to implement the io for haskellMathis Laroche
2023-05-10Removed empty line in hsMathis Laroche
2023-05-10Commented useless codeMathis Laroche
2023-05-09Added support for rest-params to the haskell rvmMathis Laroche
2023-05-09Fix makefileMathis Laroche
2023-05-09Merge pull request #46 from l4haie/mainLéonard Oest O'Leary
2023-05-09Added a way to add additionnal feature tests from the cliMathis Laroche
2023-05-09Fixed write when printing a pairMathis Laroche
2023-05-09Small correction in error messageFrédéric Lahaie
2023-05-09Fixed `read` in io + added a test for readMathis Laroche
2023-05-09Added support for the read function in ioMathis Laroche
2023-05-09Removed empty file rfs1Mathis Laroche
2023-05-09Changed input-file test to test that multiple reads at eof give eofMathis Laroche
2023-05-09Fixed the ##read-char primitive for the c rvmMathis Laroche
2023-05-09Changed the output data file from 70-output-data to 71-output-dataMathis Laroche
2023-05-09Changed the io libMathis Laroche
generated by cgit v1.2.3 (git 2.44.0) at 2024-05-03 16:18:44 +0000