Commits

Author Commit Message Labels Comments Date
Jacques-Pascal Deplaix
Merged in Armael/tyllvm (pull request #1) Some basic French corrections in the README.
Armael
Some basic French corrections in the README. Don't fix the relative nonsense of some sentences
Jacques-Pascal Deplaix
paper: Add some words about LLVM_types
Jacques-Pascal Deplaix
Add references in the paper, reformulate a sentence and add macaque as an inspiration
Calascibetta Romain
Add new section in README
Jacques-Pascal Deplaix
Use LLVM_types.f when declaring or defining an LLVM function
Calascibetta Romain
Correction
Calascibetta Romain
OLOL maxi bug in inference of type
Calascibetta Romain
Add getelementptr in expr
Calascibetta Romain
Correction on README
Jacques-Pascal Deplaix
Paper: Add a references section
Jacques-Pascal Deplaix
Begin the paper
Calascibetta Romain
Merge branch 'master' of bitbucket.org:dinosaure/tyllvm
Calascibetta Romain
First jet for call instruction
Jacques-Pascal Deplaix
Add c before strings
Jacques-Pascal Deplaix
Use a GADT for constraining int types and having the same int type in array + add a function LLVM_types.string
Jacques-Pascal Deplaix
Add utils functions to create values
Jacques-Pascal Deplaix
Fixing value_to_string
Jacques-Pascal Deplaix
Simulate types using GADT instead of polymorphic variants (2/2)
Jacques-Pascal Deplaix
Simulate types using GADT instead of polymorphic variants (1/2)
Jacques-Pascal Deplaix
Rename the hello world test
Jacques-Pascal Deplaix
Fixing the _oasis file again due to an omitted dependancy
Jacques-Pascal Deplaix
Fix a mistake in the _oasis file
Jacques-Pascal Deplaix
Add a .gitignore
Jacques-Pascal Deplaix
Switch to OASIS
Calascibetta Romain
Fix print of link type for declaration (just after keyword « declare »)
Calascibetta Romain
Display value of int
Calascibetta Romain
End of instruction ret (with argument)
Calascibetta Romain
Add parameter attribute
Jacques-Pascal Deplaix
Merge branch 'type-system' Conflicts: LLVM.ml LLVM.mli main.ml
  1. Prev
  2. Next