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

20 Commits (master)

Author SHA1 Message Date
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 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. 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
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
Gwenal Delaval da648254d8 Added type string to pervasives, with string constants in AST 13 years ago
Adrien Guatto 396457abd8 Added assert() and exit() to pervasives.epi. 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 979a6cfbd5 Do stuff in pervasives. 14 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