Mentions légales du service
Skip to content
GitLab
Explore
Sign in
synchrone
Heptagon
Repository
Branches
Overview
Active
Stale
All
struct-patch
03c7739d
·
cgen: remove redundant field assignments
·
Feb 20, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
WIP
0c887bf3
·
Add a command-line option to print token streams
·
Feb 14, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
0c887bf3
·
Add a command-line option to print token streams
·
Feb 14, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
log
00ebd336
·
Add pass names to log file
·
Nov 28, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dune
88d5935f
·
Continue transitioning to dune
·
Oct 31, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
patches-crazyflie
c1749391
·
Changed pretty-printing of floats
·
Jan 21, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ocaml_4_08
7f27b537
·
Bump to OCaml 4.08
·
Sep 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
opencl-redefine
7491e84a
·
OpenCL CG fully debugged (test 2 passed)
·
May 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
assume/onesync
3561408f
·
Allow the syntax "(x) = e" in models
·
Mar 18, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
assume/saofd
51ae3103
·
Merge remote-tracking branch 'origin/assume/saofd' into assume/saofd
·
Jan 28, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
assume/polymorph
9f379955
·
C CG option added: generates a list of output instead of an output datastructure
·
May 28, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix_heptc_script
99460e24
·
Remove broken Python bit from heptc script
·
Oct 12, 2018
!2
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
decade
e0d1900f
·
Version 1.05.00
·
Jun 19, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
heptlinc
3b61b5dd
·
heptlinc : print inputs and outputs of a node
·
Jan 24, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bourke
b95ab43e
·
Enforce well-formedness of clocks
·
Jan 23, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
desynch
5794b6b9
·
[desynch] Distrib type system: implicit comm on when/merge
·
Jun 02, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ctrl-n
5dc2ef73
·
Remove traces and warnings
·
Jun 02, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
etac
56b6bfb9
·
Add comments + reorder functions (+ small optimization of a clock).
·
Jun 25, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
unpunctual
34a114ed
·
[UNPUNCT] Added default values for unpunctual variables.
·
Mar 09, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fsf-lopht
bb248ef3
·
[CG] Implemented the generation of separated step and reset blocks in CG back-end.
·
Feb 12, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next