jeltz
/
heptagon
1
0
Fork 0
Code Issues Pull Requests Releases Activity
1,177 Commits
2 Branches
0 Tags
7.3 MiB
async
master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

38 Commits (master)

Author SHA1 Message Date
Timothy Bourke fa4aaee865 Typedef for real in C target 7 years ago
Timothy Bourke 94badc5f01 Add an abbreviation for the 'real' type 7 years ago
Gwenaël Delaval 69b8cc5a18 Added operator (=>) in Pervasives module 
Operator (=>) for implication added in Pervasives module.

"a => b" is translated into "not a or b" at code generation.
 8 years ago
Gwenaël Delaval 015875b279 Math module 
The Math module contains mathematic functions.
 9 years ago
Gwenaël Delaval c5c5654068 Added bzreax script ; added uninstall target in Makefiles 9 years ago
Gwenaël Delaval bcfcf8cf39 Added iostream in standard library 12 years ago
Gwenaël Delaval ef00823cf7 Added Marc as co-author 12 years ago
Gwenaël Delaval 58086190eb Headers and license file for GPL 
Headers for every source file (excluding examples), mentioning
authors, copyright and license (GPL)

COPYING file with GPLv3 content.
 12 years ago
Léonard Gérard 8a78bc7d7d Add [external] in the signatures. fix callgraph acordingly. 12 years ago
Cédric Pasteur 2fc0435393 Added simple printf 
Typing and clocking done
 13 years ago
Adrien Guatto 0f71dbe145 Bitwise or. 13 years ago
Adrien Guatto 8d772e20e2 Bitwise and. 13 years ago
Adrien Guatto 1ec15b9409 Bitwise operators on integers. 13 years ago
Cédric Pasteur 76fb488f8e Don't raise errors on cleaning 13 years ago
Cédric Pasteur 2110b8a75f 'make clean' for lib/ 13 years ago
Léonard Gérard 4160fdf455 Draft for io 13 years ago
Léonard Gérard adc47c536a Improve Java printing and main. 
genToString is a fully generic to string function
dealing with arrays, primitive arrays, etc.
 13 years ago
Adrien Guatto 8b1f4bbe87 Build system: properly install pervasives.h. 13 years ago
Cédric Pasteur 14e7c21e54 Small corrections + missing files 13 years ago
Léonard Gérard 108981c0eb Static constraints in the source. Equal removed 
( = ) in pervasives is a stub, it will be typed in a polymorphic way.
This is necessary to have a simple way to transform exp into a static_exp
even when there is the = operator.
 13 years ago
Adrien Guatto 36d93a411d Fix generated C code calling between(). 13 years ago
Gwenal Delaval da648254d8 Added type string to pervasives, with string constants in AST 13 years ago
Cédric Pasteur 0256b571f7 Added pervasives C header 
It only defines the between function for now
 13 years ago
Adrien Guatto 396457abd8 Added assert() and exit() to pervasives.epi. 13 years ago
Léonard Gérard 0fc0c3ba5b Java main pretty print 13 years ago
Léonard Gérard 46ed02416b Convolutions and pip working. 13 years ago
Cédric Pasteur 2fdf2855d3 Added a new truncated select operator 
a[>e<] returns the element in the array at index
e, a[0] if e < 0 and a[n-1] if e >= n
 13 years ago
Léonard Gérard 36061f4518 fixed tests to the new iterator syntax. 
Changed (( and )) to (< and >) since it's very common to write )) !
 13 years ago
Léonard Gérard b8b16a7355 blop 13 years ago
Léonard Gérard 159bab2a55 async constants. 13 years ago
Léonard Gérard 979a6cfbd5 Do stuff in pervasives. 13 years ago
Léonard Gérard 86f743318b Fixes and basic Java main. 13 years ago
Léonard Gérard 8f4411e145 Recursives Qualnames. 
In order to have a correct handling of inner classes in Java, and to prepare for modules inside modules.
 13 years ago
Adrien Guatto 412fd1f81b New operator: modulo (written (%))! 14 years ago
Adrien Guatto e3a03806e4 Added missing boolean operator: XOR. 14 years ago
Cédric Pasteur 221eea1644 Added polymorphic (=) and (<>) operators 
These two operators really need to be polymorphic, 
so they cannot be in Pervasives. a <> b is translated
to not (a = b>) at parsing.
 14 years ago
Cédric Pasteur 58d601fc96 Added float versions of operators 14 years ago
Léonard Gérard 12251f960e Add lib/pervasives.epi, tests, tools 14 years ago